Lines Matching refs:IRAtom
314 typedef IRExpr IRAtom; typedef
318 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 ) in isOriginalAtom()
331 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 ) in isShadowAtom()
344 static Bool sameKindedAtoms ( IRAtom* a1, IRAtom* a2 ) in sameKindedAtoms()
441 static IRAtom* assignNew ( HChar cat, MCEnv* mce, IRType ty, IRExpr* e ) in assignNew()
468 IRAtom* z64 = IRExpr_Const(IRConst_U64(0)); in i128_const_zero()
483 static IRAtom* mkDifD8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD8()
489 static IRAtom* mkDifD16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD16()
495 static IRAtom* mkDifD32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD32()
501 static IRAtom* mkDifD64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD64()
507 static IRAtom* mkDifDV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifDV128()
513 static IRAtom* mkDifDV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifDV256()
521 static IRAtom* mkUifU8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU8()
527 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU16()
533 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU32()
539 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU64()
545 static IRAtom* mkUifU128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU128()
546 IRAtom *tmp1, *tmp2, *tmp3, *tmp4, *tmp5, *tmp6; in mkUifU128()
559 static IRAtom* mkUifUV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifUV128()
565 static IRAtom* mkUifUV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifUV256()
571 static IRAtom* mkUifU ( MCEnv* mce, IRType vty, IRAtom* a1, IRAtom* a2 ) { in mkUifU()
587 static IRAtom* mkLeft8 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft8()
592 static IRAtom* mkLeft16 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft16()
597 static IRAtom* mkLeft32 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft32()
602 static IRAtom* mkLeft64 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft64()
612 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND8()
620 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND16()
628 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND32()
636 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND64()
644 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveANDV128()
652 static IRAtom* mkImproveANDV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveANDV256()
663 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR8()
675 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR16()
687 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR32()
699 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR64()
711 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveORV128()
723 static IRAtom* mkImproveORV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveORV256()
741 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits ) in mkPCastTo()
744 IRAtom* tmp1; in mkPCastTo()
759 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits)); in mkPCastTo()
766 IRAtom* tmp = assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits)); in mkPCastTo()
792 IRAtom* tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vbits)); in mkPCastTo()
793 IRAtom* tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, vbits)); in mkPCastTo()
794 IRAtom* tmp4 = assignNew('V', mce, Ity_I64, binop(Iop_Or64, tmp2, tmp3)); in mkPCastTo()
873 static IRAtom* expensiveCmpEQorNE ( MCEnv* mce, in expensiveCmpEQorNE()
875 IRAtom* vxx, IRAtom* vyy, in expensiveCmpEQorNE()
876 IRAtom* xx, IRAtom* yy ) in expensiveCmpEQorNE()
878 IRAtom *naive, *vec, *improvement_term; in expensiveCmpEQorNE()
879 IRAtom *improved, *final_cast, *top; in expensiveCmpEQorNE()
969 static Bool isZeroU32 ( IRAtom* e ) in isZeroU32()
977 static Bool isZeroU64 ( IRAtom* e ) in isZeroU64()
985 static IRAtom* doCmpORD ( MCEnv* mce, in doCmpORD()
987 IRAtom* xxhash, IRAtom* yyhash, in doCmpORD()
988 IRAtom* xx, IRAtom* yy ) in doCmpORD()
999 Bool (*isZero)(IRAtom*) = m64 ? isZeroU64 : isZeroU32; in doCmpORD()
1001 IRAtom* threeLeft1 = NULL; in doCmpORD()
1002 IRAtom* sevenLeft1 = NULL; in doCmpORD()
1061 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e ); /* fwds */
1094 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard ) in complainIfUndefined()
1096 IRAtom* vatom; in complainIfUndefined()
1100 IRAtom* cond; in complainIfUndefined()
1101 IRAtom* origin; in complainIfUndefined()
1230 IRAtom *g1 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, di->guard)); in complainIfUndefined()
1231 IRAtom *g2 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, guard)); in complainIfUndefined()
1232 IRAtom *e = assignNew('V', mce, Ity_I32, binop(Iop_And32, g1, g2)); in complainIfUndefined()
1297 IRAtom* atom, IRAtom* vatom, IRExpr *guard ) in do_shadow_PUT()
1328 IRAtom *cond, *iffalse; in do_shadow_PUT()
1346 IRAtom* vatom; in do_shadow_PUTI()
1350 IRAtom* ix = puti->ix; in do_shadow_PUTI()
1352 IRAtom* atom = puti->data; in do_shadow_PUTI()
1410 IRRegArray* descr, IRAtom* ix, Int bias ) in shadow_GETI()
1441 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 ) in mkLazy2()
1443 IRAtom* at; in mkLazy2()
1489 IRAtom* mkLazy3 ( MCEnv* mce, IRType finalVty, in mkLazy3()
1490 IRAtom* va1, IRAtom* va2, IRAtom* va3 ) in mkLazy3()
1492 IRAtom* at; in mkLazy3()
1586 IRAtom* mkLazy4 ( MCEnv* mce, IRType finalVty, in mkLazy4()
1587 IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 ) in mkLazy4()
1589 IRAtom* at; in mkLazy4()
1658 IRAtom* mkLazyN ( MCEnv* mce, in mkLazyN()
1659 IRAtom** exprvec, IRType finalVtype, IRCallee* cee ) in mkLazyN()
1662 IRAtom* here; in mkLazyN()
1663 IRAtom* curr; in mkLazyN()
1710 IRAtom* expensiveAddSub ( MCEnv* mce, in expensiveAddSub()
1713 IRAtom* qaa, IRAtom* qbb, in expensiveAddSub()
1714 IRAtom* aa, IRAtom* bb ) in expensiveAddSub()
1716 IRAtom *a_min, *b_min, *a_max, *b_max; in expensiveAddSub()
1819 static IRAtom* scalarShift ( MCEnv* mce, in scalarShift()
1822 IRAtom* qaa, IRAtom* qbb, in scalarShift()
1823 IRAtom* aa, IRAtom* bb ) in scalarShift()
1848 static IRAtom* mkPCast8x16 ( MCEnv* mce, IRAtom* at ) in mkPCast8x16()
1853 static IRAtom* mkPCast16x8 ( MCEnv* mce, IRAtom* at ) in mkPCast16x8()
1858 static IRAtom* mkPCast32x4 ( MCEnv* mce, IRAtom* at ) in mkPCast32x4()
1863 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at ) in mkPCast64x2()
1868 static IRAtom* mkPCast64x4 ( MCEnv* mce, IRAtom* at ) in mkPCast64x4()
1873 static IRAtom* mkPCast32x8 ( MCEnv* mce, IRAtom* at ) in mkPCast32x8()
1878 static IRAtom* mkPCast32x2 ( MCEnv* mce, IRAtom* at ) in mkPCast32x2()
1883 static IRAtom* mkPCast16x4 ( MCEnv* mce, IRAtom* at ) in mkPCast16x4()
1888 static IRAtom* mkPCast8x8 ( MCEnv* mce, IRAtom* at ) in mkPCast8x8()
1893 static IRAtom* mkPCast16x2 ( MCEnv* mce, IRAtom* at ) in mkPCast16x2()
1898 static IRAtom* mkPCast8x4 ( MCEnv* mce, IRAtom* at ) in mkPCast8x4()
1941 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32Fx4()
1943 IRAtom* at; in binary32Fx4()
1952 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX ) in unary32Fx4()
1954 IRAtom* at; in unary32Fx4()
1961 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32F0x4()
1963 IRAtom* at; in binary32F0x4()
1974 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX ) in unary32F0x4()
1976 IRAtom* at; in unary32F0x4()
1987 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64Fx2()
1989 IRAtom* at; in binary64Fx2()
1998 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX ) in unary64Fx2()
2000 IRAtom* at; in unary64Fx2()
2007 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64F0x2()
2009 IRAtom* at; in binary64F0x2()
2020 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX ) in unary64F0x2()
2022 IRAtom* at; in unary64F0x2()
2033 IRAtom* binary32Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32Fx2()
2035 IRAtom* at; in binary32Fx2()
2044 IRAtom* unary32Fx2 ( MCEnv* mce, IRAtom* vatomX ) in unary32Fx2()
2046 IRAtom* at; in unary32Fx2()
2055 IRAtom* binary64Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64Fx4()
2057 IRAtom* at; in binary64Fx4()
2066 IRAtom* unary64Fx4 ( MCEnv* mce, IRAtom* vatomX ) in unary64Fx4()
2068 IRAtom* at; in unary64Fx4()
2077 IRAtom* binary32Fx8 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32Fx8()
2079 IRAtom* at; in binary32Fx8()
2088 IRAtom* unary32Fx8 ( MCEnv* mce, IRAtom* vatomX ) in unary32Fx8()
2090 IRAtom* at; in unary32Fx8()
2184 IRAtom* vectorNarrowBinV128 ( MCEnv* mce, IROp narrow_op, in vectorNarrowBinV128()
2185 IRAtom* vatom1, IRAtom* vatom2) in vectorNarrowBinV128()
2187 IRAtom *at1, *at2, *at3; in vectorNarrowBinV128()
2188 IRAtom* (*pcast)( MCEnv*, IRAtom* ); in vectorNarrowBinV128()
2208 IRAtom* vectorNarrowBin64 ( MCEnv* mce, IROp narrow_op, in vectorNarrowBin64()
2209 IRAtom* vatom1, IRAtom* vatom2) in vectorNarrowBin64()
2211 IRAtom *at1, *at2, *at3; in vectorNarrowBin64()
2212 IRAtom* (*pcast)( MCEnv*, IRAtom* ); in vectorNarrowBin64()
2229 IRAtom* vectorNarrowUnV128 ( MCEnv* mce, IROp narrow_op, in vectorNarrowUnV128()
2230 IRAtom* vatom1) in vectorNarrowUnV128()
2232 IRAtom *at1, *at2; in vectorNarrowUnV128()
2233 IRAtom* (*pcast)( MCEnv*, IRAtom* ); in vectorNarrowUnV128()
2267 IRAtom* vectorWidenI64 ( MCEnv* mce, IROp longen_op, in vectorWidenI64()
2268 IRAtom* vatom1) in vectorWidenI64()
2270 IRAtom *at1, *at2; in vectorWidenI64()
2271 IRAtom* (*pcast)( MCEnv*, IRAtom* ); in vectorWidenI64()
2295 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary8Ix16()
2297 IRAtom* at; in binary8Ix16()
2304 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary16Ix8()
2306 IRAtom* at; in binary16Ix8()
2313 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary32Ix4()
2315 IRAtom* at; in binary32Ix4()
2322 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary64Ix2()
2324 IRAtom* at; in binary64Ix2()
2333 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary8Ix8()
2335 IRAtom* at; in binary8Ix8()
2342 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary16Ix4()
2344 IRAtom* at; in binary16Ix4()
2351 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary32Ix2()
2353 IRAtom* at; in binary32Ix2()
2360 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary64Ix1()
2362 IRAtom* at; in binary64Ix1()
2371 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary8Ix4()
2373 IRAtom* at; in binary8Ix4()
2380 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary16Ix2()
2382 IRAtom* at; in binary16Ix2()
2394 IRAtom* expr2vbits_Qop ( MCEnv* mce, in expr2vbits_Qop()
2396 IRAtom* atom1, IRAtom* atom2, in expr2vbits_Qop()
2397 IRAtom* atom3, IRAtom* atom4 ) in expr2vbits_Qop()
2399 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Qop()
2400 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Qop()
2401 IRAtom* vatom3 = expr2vbits( mce, atom3 ); in expr2vbits_Qop()
2402 IRAtom* vatom4 = expr2vbits( mce, atom4 ); in expr2vbits_Qop()
2442 IRAtom* expr2vbits_Triop ( MCEnv* mce, in expr2vbits_Triop()
2444 IRAtom* atom1, IRAtom* atom2, IRAtom* atom3 ) in expr2vbits_Triop()
2446 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Triop()
2447 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Triop()
2448 IRAtom* vatom3 = expr2vbits( mce, atom3 ); in expr2vbits_Triop()
2527 IRAtom* expr2vbits_Binop ( MCEnv* mce, in expr2vbits_Binop()
2529 IRAtom* atom1, IRAtom* atom2 ) in expr2vbits_Binop()
2532 IRAtom* (*uifu) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
2533 IRAtom* (*difd) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
2534 IRAtom* (*improve) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
2536 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Binop()
2537 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Binop()
3147 IRAtom* at; in expr2vbits_Binop()
3157 IRAtom* at; in expr2vbits_Binop()
3325 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2)); in expr2vbits_Binop()
3326 IRAtom* vHi64 = mkPCastTo(mce, Ity_I64, vLo64); in expr2vbits_Binop()
3333 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2)); in expr2vbits_Binop()
3334 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32); in expr2vbits_Binop()
3341 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2)); in expr2vbits_Binop()
3342 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16); in expr2vbits_Binop()
3349 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2)); in expr2vbits_Binop()
3350 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8); in expr2vbits_Binop()
3534 IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom ) in expr2vbits_Unop()
3536 IRAtom* vatom = expr2vbits( mce, atom ); in expr2vbits_Unop()
3829 IRAtom* expr2vbits_Load_WRK ( MCEnv* mce, in expr2vbits_Load_WRK()
3831 IRAtom* addr, UInt bias ) in expr2vbits_Load_WRK()
3837 IRAtom* addrAct; in expr2vbits_Load_WRK()
3891 IRAtom* eBias; in expr2vbits_Load_WRK()
3914 IRAtom* expr2vbits_Load ( MCEnv* mce, in expr2vbits_Load()
3916 IRAtom* addr, UInt bias ) in expr2vbits_Load()
3926 IRAtom *v64hi, *v64lo; in expr2vbits_Load()
3942 IRAtom* v64Q0 = expr2vbits_Load_WRK(mce, end, Ity_I64, addr, bias+0); in expr2vbits_Load()
3943 IRAtom* v64Q1 = expr2vbits_Load_WRK(mce, end, Ity_I64, addr, bias+8); in expr2vbits_Load()
3944 IRAtom* v64Q2 = expr2vbits_Load_WRK(mce, end, Ity_I64, addr, bias+16); in expr2vbits_Load()
3945 IRAtom* v64Q3 = expr2vbits_Load_WRK(mce, end, Ity_I64, addr, bias+24); in expr2vbits_Load()
3964 IRAtom* expr2vbits_guarded_Load ( MCEnv* mce, in expr2vbits_guarded_Load()
3966 IRAtom* addr, UInt bias, IRAtom *guard ) in expr2vbits_guarded_Load()
3969 IRAtom *cond, *iffalse, *iftrue; in expr2vbits_guarded_Load()
3985 IRAtom* expr2vbits_Mux0X ( MCEnv* mce, in expr2vbits_Mux0X()
3986 IRAtom* cond, IRAtom* expr0, IRAtom* exprX ) in expr2vbits_Mux0X()
3988 IRAtom *vbitsC, *vbits0, *vbitsX; in expr2vbits_Mux0X()
4085 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom ) in zwidenToHostWord()
4139 IRAtom* addr, UInt bias, in do_shadow_Store()
4140 IRAtom* data, IRAtom* vdata, in do_shadow_Store()
4141 IRAtom* guard ) in do_shadow_Store()
4245 IRAtom *addrQ0, *addrQ1, *addrQ2, *addrQ3; in do_shadow_Store()
4246 IRAtom *vdataQ0, *vdataQ1, *vdataQ2, *vdataQ3; in do_shadow_Store()
4247 IRAtom *eBiasQ0, *eBiasQ1, *eBiasQ2, *eBiasQ3; in do_shadow_Store()
4312 IRAtom *addrLo64, *addrHi64; in do_shadow_Store()
4313 IRAtom *vdataLo64, *vdataHi64; in do_shadow_Store()
4314 IRAtom *eBiasLo64, *eBiasHi64; in do_shadow_Store()
4350 IRAtom *addrAct; in do_shadow_Store()
4357 IRAtom* eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias); in do_shadow_Store()
4405 IRAtom *src, *here, *curr; in do_shadow_Dirty()
4468 IRAtom *cond, *iffalse, *iftrue; in do_shadow_Dirty()
4652 static IRAtom* gen_load_b ( MCEnv* mce, Int szB,
4653 IRAtom* baseaddr, Int offset );
4654 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 );
4656 IRAtom* baseaddr, Int offset, IRAtom* dataB,
4657 IRAtom* guard );
4688 IRAtom* orig, IRAtom* shadow ) in bind_shadow_tmp_to_orig()
4849 IRAtom *vdataLo = NULL, *bdataLo = NULL; in do_shadow_CAS_single()
4850 IRAtom *vexpdLo = NULL, *bexpdLo = NULL; in do_shadow_CAS_single()
4851 IRAtom *voldLo = NULL, *boldLo = NULL; in do_shadow_CAS_single()
4852 IRAtom *expd_eq_old = NULL; in do_shadow_CAS_single()
4938 IRAtom *vdataHi = NULL, *bdataHi = NULL; in do_shadow_CAS_double()
4939 IRAtom *vdataLo = NULL, *bdataLo = NULL; in do_shadow_CAS_double()
4940 IRAtom *vexpdHi = NULL, *bexpdHi = NULL; in do_shadow_CAS_double()
4941 IRAtom *vexpdLo = NULL, *bexpdLo = NULL; in do_shadow_CAS_double()
4942 IRAtom *voldHi = NULL, *boldHi = NULL; in do_shadow_CAS_double()
4943 IRAtom *voldLo = NULL, *boldLo = NULL; in do_shadow_CAS_double()
4944 IRAtom *xHi = NULL, *xLo = NULL, *xHL = NULL; in do_shadow_CAS_double()
4945 IRAtom *expd_eq_old = NULL, *zero = NULL; in do_shadow_CAS_double()
5164 static Bool isBogusAtom ( IRAtom* at ) in isBogusAtom()
5761 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 ) in gen_maxU32()
5766 static IRAtom* gen_load_b ( MCEnv* mce, Int szB, in gen_load_b()
5767 IRAtom* baseaddr, Int offset ) in gen_load_b()
5775 IRAtom* ea = baseaddr; in gen_load_b()
5777 IRAtom* off = aTy == Ity_I32 ? mkU32( offset ) in gen_load_b()
5824 static IRAtom* gen_guarded_load_b ( MCEnv* mce, Int szB, IRAtom* baseaddr, in gen_guarded_load_b()
5825 Int offset, IRAtom* guard ) in gen_guarded_load_b()
5828 IRAtom *cond, *iffalse, *iftrue; in gen_guarded_load_b()
5844 IRAtom* baseaddr, Int offset, IRAtom* dataB, in gen_store_b()
5845 IRAtom* guard ) in gen_store_b()
5852 IRAtom* ea = baseaddr; in gen_store_b()
5858 IRAtom* off = aTy == Ity_I32 ? mkU32( offset ) in gen_store_b()
5897 static IRAtom* narrowTo32 ( MCEnv* mce, IRAtom* e ) { in narrowTo32()
5906 static IRAtom* zWidenFrom32 ( MCEnv* mce, IRType dstTy, IRAtom* e ) { in zWidenFrom32()
5915 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e ) in schemeE()
5923 IRAtom *t1, *t2, *t3, *t4; in schemeE()
5951 IRAtom* here; in schemeE()
5953 IRAtom* curr = mkU32(0); in schemeE()
5983 IRAtom* b1 = schemeE( mce, e->Iex.Mux0X.cond ); in schemeE()
5984 IRAtom* b2 = schemeE( mce, e->Iex.Mux0X.expr0 ); in schemeE()
5985 IRAtom* b3 = schemeE( mce, e->Iex.Mux0X.exprX ); in schemeE()
5989 IRAtom* b1 = schemeE( mce, e->Iex.Qop.details->arg1 ); in schemeE()
5990 IRAtom* b2 = schemeE( mce, e->Iex.Qop.details->arg2 ); in schemeE()
5991 IRAtom* b3 = schemeE( mce, e->Iex.Qop.details->arg3 ); in schemeE()
5992 IRAtom* b4 = schemeE( mce, e->Iex.Qop.details->arg4 ); in schemeE()
5997 IRAtom* b1 = schemeE( mce, e->Iex.Triop.details->arg1 ); in schemeE()
5998 IRAtom* b2 = schemeE( mce, e->Iex.Triop.details->arg2 ); in schemeE()
5999 IRAtom* b3 = schemeE( mce, e->Iex.Triop.details->arg3 ); in schemeE()
6013 IRAtom* b1 = schemeE( mce, e->Iex.Binop.arg1 ); in schemeE()
6014 IRAtom* b2 = schemeE( mce, e->Iex.Binop.arg2 ); in schemeE()
6022 IRAtom* b1 = schemeE( mce, e->Iex.Unop.arg ); in schemeE()
6055 IRAtom *here, *curr; in do_origins_Dirty()
6107 IRAtom *cond, *iffalse, *iftrue; in do_origins_Dirty()
6206 IRAtom *cond, *iffalse; in do_origins_Dirty()
6260 IRAtom* dataB; in do_origins_Store()
6290 IRAtom *t1, *t2, *t3, *t4; in schemeS()