diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/DebugInfo/debugify.ll | 65 | ||||
| -rw-r--r-- | llvm/test/Transforms/Mem2Reg/PromoteMemToRegister.ll | 5 |
2 files changed, 69 insertions, 1 deletions
diff --git a/llvm/test/DebugInfo/debugify.ll b/llvm/test/DebugInfo/debugify.ll new file mode 100644 index 00000000000..fce0664c0dc --- /dev/null +++ b/llvm/test/DebugInfo/debugify.ll @@ -0,0 +1,65 @@ +; RUN: opt -debugify -S -o - < %s | FileCheck %s + +; RUN: opt -debugify -debugify -S -o - < %s 2>&1 | \ +; RUN: FileCheck %s -check-prefix=CHECK-REPEAT + +; RUN: opt -debugify -check-debugify -S -o - < %s | \ +; RUN: FileCheck %s -implicit-check-not="CheckDebugify: FAIL" + +; RUN: opt -debugify -strip -check-debugify -S -o - < %s | \ +; RUN: FileCheck %s -check-prefix=CHECK-FAIL + +; CHECK-LABEL: define void @foo +define void @foo() { +; CHECK: ret void, !dbg ![[RET1:.*]] + ret void +} + +; CHECK-LABEL: define i32 @bar +define i32 @bar() { +; CHECK: call void @foo(), !dbg ![[CALL1:.*]] + call void @foo() + +; CHECK: add i32 0, 1, !dbg ![[ADD1:.*]] + %sum = add i32 0, 1 + +; CHECK: ret i32 0, !dbg ![[RET2:.*]] + ret i32 0 +} + +; CHECK-DAG: !llvm.dbg.cu = !{![[CU:.*]]} +; CHECK-DAG: !llvm.debugify = !{![[NUM_INSTS:.*]], ![[NUM_VARS:.*]]} + +; CHECK-DAG: ![[CU]] = distinct !DICompileUnit(language: DW_LANG_C, file: {{.*}}, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: {{.*}}) +; CHECK-DAG: !DIFile(filename: "<stdin>", directory: "/") +; CHECK-DAG: distinct !DISubprogram(name: "foo", linkageName: "foo", scope: null, file: {{.*}}, line: 1, type: {{.*}}, isLocal: false, isDefinition: true, scopeLine: 1, isOptimized: true, unit: {{.*}}, variables: {{.*}}) +; CHECK-DAG: distinct !DISubprogram(name: "bar", linkageName: "bar", scope: null, file: {{.*}}, line: 2, type: {{.*}}, isLocal: false, isDefinition: true, scopeLine: 2, isOptimized: true, unit: {{.*}}, variables: {{.*}}) + +; --- DILocations +; CHECK-DAG: ![[RET1]] = !DILocation(line: 1, column: 1 +; CHECK-DAG: ![[CALL1]] = !DILocation(line: 2, column: 1 +; CHECK-DAG: ![[ADD1]] = !DILocation(line: 3, column: 1 +; CHECK-DAG: ![[RET2]] = !DILocation(line: 4, column: 1 + +; --- DILocalVariables +; CHECK-DAG: ![[TY32:.*]] = !DIBasicType(name: "ty32", size: 32, encoding: DW_ATE_unsigned) +; CHECK-DAG: !DILocalVariable(name: "1", scope: {{.*}}, file: {{.*}}, line: 3, type: ![[TY32]]) + +; --- Metadata counts +; CHECK-DAG: ![[NUM_INSTS]] = !{i32 4} +; CHECK-DAG: ![[NUM_VARS]] = !{i32 1} + +; --- Repeat case +; CHECK-REPEAT: Debugify: Skipping module with debug info + +; --- Failure case +; CHECK-FAIL: ERROR: Instruction with empty DebugLoc -- ret void +; CHECK-FAIL: ERROR: Instruction with empty DebugLoc -- call void @foo() +; CHECK-FAIL: ERROR: Instruction with empty DebugLoc -- {{.*}} add i32 0, 1 +; CHECK-FAIL: ERROR: Instruction with empty DebugLoc -- ret i32 0 +; CHECK-FAIL: WARNING: Missing line 1 +; CHECK-FAIL: WARNING: Missing line 2 +; CHECK-FAIL: WARNING: Missing line 3 +; CHECK-FAIL: WARNING: Missing line 4 +; CHECK-FAIL: ERROR: Missing variable 1 +; CHECK-FAIL: CheckDebugify: FAIL diff --git a/llvm/test/Transforms/Mem2Reg/PromoteMemToRegister.ll b/llvm/test/Transforms/Mem2Reg/PromoteMemToRegister.ll index b7f39947afb..a15be3854db 100644 --- a/llvm/test/Transforms/Mem2Reg/PromoteMemToRegister.ll +++ b/llvm/test/Transforms/Mem2Reg/PromoteMemToRegister.ll @@ -1,5 +1,8 @@ ; Simple sanity check testcase. Both alloca's should be eliminated. -; RUN: opt < %s -mem2reg -S | not grep alloca +; RUN: opt < %s -debugify -mem2reg -check-debugify -S | FileCheck %s + +; CHECK-NOT: alloca +; CHECK: CheckDebugify: PASS define double @testfunc(i32 %i, double %j) { %I = alloca i32 ; <i32*> [#uses=4] |
