Lines Matching refs:IRAtom
647 typedef IRExpr IRAtom; typedef
651 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 ) in isOriginalAtom()
662 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 ) in isShadowAtom()
673 static Bool sameKindedAtoms ( IRAtom* a1, IRAtom* a2 ) in sameKindedAtoms()
748 static IRAtom* assignNew ( MCEnv* mce, IRType ty, IRExpr* e ) { in assignNew()
761 static IRAtom* mkDifD8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD8()
767 static IRAtom* mkDifD16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD16()
773 static IRAtom* mkDifD32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD32()
779 static IRAtom* mkDifD64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifD64()
785 static IRAtom* mkDifDV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkDifDV128()
793 static IRAtom* mkUifU8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU8()
799 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU16()
805 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU32()
811 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifU64()
817 static IRAtom* mkUifUV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) { in mkUifUV128()
823 static IRAtom* mkUifU ( MCEnv* mce, IRType vty, IRAtom* a1, IRAtom* a2 ) { in mkUifU()
838 static IRAtom* mkLeft8 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft8()
848 static IRAtom* mkLeft16 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft16()
858 static IRAtom* mkLeft32 ( MCEnv* mce, IRAtom* a1 ) { in mkLeft32()
873 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND8()
881 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND16()
889 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND32()
897 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveAND64()
905 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveANDV128()
916 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR8()
928 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR16()
940 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR32()
952 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveOR64()
964 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits ) in mkImproveORV128()
978 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits ) in mkPCastTo()
981 IRAtom* tmp1; in mkPCastTo()
1060 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom ) in complainIfUndefined()
1062 IRAtom* vatom; in complainIfUndefined()
1066 IRAtom* cond; in complainIfUndefined()
1175 IRAtom* atom, IRAtom* vatom ) in do_shadow_PUT()
1205 IRRegArray* descr, IRAtom* ix, Int bias, IRAtom* atom ) in do_shadow_PUTI()
1207 IRAtom* vatom; in do_shadow_PUTI()
1258 IRExpr* shadow_GETI ( MCEnv* mce, IRRegArray* descr, IRAtom* ix, Int bias ) in shadow_GETI()
1289 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 ) in mkLazy2()
1292 IRAtom* at; in mkLazy2()
1308 IRAtom* mkLazyN ( MCEnv* mce, in mkLazyN()
1309 IRAtom** exprvec, IRType finalVtype, IRCallee* cee ) in mkLazyN()
1312 IRAtom* here; in mkLazyN()
1313 IRAtom* curr = definedOfType(Ity_I32); in mkLazyN()
1341 IRAtom* expensiveAdd32 ( MCEnv* mce, IRAtom* qaa, IRAtom* qbb, in expensiveAdd32()
1342 IRAtom* aa, IRAtom* bb ) in expensiveAdd32()
1344 IRAtom *a_min, *b_min, *a_max, *b_max; in expensiveAdd32()
1399 static IRAtom* mkPCast8x16 ( MCEnv* mce, IRAtom* at ) in mkPCast8x16()
1404 static IRAtom* mkPCast16x8 ( MCEnv* mce, IRAtom* at ) in mkPCast16x8()
1409 static IRAtom* mkPCast32x4 ( MCEnv* mce, IRAtom* at ) in mkPCast32x4()
1414 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at ) in mkPCast64x2()
1457 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32Fx4()
1459 IRAtom* at; in binary32Fx4()
1468 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX ) in unary32Fx4()
1470 IRAtom* at; in unary32Fx4()
1477 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary32F0x4()
1479 IRAtom* at; in binary32F0x4()
1490 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX ) in unary32F0x4()
1492 IRAtom* at; in unary32F0x4()
1503 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64Fx2()
1505 IRAtom* at; in binary64Fx2()
1514 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX ) in unary64Fx2()
1516 IRAtom* at; in unary64Fx2()
1523 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY ) in binary64F0x2()
1525 IRAtom* at; in binary64F0x2()
1536 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX ) in unary64F0x2()
1538 IRAtom* at; in unary64F0x2()
1575 IRAtom* vectorNarrowV128 ( MCEnv* mce, IROp narrow_op, in vectorNarrowV128()
1576 IRAtom* vatom1, IRAtom* vatom2) in vectorNarrowV128()
1578 IRAtom *at1, *at2, *at3; in vectorNarrowV128()
1579 IRAtom* (*pcast)( MCEnv*, IRAtom* ); in vectorNarrowV128()
1599 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary8Ix16()
1601 IRAtom* at; in binary8Ix16()
1608 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary16Ix8()
1610 IRAtom* at; in binary16Ix8()
1617 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary32Ix4()
1619 IRAtom* at; in binary32Ix4()
1626 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 ) in binary64Ix2()
1628 IRAtom* at; in binary64Ix2()
1640 IRAtom* expr2vbits_Binop ( MCEnv* mce, in expr2vbits_Binop()
1642 IRAtom* atom1, IRAtom* atom2 ) in expr2vbits_Binop()
1645 IRAtom* (*uifu) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
1646 IRAtom* (*difd) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
1647 IRAtom* (*improve) (MCEnv*, IRAtom*, IRAtom*); in expr2vbits_Binop()
1649 IRAtom* vatom1 = expr2vbits( mce, atom1 ); in expr2vbits_Binop()
1650 IRAtom* vatom2 = expr2vbits( mce, atom2 ); in expr2vbits_Binop()
1833 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2)); in expr2vbits_Binop()
1834 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32); in expr2vbits_Binop()
1840 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2)); in expr2vbits_Binop()
1841 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16); in expr2vbits_Binop()
1847 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2)); in expr2vbits_Binop()
1848 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8); in expr2vbits_Binop()
1961 IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom ) in expr2vbits_Unop()
1963 IRAtom* vatom = expr2vbits( mce, atom ); in expr2vbits_Unop()
2050 IRAtom* expr2vbits_LDle_WRK ( MCEnv* mce, IRType ty, IRAtom* addr, UInt bias ) in expr2vbits_LDle_WRK()
2056 IRAtom* addrAct; in expr2vbits_LDle_WRK()
2089 IRAtom* eBias; in expr2vbits_LDle_WRK()
2111 IRAtom* expr2vbits_LDle ( MCEnv* mce, IRType ty, IRAtom* addr, UInt bias ) in expr2vbits_LDle()
2113 IRAtom *v64hi, *v64lo; in expr2vbits_LDle()
2133 IRAtom* expr2vbits_ITE ( MCEnv* mce, in expr2vbits_ITE()
2134 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse ) in expr2vbits_ITE()
2136 IRAtom *vbitsC, *vbits0, *vbits1; in expr2vbits_ITE()
2215 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom ) in zwidenToHostWord()
2247 IRAtom* addr, UInt bias, in do_shadow_STle()
2248 IRAtom* data, IRAtom* vdata ) in do_shadow_STle()
2253 IRAtom *addrAct, *addrLo64, *addrHi64; in do_shadow_STle()
2254 IRAtom *vdataLo64, *vdataHi64; in do_shadow_STle()
2255 IRAtom *eBias, *eBias0, *eBias8; in do_shadow_STle()
2378 IRAtom *src, *here, *curr; in do_shadow_Dirty()
2545 static Bool isBogusAtom ( IRAtom* at ) in isBogusAtom()