Home | History | Annotate | Download | only in verifier

Lines Matching defs:val1

597     int32_t val1 = type1.ConstantValue();
599     if (val1 >= 0 && val2 >= 0) {
601       if (val1 >= val2) {
605           return reg_types->FromCat1Const(val1, false);
614     } else if (val1 < 0 && val2 < 0) {
616       if (val1 <= val2) {
620           return reg_types->FromCat1Const(val1, false);
652     int32_t val1 = type1.ConstantValueLo();
654     return reg_types->FromCat2ConstLo(val1 | val2, false);
658     int32_t val1 = type1.ConstantValueHi();
660     return reg_types->FromCat2ConstHi(val1 | val2, false);