whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 1 | /*===-- debuginfo.c - tool for testing libLLVM and llvm-c API -------------===*\ |
| 2 | |* *| |
| 3 | |* The LLVM Compiler Infrastructure *| |
| 4 | |* *| |
| 5 | |* This file is distributed under the University of Illinois Open Source *| |
| 6 | |* License. See LICENSE.TXT for details. *| |
| 7 | |* *| |
| 8 | |*===----------------------------------------------------------------------===*| |
| 9 | |* *| |
| 10 | |* Tests for the LLVM C DebugInfo API *| |
| 11 | |* *| |
| 12 | \*===----------------------------------------------------------------------===*/ |
| 13 | |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 14 | #include "llvm-c-test.h" |
| 15 | #include "llvm-c/Core.h" |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 16 | #include "llvm-c/DebugInfo.h" |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 17 | #include <stdio.h> |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 18 | #include <string.h> |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 19 | |
Galina Kistanova | 5f8c84c | 2017-12-16 02:54:17 +0000 | [diff] [blame] | 20 | int llvm_test_dibuilder(void) { |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 21 | const char *Filename = "debuginfo.c"; |
| 22 | LLVMModuleRef M = LLVMModuleCreateWithName(Filename); |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 23 | LLVMDIBuilderRef DIB = LLVMCreateDIBuilder(M); |
| 24 | |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 25 | LLVMMetadataRef File = LLVMDIBuilderCreateFile(DIB, Filename, |
| 26 | strlen(Filename), ".", 1); |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 27 | |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 28 | LLVMMetadataRef CompileUnit = LLVMDIBuilderCreateCompileUnit(DIB, |
Robert Widmann | b02fe64 | 2018-04-23 13:51:43 +0000 | [diff] [blame] | 29 | LLVMDWARFSourceLanguageC, File, "llvm-c-test", 11, 0, NULL, 0, 0, |
| 30 | NULL, 0, LLVMDWARFEmissionFull, 0, 0, 0); |
| 31 | |
| 32 | LLVMMetadataRef Module = |
| 33 | LLVMDIBuilderCreateModule(DIB, CompileUnit, |
| 34 | "llvm-c-test", 11, |
| 35 | "", 0, |
| 36 | "/test/include/llvm-c-test.h", 27, |
| 37 | "", 0); |
| 38 | |
Robert Widmann | aec494f3 | 2018-04-28 22:32:07 +0000 | [diff] [blame] | 39 | LLVMMetadataRef OtherModule = |
| 40 | LLVMDIBuilderCreateModule(DIB, CompileUnit, |
| 41 | "llvm-c-test-import", 18, |
| 42 | "", 0, |
| 43 | "/test/include/llvm-c-test-import.h", 34, |
| 44 | "", 0); |
| 45 | LLVMMetadataRef ImportedModule = |
| 46 | LLVMDIBuilderCreateImportedModuleFromModule(DIB, Module, OtherModule, |
| 47 | File, 42); |
whitequark | b18cd6d | 2018-04-29 02:01:34 +0000 | [diff] [blame] | 48 | LLVMDIBuilderCreateImportedModuleFromAlias(DIB, Module, ImportedModule, |
| 49 | File, 42); |
Robert Widmann | aec494f3 | 2018-04-28 22:32:07 +0000 | [diff] [blame] | 50 | |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 51 | LLVMMetadataRef Int64Ty = |
| 52 | LLVMDIBuilderCreateBasicType(DIB, "Int64", 5, 64, 0); |
Robert Widmann | 21fc15d | 2018-04-23 22:31:49 +0000 | [diff] [blame] | 53 | LLVMMetadataRef GlobalVarValueExpr = |
| 54 | LLVMDIBuilderCreateConstantValueExpression(DIB, 0); |
| 55 | LLVMDIBuilderCreateGlobalVariableExpression(DIB, Module, "global", 6, |
| 56 | "", 0, File, 1, Int64Ty, |
| 57 | true, GlobalVarValueExpr, |
| 58 | NULL, 0); |
| 59 | |
| 60 | LLVMMetadataRef NameSpace = |
| 61 | LLVMDIBuilderCreateNameSpace(DIB, Module, "NameSpace", 9, false); |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 62 | |
| 63 | LLVMMetadataRef StructDbgElts[] = {Int64Ty, Int64Ty, Int64Ty}; |
| 64 | LLVMMetadataRef StructDbgTy = |
Robert Widmann | b02fe64 | 2018-04-23 13:51:43 +0000 | [diff] [blame] | 65 | LLVMDIBuilderCreateStructType(DIB, NameSpace, "MyStruct", |
Harlan Haskins | b7881bb | 2018-04-02 00:17:40 +0000 | [diff] [blame] | 66 | 8, File, 0, 192, 0, 0, NULL, StructDbgElts, 3, |
| 67 | LLVMDWARFSourceLanguageC, NULL, "MyStruct", 8); |
| 68 | |
| 69 | LLVMMetadataRef StructDbgPtrTy = |
| 70 | LLVMDIBuilderCreatePointerType(DIB, StructDbgTy, 192, 0, 0, "", 0); |
| 71 | |
| 72 | LLVMAddNamedMetadataOperand(M, "FooType", |
| 73 | LLVMMetadataAsValue(LLVMGetModuleContext(M), StructDbgPtrTy)); |
| 74 | |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 75 | |
Robert Widmann | 6978db7 | 2018-04-23 14:29:33 +0000 | [diff] [blame] | 76 | LLVMTypeRef FooParamTys[] = { |
| 77 | LLVMInt64Type(), |
| 78 | LLVMInt64Type(), |
| 79 | LLVMVectorType(LLVMInt64Type(), 10), |
| 80 | }; |
| 81 | LLVMTypeRef FooFuncTy = LLVMFunctionType(LLVMInt64Type(), FooParamTys, 3, 0); |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 82 | LLVMValueRef FooFunction = LLVMAddFunction(M, "foo", FooFuncTy); |
Robert Widmann | 12e367b | 2018-04-22 19:24:44 +0000 | [diff] [blame] | 83 | LLVMBasicBlockRef FooEntryBlock = LLVMAppendBasicBlock(FooFunction, "entry"); |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 84 | |
Robert Widmann | 6978db7 | 2018-04-23 14:29:33 +0000 | [diff] [blame] | 85 | LLVMMetadataRef Subscripts[] = { |
| 86 | LLVMDIBuilderGetOrCreateSubrange(DIB, 0, 10), |
| 87 | }; |
| 88 | LLVMMetadataRef VectorTy = |
| 89 | LLVMDIBuilderCreateVectorType(DIB, 64 * 10, 0, |
| 90 | Int64Ty, Subscripts, 1); |
| 91 | |
| 92 | |
| 93 | LLVMMetadataRef ParamTypes[] = {Int64Ty, Int64Ty, VectorTy}; |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 94 | LLVMMetadataRef FunctionTy = |
Robert Widmann | 6978db7 | 2018-04-23 14:29:33 +0000 | [diff] [blame] | 95 | LLVMDIBuilderCreateSubroutineType(DIB, File, ParamTypes, 3, 0); |
Robert Widmann | a428eba | 2018-05-10 18:09:53 +0000 | [diff] [blame] | 96 | |
| 97 | LLVMMetadataRef ReplaceableFunctionMetadata = |
| 98 | LLVMDIBuilderCreateReplaceableCompositeType(DIB, 0x15, "foo", 3, |
| 99 | File, File, 42, |
| 100 | 0, 0, 0, |
| 101 | LLVMDIFlagFwdDecl, |
| 102 | "", 0); |
| 103 | |
| 104 | LLVMMetadataRef FooParamLocation = |
| 105 | LLVMDIBuilderCreateDebugLocation(LLVMGetGlobalContext(), 42, 0, |
| 106 | ReplaceableFunctionMetadata, NULL); |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 107 | LLVMMetadataRef FunctionMetadata = |
| 108 | LLVMDIBuilderCreateFunction(DIB, File, "foo", 3, "foo", 3, |
| 109 | File, 42, FunctionTy, true, true, |
| 110 | 42, 0, false); |
Robert Widmann | a428eba | 2018-05-10 18:09:53 +0000 | [diff] [blame] | 111 | LLVMMetadataReplaceAllUsesWith(ReplaceableFunctionMetadata, FunctionMetadata); |
Robert Widmann | 6978db7 | 2018-04-23 14:29:33 +0000 | [diff] [blame] | 112 | |
Robert Widmann | 12e367b | 2018-04-22 19:24:44 +0000 | [diff] [blame] | 113 | LLVMMetadataRef FooParamExpression = |
| 114 | LLVMDIBuilderCreateExpression(DIB, NULL, 0); |
| 115 | LLVMMetadataRef FooParamVar1 = |
| 116 | LLVMDIBuilderCreateParameterVariable(DIB, FunctionMetadata, "a", 1, 1, File, |
| 117 | 42, Int64Ty, true, 0); |
| 118 | LLVMDIBuilderInsertDeclareAtEnd(DIB, LLVMConstInt(LLVMInt64Type(), 0, false), |
| 119 | FooParamVar1, FooParamExpression, |
| 120 | FooParamLocation, FooEntryBlock); |
| 121 | LLVMMetadataRef FooParamVar2 = |
| 122 | LLVMDIBuilderCreateParameterVariable(DIB, FunctionMetadata, "b", 1, 2, File, |
| 123 | 42, Int64Ty, true, 0); |
| 124 | LLVMDIBuilderInsertDeclareAtEnd(DIB, LLVMConstInt(LLVMInt64Type(), 0, false), |
| 125 | FooParamVar2, FooParamExpression, |
| 126 | FooParamLocation, FooEntryBlock); |
Robert Widmann | 6978db7 | 2018-04-23 14:29:33 +0000 | [diff] [blame] | 127 | LLVMMetadataRef FooParamVar3 = |
| 128 | LLVMDIBuilderCreateParameterVariable(DIB, FunctionMetadata, "c", 1, 3, File, |
| 129 | 42, VectorTy, true, 0); |
| 130 | LLVMDIBuilderInsertDeclareAtEnd(DIB, LLVMConstInt(LLVMInt64Type(), 0, false), |
| 131 | FooParamVar3, FooParamExpression, |
| 132 | FooParamLocation, FooEntryBlock); |
| 133 | |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 134 | LLVMSetSubprogram(FooFunction, FunctionMetadata); |
| 135 | |
| 136 | LLVMMetadataRef FooLexicalBlock = |
| 137 | LLVMDIBuilderCreateLexicalBlock(DIB, FunctionMetadata, File, 42, 0); |
| 138 | |
Robert Widmann | 21fc15d | 2018-04-23 22:31:49 +0000 | [diff] [blame] | 139 | LLVMBasicBlockRef FooVarBlock = LLVMAppendBasicBlock(FooFunction, "vars"); |
| 140 | LLVMMetadataRef FooVarsLocation = |
| 141 | LLVMDIBuilderCreateDebugLocation(LLVMGetGlobalContext(), 43, 0, |
| 142 | FunctionMetadata, NULL); |
| 143 | LLVMMetadataRef FooVar1 = |
| 144 | LLVMDIBuilderCreateAutoVariable(DIB, FooLexicalBlock, "d", 1, File, |
| 145 | 43, Int64Ty, true, 0, 0); |
| 146 | LLVMValueRef FooVal1 = LLVMConstInt(LLVMInt64Type(), 0, false); |
| 147 | LLVMMetadataRef FooVarValueExpr = |
| 148 | LLVMDIBuilderCreateConstantValueExpression(DIB, 0); |
| 149 | |
| 150 | LLVMDIBuilderInsertDbgValueAtEnd(DIB, FooVal1, FooVar1, FooVarValueExpr, |
| 151 | FooVarsLocation, FooVarBlock); |
Robert Widmann | f53050f | 2018-04-07 06:07:55 +0000 | [diff] [blame] | 152 | |
| 153 | LLVMDIBuilderFinalize(DIB); |
| 154 | |
whitequark | 789164d | 2017-11-01 22:18:52 +0000 | [diff] [blame] | 155 | char *MStr = LLVMPrintModuleToString(M); |
| 156 | puts(MStr); |
| 157 | LLVMDisposeMessage(MStr); |
| 158 | |
| 159 | LLVMDisposeDIBuilder(DIB); |
| 160 | LLVMDisposeModule(M); |
| 161 | |
| 162 | return 0; |
| 163 | } |