|
1 | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
2 |
| -; RUN: opt -O1 -S < %s | FileCheck %s --check-prefix=OLDPM |
3 |
| -; RUN: opt -passes='default<O1>' -S < %s | FileCheck %s --check-prefix=NEWPM |
| 2 | +; RUN: opt -O1 -S < %s | FileCheck %s --check-prefix=ALL --check-prefix=OLDPM |
| 3 | +; RUN: opt -passes='default<O1>' -S < %s | FileCheck %s --check-prefix=ALL --check-prefix=NEWPM |
4 | 4 |
|
5 | 5 | ; Don't simplify unconditional branches from empty blocks in simplifyCFG
|
6 | 6 | ; until late in the pipeline because it can destroy canonical loop structure.
|
7 | 7 |
|
8 |
| -; FIXME: The new pass manager is not limiting simplifycfg at any point in the pipeline, |
9 |
| -; so it performs a transformation before loop optimizations that is avoided in the old PM. |
10 |
| - |
11 | 8 | define i1 @PR33605(i32 %a, i32 %b, i32* %c) {
|
12 |
| -; OLDPM-LABEL: @PR33605( |
13 |
| -; OLDPM-NEXT: for.body: |
14 |
| -; OLDPM-NEXT: [[OR:%.*]] = or i32 [[B:%.*]], [[A:%.*]] |
15 |
| -; OLDPM-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[C:%.*]], i64 1 |
16 |
| -; OLDPM-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 |
17 |
| -; OLDPM-NEXT: [[CMP:%.*]] = icmp eq i32 [[OR]], [[TMP0]] |
18 |
| -; OLDPM-NEXT: br i1 [[CMP]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] |
19 |
| -; OLDPM: if.then: |
20 |
| -; OLDPM-NEXT: store i32 [[OR]], i32* [[ARRAYIDX]], align 4 |
21 |
| -; OLDPM-NEXT: tail call void @foo() |
22 |
| -; OLDPM-NEXT: br label [[IF_END]] |
23 |
| -; OLDPM: if.end: |
24 |
| -; OLDPM-NEXT: [[CHANGED_1_OFF0:%.*]] = phi i1 [ true, [[IF_THEN]] ], [ false, [[FOR_BODY:%.*]] ] |
25 |
| -; OLDPM-NEXT: [[TMP1:%.*]] = load i32, i32* [[C]], align 4 |
26 |
| -; OLDPM-NEXT: [[CMP_1:%.*]] = icmp eq i32 [[OR]], [[TMP1]] |
27 |
| -; OLDPM-NEXT: br i1 [[CMP_1]], label [[IF_END_1:%.*]], label [[IF_THEN_1:%.*]] |
28 |
| -; OLDPM: if.then.1: |
29 |
| -; OLDPM-NEXT: store i32 [[OR]], i32* [[C]], align 4 |
30 |
| -; OLDPM-NEXT: tail call void @foo() |
31 |
| -; OLDPM-NEXT: br label [[IF_END_1]] |
32 |
| -; OLDPM: if.end.1: |
33 |
| -; OLDPM-NEXT: [[CHANGED_1_OFF0_1:%.*]] = phi i1 [ true, [[IF_THEN_1]] ], [ [[CHANGED_1_OFF0]], [[IF_END]] ] |
34 |
| -; OLDPM-NEXT: ret i1 [[CHANGED_1_OFF0_1]] |
35 |
| -; |
36 |
| -; NEWPM-LABEL: @PR33605( |
37 |
| -; NEWPM-NEXT: entry: |
38 |
| -; NEWPM-NEXT: [[OR:%.*]] = or i32 [[B:%.*]], [[A:%.*]] |
39 |
| -; NEWPM-NEXT: br label [[FOR_COND_OUTER:%.*]] |
40 |
| -; NEWPM: for.cond.outer: |
41 |
| -; NEWPM-NEXT: [[I_0_PH:%.*]] = phi i32 [ [[DEC:%.*]], [[IF_THEN:%.*]] ], [ 2, [[ENTRY:%.*]] ] |
42 |
| -; NEWPM-NEXT: [[CHANGED_0_OFF0_PH:%.*]] = phi i1 [ true, [[IF_THEN]] ], [ false, [[ENTRY]] ] |
43 |
| -; NEWPM-NEXT: br label [[FOR_COND:%.*]] |
44 |
| -; NEWPM: for.cond: |
45 |
| -; NEWPM-NEXT: [[I_0:%.*]] = phi i32 [ [[DEC]], [[FOR_BODY:%.*]] ], [ [[I_0_PH]], [[FOR_COND_OUTER]] ] |
46 |
| -; NEWPM-NEXT: [[DEC]] = add nsw i32 [[I_0]], -1 |
47 |
| -; NEWPM-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[I_0]], 0 |
48 |
| -; NEWPM-NEXT: br i1 [[TOBOOL]], label [[FOR_COND_CLEANUP:%.*]], label [[FOR_BODY]] |
49 |
| -; NEWPM: for.cond.cleanup: |
50 |
| -; NEWPM-NEXT: ret i1 [[CHANGED_0_OFF0_PH]] |
51 |
| -; NEWPM: for.body: |
52 |
| -; NEWPM-NEXT: [[IDXPROM:%.*]] = sext i32 [[DEC]] to i64 |
53 |
| -; NEWPM-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[C:%.*]], i64 [[IDXPROM]] |
54 |
| -; NEWPM-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 |
55 |
| -; NEWPM-NEXT: [[CMP:%.*]] = icmp eq i32 [[OR]], [[TMP0]] |
56 |
| -; NEWPM-NEXT: br i1 [[CMP]], label [[FOR_COND]], label [[IF_THEN]] |
57 |
| -; NEWPM: if.then: |
58 |
| -; NEWPM-NEXT: store i32 [[OR]], i32* [[ARRAYIDX]], align 4 |
59 |
| -; NEWPM-NEXT: tail call void @foo() |
60 |
| -; NEWPM-NEXT: br label [[FOR_COND_OUTER]] |
| 9 | +; ALL-LABEL: @PR33605( |
| 10 | +; ALL-NEXT: for.body: |
| 11 | +; ALL-NEXT: [[OR:%.*]] = or i32 [[B:%.*]], [[A:%.*]] |
| 12 | +; ALL-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[C:%.*]], i64 1 |
| 13 | +; ALL-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 |
| 14 | +; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[OR]], [[TMP0]] |
| 15 | +; ALL-NEXT: br i1 [[CMP]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] |
| 16 | +; ALL: if.then: |
| 17 | +; ALL-NEXT: store i32 [[OR]], i32* [[ARRAYIDX]], align 4 |
| 18 | +; ALL-NEXT: tail call void @foo() |
| 19 | +; ALL-NEXT: br label [[IF_END]] |
| 20 | +; ALL: if.end: |
| 21 | +; ALL-NEXT: [[CHANGED_1_OFF0:%.*]] = phi i1 [ true, [[IF_THEN]] ], [ false, [[FOR_BODY:%.*]] ] |
| 22 | +; ALL-NEXT: [[TMP1:%.*]] = load i32, i32* [[C]], align 4 |
| 23 | +; ALL-NEXT: [[CMP_1:%.*]] = icmp eq i32 [[OR]], [[TMP1]] |
| 24 | +; ALL-NEXT: br i1 [[CMP_1]], label [[IF_END_1:%.*]], label [[IF_THEN_1:%.*]] |
| 25 | +; ALL: if.then.1: |
| 26 | +; ALL-NEXT: store i32 [[OR]], i32* [[C]], align 4 |
| 27 | +; ALL-NEXT: tail call void @foo() |
| 28 | +; ALL-NEXT: br label [[IF_END_1]] |
| 29 | +; ALL: if.end.1: |
| 30 | +; ALL-NEXT: [[CHANGED_1_OFF0_1:%.*]] = phi i1 [ true, [[IF_THEN_1]] ], [ [[CHANGED_1_OFF0]], [[IF_END]] ] |
| 31 | +; ALL-NEXT: ret i1 [[CHANGED_1_OFF0_1]] |
61 | 32 | ;
|
62 | 33 | entry:
|
63 | 34 | br label %for.cond
|
|
0 commit comments