725   EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoSignedWrap), Empty);  in TEST_F()
726   EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoSignedWrap), Empty);  in TEST_F()
727   EXPECT_EQ(Full.addWithNoWrap(Full, OBO::NoSignedWrap), Full);  in TEST_F()
728   EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoSignedWrap), Full);  in TEST_F()
729   EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoSignedWrap), Full);  in TEST_F()
730   EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, 1), APInt(16, 2)),  in TEST_F()
734                 .addWithNoWrap(Full, OBO::NoSignedWrap),  in TEST_F()
736   EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, -1), APInt(16, 0)),  in TEST_F()
740                 .addWithNoWrap(ConstantRange(APInt(8, 120), APInt(8, 123)),  in TEST_F()
744                 .addWithNoWrap(ConstantRange(APInt(8, -110), APInt(8, -100)),  in TEST_F()
748                 .addWithNoWrap(ConstantRange(APInt(8, -128), APInt(8, 28)),  in TEST_F()
752                 .addWithNoWrap(ConstantRange(APInt(8, -120), APInt(8, 29)),  in TEST_F()
756                 .addWithNoWrap(ConstantRange(APInt(8, 10), APInt(8, 20)),  in TEST_F()
760                 .addWithNoWrap(ConstantRange(APInt(8, -50), APInt(8, 50)),  in TEST_F()
764                 .addWithNoWrap(ConstantRange(APInt(8, 5), APInt(8, 20)),  in TEST_F()
768                 .addWithNoWrap(ConstantRange(APInt(8, 120), APInt(8, -10)),  in TEST_F()
774         return CR1.addWithNoWrap(CR2, OBO::NoSignedWrap);  in TEST_F()
786   EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoUnsignedWrap), Empty);  in TEST_F()
787   EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoUnsignedWrap), Empty);  in TEST_F()
788   EXPECT_EQ(Full.addWithNoWrap(Full, OBO::NoUnsignedWrap), Full);  in TEST_F()
789   EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoUnsignedWrap), Full);  in TEST_F()
790   EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoUnsignedWrap), Full);  in TEST_F()
791   EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, 1), APInt(16, 2)),  in TEST_F()
795                 .addWithNoWrap(Full, OBO::NoUnsignedWrap),  in TEST_F()
798                 .addWithNoWrap(ConstantRange(APInt(8, 100), APInt(8, 123)),  in TEST_F()
802                 .addWithNoWrap(ConstantRange(APInt(8, 0), APInt(8, 156)),  in TEST_F()
806                 .addWithNoWrap(ConstantRange(APInt(8, 10), APInt(8, 29)),  in TEST_F()
810                 .addWithNoWrap(ConstantRange(APInt(8, 50), APInt(8, 200)),  in TEST_F()
814                 .addWithNoWrap(ConstantRange(APInt(8, 50), APInt(8, 200)),  in TEST_F()
818                 .addWithNoWrap(ConstantRange(APInt(8, 5), APInt(8, 20)),  in TEST_F()
822                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, -30)),  in TEST_F()
828         return CR1.addWithNoWrap(CR2, OBO::NoUnsignedWrap);  in TEST_F()
841                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 70)),  in TEST_F()
845                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 70)),  in TEST_F()
849                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 70)),  in TEST_F()
854                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 30)),  in TEST_F()
858                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 30)),  in TEST_F()
862                 .addWithNoWrap(ConstantRange(APInt(8, 20), APInt(8, 30)),  in TEST_F()
868         return CR1.addWithNoWrap(CR2, OBO::NoUnsignedWrap | OBO::NoSignedWrap);  in TEST_F()