[PredicateInfo] Enable test with broken REQUIRES condition (NFC)
authorNikita Popov <npopov@redhat.com>
Thu, 5 Jan 2023 11:50:39 +0000 (12:50 +0100)
committerNikita Popov <npopov@redhat.com>
Thu, 5 Jan 2023 11:51:28 +0000 (12:51 +0100)
Add some extra uses of the comparisons, so that these do get
visited.

llvm/test/Transforms/Util/PredicateInfo/ordering.ll

index 8d55c1a..129650d 100644 (file)
@@ -1,15 +1,16 @@
-; REQUIRES: assert-but-this-is-misspelled-and-should-say-asserts-but-then-the-test-case-will-fail
+; REQUIRES: asserts
 ; RUN: opt -passes=print-predicateinfo -debug < %s 2>&1 | FileCheck %s
 
 declare void @use(i32)
+declare void @use.i1(i1)
 
 ; Make sure we are visiting the values to build predicate infos for in a
 ; deterministic order.
 define i32 @test12(i32 %x, i32 %y) {
-; CHECK: Visiting i32 %x
-; CHECK: Visiting i32 %y
 ; CHECK: Visiting   %lcmp = icmp eq i32 %x, 0
+; CHECK: Visiting i32 %x
 ; CHECK: Visiting   %lcmp2 = icmp slt i32 %y, 1000
+; CHECK: Visiting i32 %y
 ; CHECK: Visiting   %lcmp3 = icmp slt i32 %y.0, 900
 ; CHECK: Visiting   %lcmp4 = icmp slt i32 %y.0.1, 700
 ; CHECK: Visiting   %lcmp5 = icmp slt i32 %y.0.1.2, 700
@@ -53,6 +54,13 @@ left_cond_true6:
   br i1 %lcmp7, label %left_cond_true7, label %left_ret
 
 left_cond_true7:
+  call void @use.i1(i1 %lcmp)
+  call void @use.i1(i1 %lcmp2)
+  call void @use.i1(i1 %lcmp3)
+  call void @use.i1(i1 %lcmp4)
+  call void @use.i1(i1 %lcmp5)
+  call void @use.i1(i1 %lcmp6)
+  call void @use.i1(i1 %lcmp7)
   ret i32 %y
 
 left_cond_false:
@@ -68,6 +76,7 @@ right:
   br i1 %rcmp, label %right_cond_true, label %right_cond_false
 
 right_cond_true:
+  call void @use.i1(i1 %rcmp)
   br label %right_ret
 
 right_cond_false: