Lines Matching refs:atom1
1642 IRAtom* atom1, IRAtom* atom2 )
1649 IRAtom* vatom1 = expr2vbits( mce, atom1 );
1652 tl_assert(isOriginalAtom(mce,atom1));
1656 tl_assert(sameKindedAtoms(atom1,vatom1));
1854 return expensiveAdd32(mce, vatom1,vatom2, atom1,atom2);
1939 difd(mce, improve(mce, atom1, vatom1),