Searched refs:sim1 (Results 1 – 3 of 3) sorted by relevance
513 Simplex sim1(s1); in TEST() local518 EXPECT_TRUE(sim1.isRationalSubsetOf(s1)); in TEST()531 EXPECT_TRUE(sim1.isRationalSubsetOf(univ)); in TEST()532 EXPECT_TRUE(sim1.isRationalSubsetOf(s1)); in TEST()533 EXPECT_FALSE(sim1.isRationalSubsetOf(s2)); in TEST()534 EXPECT_FALSE(sim1.isRationalSubsetOf(empty)); in TEST()
1 # RUN: llvm-sim -o - %S/Inputs/sim1.ll | FileCheck %s
1 # RUN: llvm-sim -o %t %S/Inputs/sim1.ll