Lines Matching refs:MCEnv
152 in MCEnv. The tmp's type is also not recorded, as this is present
153 in MCEnv.sb->tyenv.
220 MCEnv;
250 static IRTemp newTemp ( MCEnv* mce, IRType ty, TempKind kind )
266 static IRTemp findShadowTmpV ( MCEnv* mce, IRTemp orig )
296 static void newShadowTmpV ( MCEnv* mce, IRTemp orig )
330 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
343 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
420 static inline void stmt ( HChar cat, MCEnv* mce, IRStmt* st ) {
431 void assign ( HChar cat, MCEnv* mce, IRTemp tmp, IRExpr* expr ) {
456 static IRAtom* assignNew ( HChar cat, MCEnv* mce, IRType ty, IRExpr* e )
498 static IRAtom* mkDifD8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
504 static IRAtom* mkDifD16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
510 static IRAtom* mkDifD32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
516 static IRAtom* mkDifD64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
522 static IRAtom* mkDifDV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
528 static IRAtom* mkDifDV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
536 static IRAtom* mkUifU8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
542 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
548 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
554 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
560 static IRAtom* mkUifU128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
574 static IRAtom* mkUifUV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
580 static IRAtom* mkUifUV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
586 static IRAtom* mkUifU ( MCEnv* mce, IRType vty, IRAtom* a1, IRAtom* a2 ) {
603 static IRAtom* mkLeft8 ( MCEnv* mce, IRAtom* a1 ) {
608 static IRAtom* mkLeft16 ( MCEnv* mce, IRAtom* a1 ) {
613 static IRAtom* mkLeft32 ( MCEnv* mce, IRAtom* a1 ) {
618 static IRAtom* mkLeft64 ( MCEnv* mce, IRAtom* a1 ) {
628 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
636 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
644 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
652 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
660 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
668 static IRAtom* mkImproveANDV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
679 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
691 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
703 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
715 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
727 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
739 static IRAtom* mkImproveORV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
757 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
897 static IRAtom* mkPCastXXtoXXlsb ( MCEnv* mce, IRAtom* varg, IRType ty )
972 static IRAtom* expensiveCmpEQorNE ( MCEnv* mce,
1093 static IRAtom* doCmpORD ( MCEnv* mce,
1169 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e ); /* fwds */
1177 static void setHelperAnns ( MCEnv* mce, IRDirty* di ) {
1211 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )
1398 static Bool isAlwaysDefd ( MCEnv* mce, Int offset, Int size )
1431 void do_shadow_PUT ( MCEnv* mce, Int offset,
1479 void do_shadow_PUTI ( MCEnv* mce, IRPutI *puti)
1523 IRExpr* shadow_GET ( MCEnv* mce, Int offset, IRType ty )
1544 IRExpr* shadow_GETI ( MCEnv* mce,
1576 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 )
1624 IRAtom* mkLazy3 ( MCEnv* mce, IRType finalVty,
1758 IRAtom* mkLazy4 ( MCEnv* mce, IRType finalVty,
1830 IRAtom* mkLazyN ( MCEnv* mce,
1882 IRAtom* expensiveAddSub ( MCEnv* mce,
1969 IRAtom* expensiveCountTrailingZeroes ( MCEnv* mce, IROp czop,
2045 static IRAtom* scalarShift ( MCEnv* mce,
2074 static IRAtom* mkPCast8x16 ( MCEnv* mce, IRAtom* at )
2079 static IRAtom* mkPCast16x8 ( MCEnv* mce, IRAtom* at )
2084 static IRAtom* mkPCast32x4 ( MCEnv* mce, IRAtom* at )
2089 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )
2094 static IRAtom* mkPCast64x4 ( MCEnv* mce, IRAtom* at )
2099 static IRAtom* mkPCast32x8 ( MCEnv* mce, IRAtom* at )
2104 static IRAtom* mkPCast32x2 ( MCEnv* mce, IRAtom* at )
2109 static IRAtom* mkPCast16x16 ( MCEnv* mce, IRAtom* at )
2114 static IRAtom* mkPCast16x4 ( MCEnv* mce, IRAtom* at )
2119 static IRAtom* mkPCast8x32 ( MCEnv* mce, IRAtom* at )
2124 static IRAtom* mkPCast8x8 ( MCEnv* mce, IRAtom* at )
2129 static IRAtom* mkPCast16x2 ( MCEnv* mce, IRAtom* at )
2134 static IRAtom* mkPCast8x4 ( MCEnv* mce, IRAtom* at )
2177 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2188 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX )
2197 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2210 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX )
2223 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2234 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX )
2243 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2256 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX )
2269 IRAtom* binary32Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2280 IRAtom* unary32Fx2 ( MCEnv* mce, IRAtom* vatomX )
2291 IRAtom* binary64Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2302 IRAtom* unary64Fx4 ( MCEnv* mce, IRAtom* vatomX )
2313 IRAtom* binary32Fx8 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2324 IRAtom* unary32Fx8 ( MCEnv* mce, IRAtom* vatomX )
2335 IRAtom* binary64Fx2_w_rm ( MCEnv* mce, IRAtom* vRM,
2355 IRAtom* binary32Fx4_w_rm ( MCEnv* mce, IRAtom* vRM,
2369 IRAtom* binary64Fx4_w_rm ( MCEnv* mce, IRAtom* vRM,
2383 IRAtom* binary32Fx8_w_rm ( MCEnv* mce, IRAtom* vRM,
2397 IRAtom* unary64Fx2_w_rm ( MCEnv* mce, IRAtom* vRM, IRAtom* vatomX )
2412 IRAtom* unary32Fx4_w_rm ( MCEnv* mce, IRAtom* vRM, IRAtom* vatomX )
2514 IRAtom* vectorNarrowBinV128 ( MCEnv* mce, IROp narrow_op,
2518 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2540 IRAtom* vectorNarrowBin64 ( MCEnv* mce, IROp narrow_op,
2544 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2561 IRAtom* vectorNarrowUnV128 ( MCEnv* mce, IROp narrow_op,
2565 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2599 IRAtom* vectorWidenI64 ( MCEnv* mce, IROp longen_op,
2603 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2627 IRAtom* binary8Ix32 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2636 IRAtom* binary16Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2645 IRAtom* binary32Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2654 IRAtom* binary64Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2665 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2674 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2683 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2692 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2703 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2712 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2721 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2730 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2741 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2750 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2764 IRAtom* expr2vbits_Qop ( MCEnv* mce,
2812 IRAtom* expr2vbits_Triop ( MCEnv* mce,
2930 IRAtom* expr2vbits_Binop ( MCEnv* mce,
2935 IRAtom* (*uifu) (MCEnv*, IRAtom*, IRAtom*);
2936 IRAtom* (*difd) (MCEnv*, IRAtom*, IRAtom*);
2937 IRAtom* (*improve) (MCEnv*, IRAtom*, IRAtom*);
3537 IRAtom* (*fnPessim) (MCEnv*, IRAtom*) = NULL;
4230 IRAtom* (*binaryNIxM)(MCEnv*,IRAtom*,IRAtom*) = NULL;
4277 IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom )
4620 IRAtom* expr2vbits_Load_WRK ( MCEnv* mce,
4754 IRAtom* expr2vbits_Load ( MCEnv* mce,
4787 IRAtom* expr2vbits_Load_guarded_General ( MCEnv* mce,
4845 IRAtom* expr2vbits_Load_guarded_Simple ( MCEnv* mce,
4857 IRAtom* expr2vbits_ITE ( MCEnv* mce,
4885 IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e )
4958 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
5014 void do_shadow_Store ( MCEnv* mce,
5280 void do_shadow_Dirty ( MCEnv* mce, IRDirty* d )
5508 void do_AbiHint ( MCEnv* mce, IRExpr* base, Int len, IRExpr* nia )
5532 static IRAtom* gen_load_b ( MCEnv* mce, Int szB,
5534 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 );
5535 static void gen_store_b ( MCEnv* mce, Int szB,
5539 static void do_shadow_CAS_single ( MCEnv* mce, IRCAS* cas );
5540 static void do_shadow_CAS_double ( MCEnv* mce, IRCAS* cas );
5567 MCEnv* mce,
5594 void do_shadow_CAS ( MCEnv* mce, IRCAS* cas )
5727 static void do_shadow_CAS_single ( MCEnv* mce, IRCAS* cas )
5817 static void do_shadow_CAS_double ( MCEnv* mce, IRCAS* cas )
5981 static void do_shadow_LLSC ( MCEnv* mce,
6044 static void do_shadow_StoreG ( MCEnv* mce, IRStoreG* sg )
6057 static void do_shadow_LoadG ( MCEnv* mce, IRLoadG* lg )
6100 static void schemeS ( MCEnv* mce, IRStmt* st );
6257 MCEnv mce;
6706 static IRTemp findShadowTmpB ( MCEnv* mce, IRTemp orig )
6726 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 )
6740 static IRAtom* gen_guarded_load_b ( MCEnv* mce, Int szB,
6813 static IRAtom* gen_load_b ( MCEnv* mce, Int szB, IRAtom* baseaddr,
6828 IRAtom* expr2ori_Load_guarded_General ( MCEnv* mce,
6856 static void gen_store_b ( MCEnv* mce, Int szB,
6910 static IRAtom* narrowTo32 ( MCEnv* mce, IRAtom* e ) {
6919 static IRAtom* zWidenFrom32 ( MCEnv* mce, IRType dstTy, IRAtom* e ) {
6928 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e )
7064 static void do_origins_Dirty ( MCEnv* mce, IRDirty* d )
7270 static void do_origins_Store_guarded ( MCEnv* mce,
7290 static void do_origins_Store_plain ( MCEnv* mce,
7302 static void do_origins_StoreG ( MCEnv* mce, IRStoreG* sg )
7308 static void do_origins_LoadG ( MCEnv* mce, IRLoadG* lg )
7331 static void schemeS ( MCEnv* mce, IRStmt* st )
