llvm.org GIT mirror llvm / 5d18059
[NewGVN] Actually check the NewGVN output. Apparently I messed up squashing two consecutive commits. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303516 91177308-0d34-0410-b5e6-96231b3b80d8 Davide Italiano 2 years ago
1 changed file(s) with 30 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
0 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
1 ; RUN: opt -newgvn %s -S | FileCheck %s
2
13 @b = external global i32, align 4
24 @a = external global i32, align 4
35 define void @tinkywinky() {
6 ; CHECK-LABEL: @tinkywinky(
7 ; CHECK-NEXT: entry:
8 ; CHECK-NEXT: br label [[L1:%.*]]
9 ; CHECK: l1.loopexit:
10 ; CHECK-NEXT: br label [[L1]]
11 ; CHECK: l1:
12 ; CHECK-NEXT: [[F_0:%.*]] = phi i32* [ @b, [[ENTRY:%.*]] ], [ @a, [[L1_LOOPEXIT:%.*]] ]
13 ; CHECK-NEXT: br label [[FOR_COND:%.*]]
14 ; CHECK: for.cond.loopexit:
15 ; CHECK-NEXT: store i8 undef, i8* null
16 ; CHECK-NEXT: br label [[FOR_COND]]
17 ; CHECK: for.cond:
18 ; CHECK-NEXT: br i1 undef, label [[FOR_END14:%.*]], label [[FOR_COND1_PREHEADER:%.*]]
19 ; CHECK: for.cond1.preheader:
20 ; CHECK-NEXT: br label [[FOR_BODY3:%.*]]
21 ; CHECK: for.cond1:
22 ; CHECK-NEXT: br label [[L2:%.*]]
23 ; CHECK: for.body3:
24 ; CHECK-NEXT: br i1 undef, label [[FOR_COND1:%.*]], label [[L1_LOOPEXIT]]
25 ; CHECK: l2:
26 ; CHECK-NEXT: [[G_4:%.*]] = phi i32* [ @b, [[FOR_END14]] ], [ @a, [[FOR_COND1]] ]
27 ; CHECK-NEXT: [[F_2:%.*]] = phi i32* [ [[F_0]], [[FOR_END14]] ], [ @a, [[FOR_COND1]] ]
28 ; CHECK-NEXT: br label [[FOR_INC:%.*]]
29 ; CHECK: for.inc:
30 ; CHECK-NEXT: br i1 false, label [[FOR_COND_LOOPEXIT:%.*]], label [[FOR_INC]]
31 ; CHECK: for.end14:
32 ; CHECK-NEXT: br label [[L2]]
33 ;
434 entry:
535 br label %l1
636 l1.loopexit: