Home | History | Annotate | Download | only in verifier

Lines Matching defs:val1

792     int32_t val1 = ConstantValue();
794     if (val1 >= 0 && val2 >= 0) {
796       if (val1 >= val2) {
800           return reg_types->FromCat1Const(val1, false);
809     } else if (val1 < 0 && val2 < 0) {
811       if (val1 <= val2) {
815           return reg_types->FromCat1Const(val1, false);
845     int32_t val1 = ConstantValueLo();
847     return reg_types->FromCat2ConstLo(val1 | val2, false);
849     int32_t val1 = ConstantValueHi();
851     return reg_types->FromCat2ConstHi(val1 | val2, false);