Lines Matching defs:arg2
3413 and arg2 = #load arg2Conv arg2Addr
3415 val result = f (arg1, arg2)
3418 and () = #updateC arg2Conv(arg2Addr, arg2)
3442 and arg2 = #load arg2Conv arg2Addr
3445 val result = f (arg1, arg2, arg3)
3448 and () = #updateC arg2Conv(arg2Addr, arg2)
3477 and arg2 = #load arg2Conv arg2Addr
3481 val result = f (arg1, arg2, arg3, arg4)
3484 and () = #updateC arg2Conv(arg2Addr, arg2)
3516 and arg2 = #load arg2Conv arg2Addr
3521 val result = f (arg1, arg2, arg3, arg4, arg5)
3524 and () = #updateC arg2Conv(arg2Addr, arg2)
3559 and arg2 = #load arg2Conv arg2Addr
3565 val result = f (arg1, arg2, arg3, arg4, arg5, arg6)
3568 and () = #updateC arg2Conv(arg2Addr, arg2)