flang/test/Transforms/debug-107988.fir

   1 // RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s -o - | FileCheck %s
   2
   3 module attributes {dlti.dl_spec = #dlti.dl_spec<>} {
   4   func.func @test(%arg0: !fir.ref<!fir.char<1,?>> {fir.bindc_name = "str"}, %arg1: i64) {
   5     %0 = fir.emboxchar %arg0, %arg1 : (!fir.ref<!fir.char<1,?>>, i64) -> !fir.boxchar<1>
   6     %1 = fir.undefined !fir.dscope
   7     %2:2 = fir.unboxchar %0 : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index)  loc(#loc1)
   8     %3 = fircg.ext_declare %2#0 typeparams %2#1 dummy_scope %1 {uniq_name = "_QFtestEstr"} : (!fir.ref<!fir.char<1,?>>, index, !fir.dscope) -> !fir.ref<!fir.char<1,?>> loc(#loc1)
   9     return
  10   } loc(#loc2)
  11 }
  12
  13 #loc1 = loc("test.f90":5:1)
  14 #loc2 = loc("test.f90":15:1)
  15
  16 // CHECK: #[[VAR:.*]] = #llvm.di_local_variable<{{.*}}name = "._QFtestEstr{{.*}}flags = Artificial>
  17 // CHECK: func.func @test
  18 // CHECK: %[[V1:.*]]:2 = fir.unboxchar{{.*}}
  19 // CHECK: %[[V2:.*]] = fir.convert %[[V1]]#1 : (index) -> i64
  20 // CHECK: llvm.intr.dbg.value #[[VAR]] = %[[V2]] : i64
  21 // CHECK: #[[STR_TY:.*]] = #llvm.di_string_type<tag = DW_TAG_string_type, name = "", stringLength = #[[VAR]], encoding = DW_ATE_ASCII>
  22 // CHECK: #llvm.di_local_variable<{{.*}}name = "str"{{.*}}type = #[[STR_TY]]>
  23