Home | History | Annotate | Download | only in verifier

Lines Matching defs:val2

598     int32_t val2 = type2.ConstantValue();
599     if (val1 >= 0 && val2 >= 0) {
601       if (val1 >= val2) {
611           return reg_types->FromCat1Const(val2, false);
614     } else if (val1 < 0 && val2 < 0) {
616       if (val1 <= val2) {
626           return reg_types->FromCat1Const(val2, false);
653     int32_t val2 = type2.ConstantValueLo();
654     return reg_types->FromCat2ConstLo(val1 | val2, false);
659     int32_t val2 = type2.ConstantValueHi();
660     return reg_types->FromCat2ConstHi(val1 | val2, false);