778b85ae03
#167489 did not work properly when MLIR inlining is enabled (experimental in flang, enabled with `-mllvm -inline-all`). The reason is that inlining will cause several `fir.dummy_scope` to coexist inside a same `func.func` (`fir.dummy_scope` of inlined `func.func` are preserved in order to preserve the relationship between arguments of the inlined call for better aliasing deductions). After #167489, the debug info pass creates argument debug info for all fir.declare with a fir.dummy_scope. This causes arguments from inlined calls to appear as argument of the procedure where the call was inlined. To avoid this, only consider that fir.declare are arguments of the current function if their fir.dummy_scope is the first one created in the function (fir.dummy_scope cannot be reorder because they have write effects to the debug memory ressource, and the fir.dummy_scope of the current functions is always emitted before any calls are lowered, so before any fir.dummy_scope are inlined).
37 lines
2.2 KiB
Plaintext
37 lines
2.2 KiB
Plaintext
// Tests that inlined calls arguments are not mistaken for the arguments of the
|
|
// procedure where the calls were inlined.
|
|
// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s -o - | FileCheck %s
|
|
|
|
// CHECK: #di_local_variable = #llvm.di_local_variable<scope = #di_subprogram, name = "i", file = #di_file, line = 6, arg = 1, type = #di_basic_type>
|
|
// CHECK: #di_local_variable1 = #llvm.di_local_variable<scope = #di_subprogram, name = "i", file = #di_file, line = 1, type = #di_basic_type>
|
|
|
|
func.func @foo_(%arg0: !fir.ref<i32> {fir.bindc_name = "i"} loc("debug-dummy-argument-inline.f90":5:1)) attributes {fir.internal_name = "_QPfoo"} {
|
|
%0 = fir.undefined !fir.dscope loc(#loc5)
|
|
%1 = fircg.ext_declare %arg0 dummy_scope %0 arg 1 {uniq_name = "_QFfooEi"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc6)
|
|
%2 = fir.undefined !fir.dscope loc(#loc11)
|
|
%3 = fircg.ext_declare %1 dummy_scope %2 arg 1 {uniq_name = "_QFbarEi"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc12)
|
|
fir.call @buzz_(%3) fastmath<contract> : (!fir.ref<i32>) -> () loc(#loc13)
|
|
%4 = fir.undefined !fir.dscope loc(#loc14)
|
|
%5 = fircg.ext_declare %1 dummy_scope %4 arg 1 {uniq_name = "_QFbarEi"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc15)
|
|
fir.call @buzz_(%5) fastmath<contract> : (!fir.ref<i32>) -> () loc(#loc16)
|
|
return loc(#loc9)
|
|
} loc(#loc5)
|
|
func.func private @buzz_(!fir.ref<i32>) attributes {fir.internal_name = "_QPbuzz"} loc(#loc10)
|
|
#loc = loc("debug-dummy-argument-inline.f90":0:0)
|
|
#loc1 = loc("debug-dummy-argument-inline.f90":1:1)
|
|
#loc2 = loc("debug-dummy-argument-inline.f90":2:14)
|
|
#loc3 = loc("debug-dummy-argument-inline.f90":3:3)
|
|
#loc4 = loc("debug-dummy-argument-inline.f90":4:1)
|
|
#loc5 = loc("debug-dummy-argument-inline.f90":5:1)
|
|
#loc6 = loc("debug-dummy-argument-inline.f90":6:14)
|
|
#loc7 = loc("debug-dummy-argument-inline.f90":7:3)
|
|
#loc8 = loc("debug-dummy-argument-inline.f90":8:3)
|
|
#loc9 = loc("debug-dummy-argument-inline.f90":9:1)
|
|
#loc10 = loc("debug-dummy-argument-inline.f90":3:8)
|
|
#loc11 = loc(callsite(#loc1 at #loc7))
|
|
#loc12 = loc(callsite(#loc2 at #loc7))
|
|
#loc13 = loc(callsite(#loc3 at #loc7))
|
|
#loc14 = loc(callsite(#loc1 at #loc8))
|
|
#loc15 = loc(callsite(#loc2 at #loc8))
|
|
#loc16 = loc(callsite(#loc3 at #loc8))
|