Skip to content

Commit e531e52

Browse files
committed
Complete checking in the test case
1 parent b60caca commit e531e52

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

llvm/test/Transforms/SimplifyCFG/flatten-cfg-with-phi.ll

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,16 @@ define i1 @_Z7compareRK1SS1_(ptr %a, ptr %b) {
1212
; CHECK-NEXT: %2 = and i1 %cmp.i, %cmp.i19
1313
; CHECK-NEXT: %3 = select i1 %cmp.i, i1 false, i1 true
1414
; CHECK-NEXT: br i1 %2, label %land.rhs, label %lor.end
15-
; CHECK-LABEL: lor.end: ; preds = %land.rhs, %entry
15+
; CHECK-EMPTY:
16+
; CHECK-NEXT: land.rhs: ; preds = %entry
17+
; CHECK-NEXT: %y = getelementptr inbounds nuw i8, ptr %a, i64 4
18+
; CHECK-NEXT: %4 = load i32, ptr %y, align 4, !tbaa !8
19+
; CHECK-NEXT: %y14 = getelementptr inbounds nuw i8, ptr %b, i64 4
20+
; CHECK-NEXT: %5 = load i32, ptr %y14, align 4, !tbaa !8
21+
; CHECK-NEXT: %cmp = icmp slt i32 %4, %5
22+
; CHECK-NEXT: br label %lor.end
23+
; CHECK-EMPTY:
24+
; CHECK-NEXT: lor.end: ; preds = %land.rhs, %entry
1625
; CHECK-NEXT: %6 = phi i1 [ %cmp, %land.rhs ], [ %3, %entry ]
1726
; CHECK-NEXT: ret i1 %6
1827
entry:

0 commit comments

Comments
 (0)