Lines Matching refs:s3
2752 int32_t s3_val = get_register(s3);2767 set_register(s3, callee_saved_value);2782 CHECK_EQ(callee_saved_value, get_register(s3));2794 set_register(s3, s3_val);