|
1 |
| -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
2 | 2 | ; RUN: opt -passes=ipsccp -S %s | FileCheck %s
|
3 | 3 |
|
4 | 4 | ;Test for PR45185.
|
5 | 5 |
|
6 | 6 | define void @spam(ptr %arg) {
|
7 |
| -; CHECK-LABEL: @spam( |
8 |
| -; CHECK-NEXT: bb: |
9 |
| -; CHECK-NEXT: call void @blam(i32 0, ptr nonnull [[ARG:%.*]]) |
| 7 | +; CHECK-LABEL: define void @spam( |
| 8 | +; CHECK-SAME: ptr [[ARG:%.*]]) { |
| 9 | +; CHECK-NEXT: [[BB:.*:]] |
| 10 | +; CHECK-NEXT: call void @blam(i32 0, ptr nonnull [[ARG]]) |
10 | 11 | ; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [4 x [24 x float]], ptr [[ARG]], i64 0, i64 1, i64 0
|
11 | 12 | ; CHECK-NEXT: call void @blam(i32 1, ptr nonnull [[TMP1]])
|
12 | 13 | ; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds [4 x [24 x float]], ptr [[ARG]], i64 0, i64 2, i64 0
|
|
24 | 25 |
|
25 | 26 | ; Make sure we do not incorrectly eliminate the checks in @blam.
|
26 | 27 | define internal void @blam(i32 %arg, ptr nocapture %arg1) {
|
27 |
| -; CHECK-LABEL: define {{.*}} @blam( |
28 |
| -; CHECK-NEXT: bb: |
29 |
| -; CHECK-NEXT: [[TMP:%.*]] = icmp eq i32 [[ARG:%.*]], 0 |
30 |
| -; CHECK-NEXT: br i1 [[TMP]], label [[BB2:%.*]], label [[BB3:%.*]] |
31 |
| -; CHECK: bb2: |
32 |
| -; CHECK-NEXT: br label [[BB5:%.*]] |
33 |
| -; CHECK: bb3: |
| 28 | +; CHECK-LABEL: define internal void @blam( |
| 29 | +; CHECK-SAME: i32 range(i32 0, 3) [[ARG:%.*]], ptr nocapture [[ARG1:%.*]]) { |
| 30 | +; CHECK-NEXT: [[BB:.*:]] |
| 31 | +; CHECK-NEXT: [[TMP:%.*]] = icmp eq i32 [[ARG]], 0 |
| 32 | +; CHECK-NEXT: br i1 [[TMP]], label %[[BB2:.*]], label %[[BB3:.*]] |
| 33 | +; CHECK: [[BB2]]: |
| 34 | +; CHECK-NEXT: br label %[[BB5:.*]] |
| 35 | +; CHECK: [[BB3]]: |
34 | 36 | ; CHECK-NEXT: [[TMP4:%.*]] = icmp eq i32 [[ARG]], 2
|
35 |
| -; CHECK-NEXT: br i1 [[TMP4]], label [[BB5]], label [[BB6:%.*]] |
36 |
| -; CHECK: bb5: |
| 37 | +; CHECK-NEXT: br i1 [[TMP4]], label %[[BB5]], label %[[BB6:.*]] |
| 38 | +; CHECK: [[BB5]]: |
37 | 39 | ; CHECK-NEXT: ret void
|
38 |
| -; CHECK: bb6: |
| 40 | +; CHECK: [[BB6]]: |
39 | 41 | ; CHECK-NEXT: ret void
|
40 | 42 | ;
|
41 | 43 | bb:
|
|
0 commit comments