Lines Matching refs:SignAnalysisTest
536 TEST(SignAnalysisTest, Init) { in TEST() argument
574 TEST(SignAnalysisTest, UnaryMinus) { in TEST() argument
597 TEST(SignAnalysisTest, UnaryNot) { in TEST() argument
620 TEST(SignAnalysisTest, UnaryNotInIf) { in TEST() argument
664 TEST(SignAnalysisTest, BinaryGT) { in TEST() argument
712 TEST(SignAnalysisTest, BinaryLT) { in TEST() argument
760 TEST(SignAnalysisTest, BinaryGE) { in TEST() argument
808 TEST(SignAnalysisTest, BinaryLE) { in TEST() argument
856 TEST(SignAnalysisTest, BinaryEQ) { in TEST() argument
896 TEST(SignAnalysisTest, ComplexLoopCondition) { in TEST() argument
923 TEST(SignAnalysisTest, JoinToTop) { in TEST() argument
962 TEST(SignAnalysisTest, JoinToNeg) { in TEST() argument
1001 TEST(SignAnalysisTest, NestedIfs) { in TEST() argument