flang/test/Fir/declare-codegen.fir

   1 // Test rewrite of fir.declare. The result is replaced by the memref operand.
   2 // RUN: fir-opt --cg-rewrite="preserve-declare=true" %s -o - | FileCheck %s --check-prefixes DECL
   3 // RUN: fir-opt --cg-rewrite="preserve-declare=false" %s -o - | FileCheck %s --check-prefixes NODECL
   4 // RUN: fir-opt --cg-rewrite %s -o - | FileCheck %s --check-prefixes NODECL
   5
   6
   7 func.func @test(%arg0: !fir.ref<!fir.array<12x23xi32>>) {
   8   %c-1 = arith.constant -1 : index
   9   %c12 = arith.constant 12 : index
  10   %c-2 = arith.constant -2 : index
  11   %c23 = arith.constant 23 : index
  12   %0 = fir.shape_shift %c12, %c-1, %c23, %c-2 : (index, index, index, index) -> !fir.shapeshift<2>
  13   %1 = fir.declare %arg0(%0) {uniq_name = "_QFarray_numeric_lboundsEx"} : (!fir.ref<!fir.array<12x23xi32>>, !fir.shapeshift<2>) -> !fir.ref<!fir.array<12x23xi32>>
  14   fir.call @bar(%1) : (!fir.ref<!fir.array<12x23xi32>>) -> ()
  15   return
  16 }
  17 func.func private @bar(%arg0: !fir.ref<!fir.array<12x23xi32>>)
  18
  19
  20 // NODECL-LABEL: func.func @test(
  21 // NODECL-SAME: %[[arg0:.*]]: !fir.ref<!fir.array<12x23xi32>>) {
  22 // NODECL-NEXT: fir.call @bar(%[[arg0]]) : (!fir.ref<!fir.array<12x23xi32>>) -> ()
  23
  24 // DECL-LABEL: func.func @test(
  25 // DECL-SAME: %[[arg0:.*]]: !fir.ref<!fir.array<12x23xi32>>) {
  26 // DECL: fircg.ext_declare
  27
  28
  29 func.func @useless_shape_with_duplicate_extent_operand(%arg0: !fir.ref<!fir.array<3x3xf32>>) {
  30   %c3 = arith.constant 3 : index
  31   %1 = fir.shape %c3, %c3 : (index, index) -> !fir.shape<2>
  32   %2 = fir.declare %arg0(%1) {uniq_name = "u"} : (!fir.ref<!fir.array<3x3xf32>>, !fir.shape<2>) -> !fir.ref<!fir.array<3x3xf32>>
  33   return
  34 }
  35
  36 // NODECL-LABEL: func.func @useless_shape_with_duplicate_extent_operand(
  37 // NODECL-NEXT: return
  38
  39 // DECL-LABEL: func.func @useless_shape_with_duplicate_extent_operand(
  40 // DECL: fircg.ext_declare
  41
  42 // Test DCE does not crash because of unreachable code.
  43 func.func @unreachable_code(%arg0: !fir.ref<!fir.char<1,10>>) {
  44   %c10 = arith.constant 10 : index
  45   %2 = fir.declare %arg0 typeparams %c10 {uniq_name = "live_code"} : (!fir.ref<!fir.char<1,10>>, index) -> (!fir.ref<!fir.char<1,10>>)
  46   return
  47 ^bb2:  // no predecessors
  48   %3 = fir.declare %arg0 typeparams %c10 {uniq_name = "dead_code"} : (!fir.ref<!fir.char<1,10>>, index) -> (!fir.ref<!fir.char<1,10>>)
  49   fir.unreachable
  50 }
  51 // NODECL-LABEL:   func.func @unreachable_code(
  52 // NODECL-NOT:       uniq_name = "live_code"
  53 // DECL-LABEL:    func.func @unreachable_code(
  54 // DECL:             uniq_name = "live_code"