Lines Matching defs:arg1
3390 val arg1 = #load argConv arg1Addr
3391 val result = f arg1
3392 val () = #updateC argConv (arg1Addr, arg1)
3412 val arg1 = #load arg1Conv arg1Addr
3415 val result = f (arg1, arg2)
3417 val () = #updateC arg1Conv(arg1Addr, arg1)
3441 val arg1 = #load arg1Conv arg1Addr
3445 val result = f (arg1, arg2, arg3)
3447 val () = #updateC arg1Conv(arg1Addr, arg1)
3476 val arg1 = #load arg1Conv arg1Addr
3481 val result = f (arg1, arg2, arg3, arg4)
3483 val () = #updateC arg1Conv(arg1Addr, arg1)
3515 val arg1 = #load arg1Conv arg1Addr
3521 val result = f (arg1, arg2, arg3, arg4, arg5)
3523 val () = #updateC arg1Conv(arg1Addr, arg1)
3558 val arg1 = #load arg1Conv arg1Addr
3565 val result = f (arg1, arg2, arg3, arg4, arg5, arg6)
3567 val () = #updateC arg1Conv(arg1Addr, arg1)