1*fc4b1a30SAbid Qadeer// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s | FileCheck %s 2*fc4b1a30SAbid Qadeer 3*fc4b1a30SAbid Qadeermodule attributes {dlti.dl_spec = #dlti.dl_spec<>} { 4*fc4b1a30SAbid Qadeer func.func @foo_(%arg0: !fir.ref<!fir.array<?x?xi32>> {fir.bindc_name = "a"}, %arg1: !fir.ref<i32> {fir.bindc_name = "n"}, %arg2: !fir.ref<i32> {fir.bindc_name = "m"}, %arg3: !fir.ref<i32> {fir.bindc_name = "p"}) attributes {fir.internal_name = "_QPfoo"} { 5*fc4b1a30SAbid Qadeer %c5_i32 = arith.constant 5 : i32 6*fc4b1a30SAbid Qadeer %c6_i32 = arith.constant 6 : i32 7*fc4b1a30SAbid Qadeer %c2 = arith.constant 2 : index 8*fc4b1a30SAbid Qadeer %c10_i32 = arith.constant 10 : i32 9*fc4b1a30SAbid Qadeer %c0 = arith.constant 0 : index 10*fc4b1a30SAbid Qadeer %c1 = arith.constant 1 : index 11*fc4b1a30SAbid Qadeer %0 = fir.undefined !fir.dscope 12*fc4b1a30SAbid Qadeer %1 = fircg.ext_declare %arg1 dummy_scope %0 {uniq_name = "_QFfooEn"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc2) 13*fc4b1a30SAbid Qadeer %2 = fircg.ext_declare %arg2 dummy_scope %0 {uniq_name = "_QFfooEm"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc3) 14*fc4b1a30SAbid Qadeer %3 = fircg.ext_declare %arg3 dummy_scope %0 {uniq_name = "_QFfooEp"} : (!fir.ref<i32>, !fir.dscope) -> !fir.ref<i32> loc(#loc4) 15*fc4b1a30SAbid Qadeer %4 = fir.load %1 : !fir.ref<i32> 16*fc4b1a30SAbid Qadeer %5 = fir.convert %4 : (i32) -> index 17*fc4b1a30SAbid Qadeer %6 = fir.load %2 : !fir.ref<i32> 18*fc4b1a30SAbid Qadeer %7 = fir.convert %6 : (i32) -> index 19*fc4b1a30SAbid Qadeer %8 = arith.subi %7, %5 : index 20*fc4b1a30SAbid Qadeer %9 = arith.addi %8, %c1 : index 21*fc4b1a30SAbid Qadeer %10 = arith.cmpi sgt, %9, %c0 : index 22*fc4b1a30SAbid Qadeer %11 = arith.select %10, %9, %c0 : index 23*fc4b1a30SAbid Qadeer %12 = fir.load %3 : !fir.ref<i32> 24*fc4b1a30SAbid Qadeer %13 = fir.convert %12 : (i32) -> index 25*fc4b1a30SAbid Qadeer %14 = arith.cmpi sgt, %13, %c0 : index 26*fc4b1a30SAbid Qadeer %15 = arith.select %14, %13, %c0 : index 27*fc4b1a30SAbid Qadeer %16 = fircg.ext_declare %arg0(%11, %15) origin %5, %c1 dummy_scope %0 {uniq_name = "_QFfooEa"} : (!fir.ref<!fir.array<?x?xi32>>, index, index, index, index, !fir.dscope) -> !fir.ref<!fir.array<?x?xi32>> loc(#loc5) 28*fc4b1a30SAbid Qadeer return 29*fc4b1a30SAbid Qadeer } loc(#loc1) 30*fc4b1a30SAbid Qadeer} 31*fc4b1a30SAbid Qadeer 32*fc4b1a30SAbid Qadeer#loc1 = loc("test.f90":5:1) 33*fc4b1a30SAbid Qadeer#loc2 = loc("test.f90":6:11) 34*fc4b1a30SAbid Qadeer#loc3 = loc("test.f90":7:11) 35*fc4b1a30SAbid Qadeer#loc4 = loc("test.f90":2:8) 36*fc4b1a30SAbid Qadeer#loc5 = loc("test.f90":8:11) 37*fc4b1a30SAbid Qadeer 38*fc4b1a30SAbid Qadeer// CHECK-DAG: #[[VAR0:.*]] = #llvm.di_local_variable<{{.*}}name = "._QFfooEa3"{{.*}}flags = Artificial> 39*fc4b1a30SAbid Qadeer// CHECK-DAG: #[[VAR1:.*]] = #llvm.di_local_variable<{{.*}}name = "._QFfooEa1"{{.*}}flags = Artificial> 40*fc4b1a30SAbid Qadeer// CHECK-DAG: #[[VAR2:.*]] = #llvm.di_local_variable<{{.*}}name = "._QFfooEa2"{{.*}}flags = Artificial> 41*fc4b1a30SAbid Qadeer// CHECK-DAG: #llvm.di_composite_type<tag = DW_TAG_array_type{{.*}}elements = #llvm.di_subrange<count = #[[VAR1]], lowerBound = #[[VAR0]]>, #llvm.di_subrange<count = #[[VAR2]]>> 42