1642                            IRAtom* atom1, IRAtom* atom2 )  in expr2vbits_Binop()  argument
1650    IRAtom* vatom2 = expr2vbits( mce, atom2 );  in expr2vbits_Binop()
1653    tl_assert(isOriginalAtom(mce,atom2));  in expr2vbits_Binop()
1657    tl_assert(sameKindedAtoms(atom2,vatom2));  in expr2vbits_Binop()
1671          complainIfUndefined(mce, atom2);  in expr2vbits_Binop()
1672          return assignNew(mce, Ity_V128, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1854          return expensiveAdd32(mce, vatom1,vatom2, atom1,atom2);  in expr2vbits_Binop()
1883          complainIfUndefined(mce, atom2);  in expr2vbits_Binop()
1884          return assignNew(mce, Ity_I32, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1888          complainIfUndefined(mce, atom2);  in expr2vbits_Binop()
1889          return assignNew(mce, Ity_I16, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1893          complainIfUndefined(mce, atom2);  in expr2vbits_Binop()
1894          return assignNew(mce, Ity_I8, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1898          complainIfUndefined(mce, atom2);  in expr2vbits_Binop()
1899          return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));  in expr2vbits_Binop()
1940                                 improve(mce, atom2, vatom2) ) ) );  in expr2vbits_Binop()