Concurrent Clean : CleanJ : push_r_args_u
非ボックス化した基本型を持つレコード型の場合は、push_args_uではなく、push_r_args_uの方が使われる。
push_r_args_u 2 2 1
対応するCodeGeneratorの関数は、
void code_push_r_args_u (int a_offset,int a_size,int b_size)
非ボックス化した基本型を持つレコード型の場合は、push_args_uではなく、push_r_args_uの方が使われる。
push_r_args_u 2 2 1
対応するCodeGeneratorの関数は、
void code_push_r_args_u (int a_offset,int a_size,int b_size)