irArgs(call): IrValue[]
call
IrValue
A call's arguments widened to IrValue, for code that walks them generically.
CallIr
IrValue[]