bpf/prog_tests/reg_bounds.c

1263 		     struct reg_state *fr1, struct reg_state *fr2,
1275 	fr1->valid = fr2->valid = true;
1283 		fr1->r[t] = fr2->r[t] = tr1->r[t] = tr2->r[t] = z;
1290 	reg_state_cond(init_t, fr2, &rc, OP_GE, fr2, NULL, "r2>=C");
1292 	*tr2 = *fr2;
1295 		printf("STEP1 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
1302 	reg_state_cond(init_t, fr2, &rc, OP_LE, fr2, NULL, "r2<=D");
1304 	*tr2 = *fr2;
1307 		printf("STEP2 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
1311 	*branch_taken = reg_state_branch_taken_op(cond_t, fr1, fr2, op);
1312 	fr1->valid = fr2->valid = false;
1315 		fr1->valid = fr2->valid = true;
1316 		reg_state_cond(cond_t, fr1, fr2, rev_op, fr1, fr2, "FALSE");
1324 		printf("STEP3 (%s) FALSE R2:", t_str(cond_t)); print_reg_state(fr2, "\n");
1405 	struct reg_state fr1, fr2, tr1, tr2;
1428 				  &fr1, &fr2, &tr1, &tr2);
1435 	    !assert_reg_state_eq(&fr2, &fe2, "false_reg2") ||
1449 		printf("ACTUAL   FALSE2: "); print_reg_state(&fr2, "\n");