diff options
Diffstat (limited to 'llvm/test/Transforms/ArgumentPromotion/dbg.ll')
| -rw-r--r-- | llvm/test/Transforms/ArgumentPromotion/dbg.ll | 41 |
1 files changed, 27 insertions, 14 deletions
diff --git a/llvm/test/Transforms/ArgumentPromotion/dbg.ll b/llvm/test/Transforms/ArgumentPromotion/dbg.ll index 668276290b6..b26f5ce04b3 100644 --- a/llvm/test/Transforms/ArgumentPromotion/dbg.ll +++ b/llvm/test/Transforms/ArgumentPromotion/dbg.ll @@ -1,10 +1,15 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s declare void @sink(i32) -; CHECK: define internal void @test({{.*}} !dbg [[SP:![0-9]+]] define internal void @test(i32** %X) !dbg !2 { +; CHECK-LABEL: define {{[^@]+}}@test +; CHECK-SAME: (i32 [[X_VAL_VAL:%.*]]) !dbg !3 +; CHECK-NEXT: call void @sink(i32 [[X_VAL_VAL]]) +; CHECK-NEXT: ret void +; %1 = load i32*, i32** %X, align 8 %2 = load i32, i32* %1, align 8 call void @sink(i32 %2) @@ -13,30 +18,38 @@ define internal void @test(i32** %X) !dbg !2 { %struct.pair = type { i32, i32 } -; CHECK: define internal void @test_byval(i32 %{{.*}}, i32 %{{.*}}) define internal void @test_byval(%struct.pair* byval %P) { +; CHECK-LABEL: define {{[^@]+}}@test_byval +; CHECK-SAME: (i32 [[P_0:%.*]], i32 [[P_1:%.*]]) +; CHECK-NEXT: [[P:%.*]] = alloca [[STRUCT_PAIR:%.*]] +; CHECK-NEXT: [[DOT0:%.*]] = getelementptr [[STRUCT_PAIR]], %struct.pair* [[P]], i32 0, i32 0 +; CHECK-NEXT: store i32 [[P_0]], i32* [[DOT0]] +; CHECK-NEXT: [[DOT1:%.*]] = getelementptr [[STRUCT_PAIR]], %struct.pair* [[P]], i32 0, i32 1 +; CHECK-NEXT: store i32 [[P_1]], i32* [[DOT1]] +; CHECK-NEXT: ret void +; ret void } -; CHECK-LABEL: define {{.*}} @caller( define void @caller(i32** %Y, %struct.pair* %P) { -; CHECK: load i32*, {{.*}} !dbg [[LOC_1:![0-9]+]] -; CHECK-NEXT: load i32, {{.*}} !dbg [[LOC_1]] -; CHECK-NEXT: call void @test(i32 %{{.*}}), !dbg [[LOC_1]] +; CHECK-LABEL: define {{[^@]+}}@caller +; CHECK-SAME: (i32** [[Y:%.*]], %struct.pair* [[P:%.*]]) +; CHECK-NEXT: [[Y_VAL:%.*]] = load i32*, i32** [[Y]], align 8, !dbg !4 +; CHECK-NEXT: [[Y_VAL_VAL:%.*]] = load i32, i32* [[Y_VAL]], align 8, !dbg !4 +; CHECK-NEXT: call void @test(i32 [[Y_VAL_VAL]]), !dbg !4 +; CHECK-NEXT: [[P_0:%.*]] = getelementptr [[STRUCT_PAIR:%.*]], %struct.pair* [[P]], i32 0, i32 0, !dbg !5 +; CHECK-NEXT: [[P_0_VAL:%.*]] = load i32, i32* [[P_0]], !dbg !5 +; CHECK-NEXT: [[P_1:%.*]] = getelementptr [[STRUCT_PAIR]], %struct.pair* [[P]], i32 0, i32 1, !dbg !5 +; CHECK-NEXT: [[P_1_VAL:%.*]] = load i32, i32* [[P_1]], !dbg !5 +; CHECK-NEXT: call void @test_byval(i32 [[P_0_VAL]], i32 [[P_1_VAL]]), !dbg !5 +; CHECK-NEXT: ret void +; call void @test(i32** %Y), !dbg !1 -; CHECK: getelementptr %struct.pair, {{.*}} !dbg [[LOC_2:![0-9]+]] -; CHECK-NEXT: load i32, i32* {{.*}} !dbg [[LOC_2]] -; CHECK-NEXT: getelementptr %struct.pair, {{.*}} !dbg [[LOC_2]] -; CHECK-NEXT: load i32, i32* {{.*}} !dbg [[LOC_2]] -; CHECK-NEXT: call void @test_byval(i32 %{{.*}}, i32 %{{.*}}), !dbg [[LOC_2]] call void @test_byval(%struct.pair* %P), !dbg !6 ret void } -; CHECK: [[SP]] = distinct !DISubprogram(name: "test", -; CHECK: [[LOC_1]] = !DILocation(line: 8 -; CHECK: [[LOC_2]] = !DILocation(line: 9 !llvm.module.flags = !{!0} !llvm.dbg.cu = !{!3} |
