Lines Matching defs:fr1
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;
1288 reg_state_cond(init_t, fr1, &rc, OP_GE, fr1, NULL, "r1>=A");
1291 *tr1 = *fr1;
1294 printf("STEP1 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");
1300 reg_state_cond(init_t, fr1, &rc, OP_LE, fr1, NULL, "r1<=B");
1303 *tr1 = *fr1;
1306 printf("STEP2 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\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");
1323 printf("STEP3 (%s) FALSE R1:", t_str(cond_t)); print_reg_state(fr1, "\n");
1405 struct reg_state fr1, fr2, tr1, tr2;
1428 &fr1, &fr2, &tr1, &tr2);
1434 if (!assert_reg_state_eq(&fr1, &fe1, "false_reg1") ||
1447 printf("ACTUAL FALSE1: "); print_reg_state(&fr1, "\n");