1247 static void sim_case(enum num_t init_t, enum num_t cond_t,  in sim_case()  argument
1297 	*branch_taken = reg_state_branch_taken_op(cond_t, fr1, fr2, op);  in sim_case()
1302 		reg_state_cond(cond_t, fr1, fr2, rev_op, fr1, fr2, "FALSE");  in sim_case()
1306 		reg_state_cond(cond_t, tr1, tr2, op, tr1, tr2, "TRUE");  in sim_case()
1309 		printf("STEP3 (%s) FALSE R1:", t_str(cond_t)); print_reg_state(fr1, "\n");  in sim_case()
1310 		printf("STEP3 (%s) FALSE R2:", t_str(cond_t)); print_reg_state(fr2, "\n");  in sim_case()
1311 		printf("STEP3 (%s) TRUE  R1:", t_str(cond_t)); print_reg_state(tr1, "\n");  in sim_case()
1312 		printf("STEP3 (%s) TRUE  R2:", t_str(cond_t)); print_reg_state(tr2, "\n");  in sim_case()
1366 	enum num_t cond_t;  member
1376 	snappendf(sb, " (%s)%s ", t_str(t->cond_t), use_op ? op_str(t->op) : "<op>");  in subtest_case_str()
1385 static int verify_case_op(enum num_t init_t, enum num_t cond_t,  in verify_case_op()  argument
1398 		.compare_subregs = (cond_t == U32 || cond_t == S32),  in verify_case_op()
1399 		.compare_signed = (cond_t == S64 || cond_t == S32),  in verify_case_op()
1404 	sim_case(init_t, cond_t, x, y, op, &fe1, &fe2, &te1, &te2, &branch_taken);  in verify_case_op()
1451 static int verify_case_opt(struct ctx *ctx, enum num_t init_t, enum num_t cond_t,  in verify_case_opt()  argument
1458 		.cond_t = cond_t,  in verify_case_opt()
1475 		err = verify_case_op(init_t, cond_t, x, y, sub.op);  in verify_case_opt()
1505 static int verify_case(struct ctx *ctx, enum num_t init_t, enum num_t cond_t,  in verify_case()  argument
1508 	return verify_case_opt(ctx, init_t, cond_t, x, y, true /* is_subtest */);  in verify_case()
1750 static void validate_gen_range_vs_const_64(enum num_t init_t, enum num_t cond_t)  in validate_gen_range_vs_const_64()  argument
1770 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_const_64()
1777 			if (verify_case(&ctx, init_t, cond_t, ranges[j], rconst))  in validate_gen_range_vs_const_64()
1780 			if (verify_case(&ctx, init_t, cond_t, rconst, ranges[j]))  in validate_gen_range_vs_const_64()
1789 static void validate_gen_range_vs_const_32(enum num_t init_t, enum num_t cond_t)  in validate_gen_range_vs_const_32()  argument
1809 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_const_32()
1816 			if (verify_case(&ctx, init_t, cond_t, ranges[j], rconst))  in validate_gen_range_vs_const_32()
1819 			if (verify_case(&ctx, init_t, cond_t, rconst, ranges[j]))  in validate_gen_range_vs_const_32()
1828 static void validate_gen_range_vs_range(enum num_t init_t, enum num_t cond_t)  in validate_gen_range_vs_range()  argument
1866 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_range()
1871 			if (verify_case(&ctx, init_t, cond_t, ranges[i], ranges[j]))  in validate_gen_range_vs_range()
1873 			if (verify_case(&ctx, init_t, cond_t, ranges[j], ranges[i]))  in validate_gen_range_vs_range()
1960 static void validate_rand_ranges(enum num_t init_t, enum num_t cond_t, bool const_range)  in validate_rand_ranges()  argument
1987 		 t_str(init_t), t_str(cond_t));  in validate_rand_ranges()
1999 		if (verify_case_opt(&ctx, init_t, cond_t, range1, range2, false /* !is_subtest */))  in validate_rand_ranges()
2002 		if (verify_case_opt(&ctx, init_t, cond_t, range2, range1, false /* !is_subtest */))  in validate_rand_ranges()
2142 		verify_case(&ctx, c->init_t, c->cond_t, c->x, c->y);  in test_reg_bounds_crafted()
2143 		verify_case(&ctx, c->init_t, c->cond_t, c->y, c->x);  in test_reg_bounds_crafted()