43 lines · plain
1// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s | FileCheck %s2 3 4module {5 fir.global @_QMhelperEgli : i32 {6 %0 = fir.zero_bits i327 fir.has_value %0 : i328 } loc(#loc1)9 fir.global @_QMhelperEglr : f32 {10 %0 = fir.zero_bits f3211 fir.has_value %0 : f3212 } loc(#loc2)13 func.func @_QMhelperPtest() {14 %c67_i32 = arith.constant 67 : i3215 %cst = arith.constant 1.234000e+01 : f3216 %0 = fir.address_of(@_QMhelperEgli) : !fir.ref<i32>17 %1 = fir.address_of(@_QMhelperEglr) : !fir.ref<f32>18 fir.store %cst to %1 : !fir.ref<f32>19 fir.store %c67_i32 to %0 : !fir.ref<i32>20 return21 } loc(#loc3)22}23#loc1 = loc("test.f90":12:11)24#loc2 = loc("test.f90":15:8)25#loc3 = loc("test.f90":20:5)26 27// CHECK-DAG: #[[I4:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "integer", sizeInBits = 32, encoding = DW_ATE_signed>28// CHECK-DAG: #[[R4:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "real", sizeInBits = 32, encoding = DW_ATE_float>29// CHECK-DAG: #[[CU:.*]] = #llvm.di_compile_unit<{{.*}}>30// CHECK-DAG: #[[MOD:.*]] = #llvm.di_module<{{.*}}scope = #[[CU]], name = "helper"{{.*}}>31// CHECK-DAG: #[[LOC1:.*]] = loc("{{.*}}test.f90":12{{.*}})32// CHECK-DAG: #[[GLI:.*]] = #llvm.di_global_variable<scope = #[[MOD]], name = "gli", linkageName = "_QMhelperEgli"{{.*}}line = 12, type = #[[I4]], isDefined = true>33// CHECK-DAG: #[[GLIE:.*]] = #llvm.di_global_variable_expression<var = #[[GLI]]>34// CHECK-DAG: #[[LOC2:.*]] = loc("{{.*}}test.f90":15{{.*}})35// CHECK-DAG: #[[GLR:.*]] = #llvm.di_global_variable<scope = #[[MOD]], name = "glr", linkageName = "_QMhelperEglr"{{.*}}line = 15, type = #[[R4]], isDefined = true>36// CHECK-DAG: #[[GLRE:.*]] = #llvm.di_global_variable_expression<var = #[[GLR]]>37// CHECK-DAG: #[[LOC3:.*]] = loc("{{.*}}test.f90":20{{.*}})38// CHECK-DAG: #[[TEST:.*]] = #llvm.di_subprogram<{{.*}}compileUnit = #[[CU]], scope = #[[MOD]], name = "test", linkageName = "_QMhelperPtest"{{.*}}line = 20, scopeLine = 20{{.*}}>39// CHECK-DAG: loc(fused<[#[[GLIE]]]>[#[[LOC1]]])40// CHECK-DAG: loc(fused<[#[[GLRE]]]>[#[[LOC2]]])41// CHECK-DAG: loc(fused<#[[TEST]]>[#[[LOC3]]])42 43