1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
// RUN: not mlir-opt %s -split-input-file 2>&1 | FileCheck %s
// This test is in a separate file because the location tracking of verify
// diagnostics does not work for unknown locations.
#di_file = #llvm.di_file<"file.cpp" in "/folder/">
#di_compile_unit = #llvm.di_compile_unit<
id = distinct[0]<>, sourceLanguage = DW_LANG_C_plus_plus_14,
file = #di_file, isOptimized = true, emissionKind = Full
>
#di_subprogram = #llvm.di_subprogram<
compileUnit = #di_compile_unit, scope = #di_file,
name = "missing_debug_loc", file = #di_file,
subprogramFlags = "Definition|Optimized"
>
#di_subprogram1 = #llvm.di_subprogram<
compileUnit = #di_compile_unit, scope = #di_file,
name = "invalid_call_debug_locs", file = #di_file,
subprogramFlags = "Definition|Optimized"
>
#loc = loc(unknown)
#loc1 = loc("file.cpp":24:0)
#loc2 = loc(fused<#di_subprogram>[#loc1])
#loc3 = loc("file.cpp":42:0)
#loc4 = loc(fused<#di_subprogram1>[#loc3])
llvm.func @missing_debug_loc() {
llvm.return
} loc(#loc2)
llvm.func @invalid_call_debug_locs() {
// CHECK: <unknown>:0: error: inlinable function call in a function with a DISubprogram location must have a debug location
llvm.call @missing_debug_loc() : () -> () loc(#loc)
llvm.return
} loc(#loc4)
|
