call void @p(i32* %arrayidx1)
ret void
}
-; 16: save $ra, $s0, $s1, 2040
-; 16: addiu $sp, -48 # 16 bit inst
-; 16: addiu $sp, 48 # 16 bit inst
-; 16: restore $ra, $s0, $s1, 2040
+; 16: save $ra, 2040
+; 16: addiu $sp, -40 # 16 bit inst
+; 16: addiu $sp, 40 # 16 bit inst
+; 16: restore $ra, 2040