Lines Matching refs:IRAtom
319 typedef IRExpr IRAtom;
323 static Bool isOriginalAtom ( MCEnv* mce, IRAtom* a1 )
336 static Bool isShadowAtom ( MCEnv* mce, IRAtom* a1 )
349 static Bool sameKindedAtoms ( IRAtom* a1, IRAtom* a2 )
448 static IRAtom* assignNew ( HChar cat, MCEnv* mce, IRType ty, IRExpr* e )
475 IRAtom* z64 = IRExpr_Const(IRConst_U64(0));
490 static IRAtom* mkDifD8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
496 static IRAtom* mkDifD16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
502 static IRAtom* mkDifD32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
508 static IRAtom* mkDifD64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
514 static IRAtom* mkDifDV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
520 static IRAtom* mkDifDV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
528 static IRAtom* mkUifU8 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
534 static IRAtom* mkUifU16 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
540 static IRAtom* mkUifU32 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
546 static IRAtom* mkUifU64 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
552 static IRAtom* mkUifU128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
553 IRAtom *tmp1, *tmp2, *tmp3, *tmp4, *tmp5, *tmp6;
566 static IRAtom* mkUifUV128 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
572 static IRAtom* mkUifUV256 ( MCEnv* mce, IRAtom* a1, IRAtom* a2 ) {
578 static IRAtom* mkUifU ( MCEnv* mce, IRType vty, IRAtom* a1, IRAtom* a2 ) {
595 static IRAtom* mkLeft8 ( MCEnv* mce, IRAtom* a1 ) {
600 static IRAtom* mkLeft16 ( MCEnv* mce, IRAtom* a1 ) {
605 static IRAtom* mkLeft32 ( MCEnv* mce, IRAtom* a1 ) {
610 static IRAtom* mkLeft64 ( MCEnv* mce, IRAtom* a1 ) {
620 static IRAtom* mkImproveAND8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
628 static IRAtom* mkImproveAND16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
636 static IRAtom* mkImproveAND32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
644 static IRAtom* mkImproveAND64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
652 static IRAtom* mkImproveANDV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
660 static IRAtom* mkImproveANDV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
671 static IRAtom* mkImproveOR8 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
683 static IRAtom* mkImproveOR16 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
695 static IRAtom* mkImproveOR32 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
707 static IRAtom* mkImproveOR64 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
719 static IRAtom* mkImproveORV128 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
731 static IRAtom* mkImproveORV256 ( MCEnv* mce, IRAtom* data, IRAtom* vbits )
749 static IRAtom* mkPCastTo( MCEnv* mce, IRType dst_ty, IRAtom* vbits )
752 IRAtom* tmp1;
767 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
773 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
780 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
789 IRAtom* tmp = assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));
815 IRAtom* tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vbits));
816 IRAtom* tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, vbits));
817 IRAtom* tmp4 = assignNew('V', mce, Ity_I64, binop(Iop_Or64, tmp2, tmp3));
903 static IRAtom* expensiveCmpEQorNE ( MCEnv* mce,
905 IRAtom* vxx, IRAtom* vyy,
906 IRAtom* xx, IRAtom* yy )
908 IRAtom *naive, *vec, *improvement_term;
909 IRAtom *improved, *final_cast, *top;
1008 static Bool isZeroU32 ( IRAtom* e )
1016 static Bool isZeroU64 ( IRAtom* e )
1024 static IRAtom* doCmpORD ( MCEnv* mce,
1026 IRAtom* xxhash, IRAtom* yyhash,
1027 IRAtom* xx, IRAtom* yy )
1038 Bool (*isZero)(IRAtom*) = m64 ? isZeroU64 : isZeroU32;
1040 IRAtom* threeLeft1 = NULL;
1041 IRAtom* sevenLeft1 = NULL;
1100 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e ); /* fwds */
1142 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )
1144 IRAtom* vatom;
1148 IRAtom* cond;
1149 IRAtom* origin;
1281 IRAtom *g1 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, di->guard));
1282 IRAtom *g2 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, guard));
1283 IRAtom *e = assignNew('V', mce, Ity_I32, binop(Iop_And32, g1, g2));
1310 IRAtom* new_tmpV
1363 IRAtom* atom, IRAtom* vatom, IRExpr *guard )
1394 IRAtom *cond, *iffalse;
1412 IRAtom* vatom;
1416 IRAtom* ix = puti->ix;
1418 IRAtom* atom = puti->data;
1476 IRRegArray* descr, IRAtom* ix, Int bias )
1507 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 )
1509 IRAtom* at;
1555 IRAtom* mkLazy3 ( MCEnv* mce, IRType finalVty,
1556 IRAtom* va1, IRAtom* va2, IRAtom* va3 )
1558 IRAtom* at;
1595 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1);
1596 IRAtom* at2 = mkPCastTo(mce, Ity_I64, va2);
1653 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1);
1654 IRAtom* at2 = mkPCastTo(mce, Ity_I64, va2);
1655 IRAtom* at3 = mkPCastTo(mce, Ity_I64, va3);
1689 IRAtom* mkLazy4 ( MCEnv* mce, IRType finalVty,
1690 IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 )
1692 IRAtom* at;
1761 IRAtom* mkLazyN ( MCEnv* mce,
1762 IRAtom** exprvec, IRType finalVtype, IRCallee* cee )
1765 IRAtom* here;
1766 IRAtom* curr;
1813 IRAtom* expensiveAddSub ( MCEnv* mce,
1816 IRAtom* qaa, IRAtom* qbb,
1817 IRAtom* aa, IRAtom* bb )
1819 IRAtom *a_min, *b_min, *a_max, *b_max;
1900 IRAtom* expensiveCountTrailingZeroes ( MCEnv* mce, IROp czop,
1901 IRAtom* atom, IRAtom* vatom )
1906 IRAtom *improver, *improved;
1976 static IRAtom* scalarShift ( MCEnv* mce,
1979 IRAtom* qaa, IRAtom* qbb,
1980 IRAtom* aa, IRAtom* bb )
2005 static IRAtom* mkPCast8x16 ( MCEnv* mce, IRAtom* at )
2010 static IRAtom* mkPCast16x8 ( MCEnv* mce, IRAtom* at )
2015 static IRAtom* mkPCast32x4 ( MCEnv* mce, IRAtom* at )
2020 static IRAtom* mkPCast64x2 ( MCEnv* mce, IRAtom* at )
2025 static IRAtom* mkPCast64x4 ( MCEnv* mce, IRAtom* at )
2030 static IRAtom* mkPCast32x8 ( MCEnv* mce, IRAtom* at )
2035 static IRAtom* mkPCast32x2 ( MCEnv* mce, IRAtom* at )
2040 static IRAtom* mkPCast16x16 ( MCEnv* mce, IRAtom* at )
2045 static IRAtom* mkPCast16x4 ( MCEnv* mce, IRAtom* at )
2050 static IRAtom* mkPCast8x32 ( MCEnv* mce, IRAtom* at )
2055 static IRAtom* mkPCast8x8 ( MCEnv* mce, IRAtom* at )
2060 static IRAtom* mkPCast16x2 ( MCEnv* mce, IRAtom* at )
2065 static IRAtom* mkPCast8x4 ( MCEnv* mce, IRAtom* at )
2108 IRAtom* binary32Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2110 IRAtom* at;
2119 IRAtom* unary32Fx4 ( MCEnv* mce, IRAtom* vatomX )
2121 IRAtom* at;
2128 IRAtom* binary32F0x4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2130 IRAtom* at;
2141 IRAtom* unary32F0x4 ( MCEnv* mce, IRAtom* vatomX )
2143 IRAtom* at;
2154 IRAtom* binary64Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2156 IRAtom* at;
2165 IRAtom* unary64Fx2 ( MCEnv* mce, IRAtom* vatomX )
2167 IRAtom* at;
2174 IRAtom* binary64F0x2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2176 IRAtom* at;
2187 IRAtom* unary64F0x2 ( MCEnv* mce, IRAtom* vatomX )
2189 IRAtom* at;
2200 IRAtom* binary32Fx2 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2202 IRAtom* at;
2211 IRAtom* unary32Fx2 ( MCEnv* mce, IRAtom* vatomX )
2213 IRAtom* at;
2222 IRAtom* binary64Fx4 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2224 IRAtom* at;
2233 IRAtom* unary64Fx4 ( MCEnv* mce, IRAtom* vatomX )
2235 IRAtom* at;
2244 IRAtom* binary32Fx8 ( MCEnv* mce, IRAtom* vatomX, IRAtom* vatomY )
2246 IRAtom* at;
2255 IRAtom* unary32Fx8 ( MCEnv* mce, IRAtom* vatomX )
2257 IRAtom* at;
2266 IRAtom* binary64Fx2_w_rm ( MCEnv* mce, IRAtom* vRM,
2267 IRAtom* vatomX, IRAtom* vatomY )
2275 IRAtom* t1 = binary64Fx2(mce, vatomX, vatomY);
2277 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM);
2286 IRAtom* binary32Fx4_w_rm ( MCEnv* mce, IRAtom* vRM,
2287 IRAtom* vatomX, IRAtom* vatomY )
2289 IRAtom* t1 = binary32Fx4(mce, vatomX, vatomY);
2291 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM);
2300 IRAtom* binary64Fx4_w_rm ( MCEnv* mce, IRAtom* vRM,
2301 IRAtom* vatomX, IRAtom* vatomY )
2303 IRAtom* t1 = binary64Fx4(mce, vatomX, vatomY);
2305 IRAtom* t2 = mkPCastTo(mce, Ity_V256, vRM);
2314 IRAtom* binary32Fx8_w_rm ( MCEnv* mce, IRAtom* vRM,
2315 IRAtom* vatomX, IRAtom* vatomY )
2317 IRAtom* t1 = binary32Fx8(mce, vatomX, vatomY);
2319 IRAtom* t2 = mkPCastTo(mce, Ity_V256, vRM);
2416 IRAtom* vectorNarrowBinV128 ( MCEnv* mce, IROp narrow_op,
2417 IRAtom* vatom1, IRAtom* vatom2)
2419 IRAtom *at1, *at2, *at3;
2420 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2442 IRAtom* vectorNarrowBin64 ( MCEnv* mce, IROp narrow_op,
2443 IRAtom* vatom1, IRAtom* vatom2)
2445 IRAtom *at1, *at2, *at3;
2446 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2463 IRAtom* vectorNarrowUnV128 ( MCEnv* mce, IROp narrow_op,
2464 IRAtom* vatom1)
2466 IRAtom *at1, *at2;
2467 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2501 IRAtom* vectorWidenI64 ( MCEnv* mce, IROp longen_op,
2502 IRAtom* vatom1)
2504 IRAtom *at1, *at2;
2505 IRAtom* (*pcast)( MCEnv*, IRAtom* );
2529 IRAtom* binary8Ix32 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2531 IRAtom* at;
2538 IRAtom* binary16Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2540 IRAtom* at;
2547 IRAtom* binary32Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2549 IRAtom* at;
2556 IRAtom* binary64Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2558 IRAtom* at;
2567 IRAtom* binary8Ix16 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2569 IRAtom* at;
2576 IRAtom* binary16Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2578 IRAtom* at;
2585 IRAtom* binary32Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2587 IRAtom* at;
2594 IRAtom* binary64Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2596 IRAtom* at;
2605 IRAtom* binary8Ix8 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2607 IRAtom* at;
2614 IRAtom* binary16Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2616 IRAtom* at;
2623 IRAtom* binary32Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2625 IRAtom* at;
2632 IRAtom* binary64Ix1 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2634 IRAtom* at;
2643 IRAtom* binary8Ix4 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2645 IRAtom* at;
2652 IRAtom* binary16Ix2 ( MCEnv* mce, IRAtom* vatom1, IRAtom* vatom2 )
2654 IRAtom* at;
2666 IRAtom* expr2vbits_Qop ( MCEnv* mce,
2668 IRAtom* atom1, IRAtom* atom2,
2669 IRAtom* atom3, IRAtom* atom4 )
2671 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2672 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2673 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2674 IRAtom* vatom4 = expr2vbits( mce, atom4 );
2714 IRAtom* expr2vbits_Triop ( MCEnv* mce,
2716 IRAtom* atom1, IRAtom* atom2, IRAtom* atom3 )
2718 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2719 IRAtom* vatom2 = expr2vbits( mce, atom2 );
2720 IRAtom* vatom3 = expr2vbits( mce, atom3 );
2830 IRAtom* expr2vbits_Binop ( MCEnv* mce,
2832 IRAtom* atom1, IRAtom* atom2 )
2835 IRAtom* (*uifu) (MCEnv*, IRAtom*, IRAtom*);
2836 IRAtom* (*difd) (MCEnv*, IRAtom*, IRAtom*);
2837 IRAtom* (*improve) (MCEnv*, IRAtom*, IRAtom*);
2839 IRAtom* vatom1 = expr2vbits( mce, atom1 );
2840 IRAtom* vatom2 = expr2vbits( mce, atom2 );
3459 IRAtom* at;
3469 IRAtom* at;
3479 IRAtom* at;
3689 IRAtom* vLo64 = mkLeft64(mce, mkUifU64(mce, vatom1,vatom2));
3690 IRAtom* vHi64 = mkPCastTo(mce, Ity_I64, vLo64);
3697 IRAtom* vLo32 = mkLeft32(mce, mkUifU32(mce, vatom1,vatom2));
3698 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
3705 IRAtom* vLo16 = mkLeft16(mce, mkUifU16(mce, vatom1,vatom2));
3706 IRAtom* vHi16 = mkPCastTo(mce, Ity_I16, vLo16);
3713 IRAtom* vLo8 = mkLeft8(mce, mkUifU8(mce, vatom1,vatom2));
3714 IRAtom* vHi8 = mkPCastTo(mce, Ity_I8, vLo8);
3988 IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom )
3995 IRAtom* vatom = expr2vbits( mce, atom );
4340 IRAtom* expr2vbits_Load_WRK ( MCEnv* mce,
4342 IRAtom* addr, UInt bias, IRAtom* guard )
4415 IRAtom* addrAct;
4420 IRAtom* eBias;
4474 IRAtom* expr2vbits_Load ( MCEnv* mce,
4476 IRAtom* addr, UInt bias,
4477 IRAtom* guard )
4507 IRAtom* expr2vbits_Load_guarded_General ( MCEnv* mce,
4509 IRAtom* addr, UInt bias,
4510 IRAtom* guard,
4511 IROp vwiden, IRAtom* valt )
4530 IRAtom* iftrue1
4541 IRAtom* iftrue2
4547 IRAtom* iffalse
4551 IRAtom* cond
4565 IRAtom* expr2vbits_Load_guarded_Simple ( MCEnv* mce,
4567 IRAtom* addr, UInt bias,
4568 IRAtom *guard )
4577 IRAtom* expr2vbits_ITE ( MCEnv* mce,
4578 IRAtom* cond, IRAtom* iftrue, IRAtom* iffalse )
4580 IRAtom *vbitsC, *vbits0, *vbits1;
4678 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
4736 IRAtom* addr, UInt bias,
4737 IRAtom* data, IRAtom* vdata,
4738 IRAtom* guard )
4843 IRAtom *addrQ0, *addrQ1, *addrQ2, *addrQ3;
4844 IRAtom *vdataQ0, *vdataQ1, *vdataQ2, *vdataQ3;
4845 IRAtom *eBiasQ0, *eBiasQ1, *eBiasQ2, *eBiasQ3;
4910 IRAtom *addrLo64, *addrHi64;
4911 IRAtom *vdataLo64, *vdataHi64;
4912 IRAtom *eBiasLo64, *eBiasHi64;
4948 IRAtom *addrAct;
4955 IRAtom* eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
5003 IRAtom *src, *here, *curr;
5026 IRAtom* arg = d->args[i];
5068 IRAtom *cond, *iffalse, *iftrue;
5252 static IRAtom* gen_load_b ( MCEnv* mce, Int szB,
5253 IRAtom* baseaddr, Int offset );
5254 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 );
5256 IRAtom* baseaddr, Int offset, IRAtom* dataB,
5257 IRAtom* guard );
5288 IRAtom* orig, IRAtom* shadow )
5449 IRAtom *vdataLo = NULL, *bdataLo = NULL;
5450 IRAtom *vexpdLo = NULL, *bexpdLo = NULL;
5451 IRAtom *voldLo = NULL, *boldLo = NULL;
5452 IRAtom *expd_eq_old = NULL;
5539 IRAtom *vdataHi = NULL, *bdataHi = NULL;
5540 IRAtom *vdataLo = NULL, *bdataLo = NULL;
5541 IRAtom *vexpdHi = NULL, *bexpdHi = NULL;
5542 IRAtom *vexpdLo = NULL, *bexpdLo = NULL;
5543 IRAtom *voldHi = NULL, *boldHi = NULL;
5544 IRAtom *voldLo = NULL, *boldLo = NULL;
5545 IRAtom *xHi = NULL, *xLo = NULL, *xHL = NULL;
5546 IRAtom *expd_eq_old = NULL, *zero = NULL;
5804 IRAtom* vbits_alt
5806 IRAtom* vbits_final
5821 static Bool isBogusAtom ( IRAtom* at )
5906 IRAtom* atom = d->args[i];
6444 static IRAtom* gen_maxU32 ( MCEnv* mce, IRAtom* b1, IRAtom* b2 )
6458 static IRAtom* gen_guarded_load_b ( MCEnv* mce, Int szB,
6459 IRAtom* baseaddr,
6468 IRAtom* ea = baseaddr;
6470 IRAtom* off = aTy == Ity_I32 ? mkU32( offset )
6531 static IRAtom* gen_load_b ( MCEnv* mce, Int szB, IRAtom* baseaddr,
6546 IRAtom* expr2ori_Load_guarded_General ( MCEnv* mce,
6548 IRAtom* addr, UInt bias,
6549 IRAtom* guard, IRAtom* balt )
6555 IRAtom* iftrue
6561 IRAtom* iffalse
6565 IRAtom* cond
6575 IRAtom* baseaddr, Int offset, IRAtom* dataB,
6576 IRAtom* guard )
6583 IRAtom* ea = baseaddr;
6589 IRAtom* off = aTy == Ity_I32 ? mkU32( offset )
6628 static IRAtom* narrowTo32 ( MCEnv* mce, IRAtom* e ) {
6637 static IRAtom* zWidenFrom32 ( MCEnv* mce, IRType dstTy, IRAtom* e ) {
6646 static IRAtom* schemeE ( MCEnv* mce, IRExpr* e )
6654 IRAtom *t1, *t2, *t3, *t4;
6682 IRAtom* here;
6684 IRAtom* curr = mkU32(0);
6714 IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond );
6715 IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
6716 IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse );
6720 IRAtom* b1 = schemeE( mce, e->Iex.Qop.details->arg1 );
6721 IRAtom* b2 = schemeE( mce, e->Iex.Qop.details->arg2 );
6722 IRAtom* b3 = schemeE( mce, e->Iex.Qop.details->arg3 );
6723 IRAtom* b4 = schemeE( mce, e->Iex.Qop.details->arg4 );
6728 IRAtom* b1 = schemeE( mce, e->Iex.Triop.details->arg1 );
6729 IRAtom* b2 = schemeE( mce, e->Iex.Triop.details->arg2 );
6730 IRAtom* b3 = schemeE( mce, e->Iex.Triop.details->arg3 );
6744 IRAtom* b1 = schemeE( mce, e->Iex.Binop.arg1 );
6745 IRAtom* b2 = schemeE( mce, e->Iex.Binop.arg2 );
6753 IRAtom* b1 = schemeE( mce, e->Iex.Unop.arg );
6786 IRAtom *here, *curr;
6797 IRAtom* arg = d->args[i];
6840 IRAtom *cond, *iffalse, *iftrue;
6939 IRAtom *cond, *iffalse;
6995 IRAtom* dataB;
7037 IRAtom* ori_alt
7039 IRAtom* ori_final
7065 IRAtom *t1, *t2, *t3, *t4;