• Home
  • Raw
  • Download

Lines Matching refs:guardT

342 static void storeGuardedLE ( IRExpr* addr, IRExpr* data, IRTemp guardT )  in storeGuardedLE()  argument
344 if (guardT == IRTemp_INVALID) { in storeGuardedLE()
349 binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0))) ); in storeGuardedLE()
355 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in loadGuardedLE() argument
357 if (guardT == IRTemp_INVALID) { in loadGuardedLE()
381 binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0))) ); in loadGuardedLE()
590 IRTemp guardT /* :: Ity_I32, 0 or 1 */, in putIRegA() argument
602 if (guardT == IRTemp_INVALID) { in putIRegA()
607 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putIRegA()
618 r15guard = guardT; in putIRegA()
629 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in putIRegT() argument
635 if (guardT == IRTemp_INVALID) { in putIRegT()
640 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putIRegT()
726 IRTemp guardT /* :: Ity_I32, 0 or 1 */) in putDReg() argument
730 if (guardT == IRTemp_INVALID) { in putDReg()
735 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putDReg()
769 IRTemp guardT /* :: Ity_I32, 0 or 1 */) in putDRegI64() argument
773 if (guardT == IRTemp_INVALID) { in putDRegI64()
778 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putDRegI64()
835 IRTemp guardT /* :: Ity_I32, 0 or 1 */) in putQReg() argument
839 if (guardT == IRTemp_INVALID) { in putQReg()
844 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putQReg()
910 IRTemp guardT /* :: Ity_I32, 0 or 1 */) in putFReg() argument
914 if (guardT == IRTemp_INVALID) { in putFReg()
919 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putFReg()
929 IRTemp guardT /* :: Ity_I32, 0 or 1 */) in putMiscReg32() argument
942 if (guardT == IRTemp_INVALID) { in putMiscReg32()
948 IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)), in putMiscReg32()
1338 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in setFlags_D1_D2_ND() argument
1344 if (guardT == IRTemp_INVALID) { in setFlags_D1_D2_ND()
1353 assign( c1, binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)) ); in setFlags_D1_D2_ND()
1382 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in setFlags_D1_D2() argument
1386 setFlags_D1_D2_ND( cc_op, t_dep1, t_dep2, z32, guardT ); in setFlags_D1_D2()
1394 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in setFlags_D1_ND() argument
1398 setFlags_D1_D2_ND( cc_op, t_dep1, z32, t_ndep, guardT ); in setFlags_D1_ND()
1405 IRTemp guardT /* :: Ity_I32, 0 or 1 */ ) in setFlags_D1() argument
1409 setFlags_D1_D2_ND( cc_op, t_dep1, z32, z32, guardT ); in setFlags_D1()
1422 IRTemp guardT /* :: Ity_I32, 0 or 1 */ in mk_skip_over_A32_if_cond_is_false() argument
1426 vassert(guardT != IRTemp_INVALID); in mk_skip_over_A32_if_cond_is_false()
1429 unop(Iop_Not1, unop(Iop_32to1, mkexpr(guardT))), in mk_skip_over_A32_if_cond_is_false()
1439 IRTemp guardT /* :: Ity_I32, 0 or 1 */ in mk_skip_over_T16_if_cond_is_false() argument
1443 vassert(guardT != IRTemp_INVALID); in mk_skip_over_T16_if_cond_is_false()
1446 unop(Iop_Not1, unop(Iop_32to1, mkexpr(guardT))), in mk_skip_over_T16_if_cond_is_false()
1457 IRTemp guardT /* :: Ity_I32, 0 or 1 */ in mk_skip_over_T32_if_cond_is_false() argument
1461 vassert(guardT != IRTemp_INVALID); in mk_skip_over_T32_if_cond_is_false()
1464 unop(Iop_Not1, unop(Iop_32to1, mkexpr(guardT))), in mk_skip_over_T32_if_cond_is_false()