flang/test/Fir/target-rewrite-arg-position.fir

   1 // RUN: fir-opt --target-rewrite="target=x86_64-unknown-linux-gnu" %s | FileCheck %s
   2
   3 // Test with an argument shift.
   4
   5 func.func @_QFPf(%arg0: !fir.ref<tuple<!fir.ref<i32>>> {fir.host_assoc}) -> complex<f128> {
   6   %0 = fir.alloca complex<f128> {bindc_name = "f", uniq_name = "_QFfEf"}
   7   %c2_i32 = arith.constant 2 : i32
   8   %1 = fir.convert %c2_i32 : (i32) -> f128
   9   %cst = arith.constant 0.000000e+00 : f128
  10   %2 = fir.undefined complex<f128>
  11   %3 = fir.insert_value %2, %1, [0 : index] : (complex<f128>, f128) -> complex<f128>
  12   %4 = fir.insert_value %3, %cst, [1 : index] : (complex<f128>, f128) -> complex<f128>
  13   fir.store %4 to %0 : !fir.ref<complex<f128>>
  14   %5 = fir.load %0 : !fir.ref<complex<f128>>
  15   return %5 : complex<f128>
  16 }
  17
  18 // CHECK-LABEL: func.func @_QFPf
  19 // CHECK-SAME:    %{{.*}}: !fir.ref<tuple<f128, f128>> {llvm.align = 16 : i32, llvm.sret = tuple<f128, f128>}, %arg1: !fir.ref<tuple<!fir.ref<i32>>> {fir.host_assoc, llvm.nest}) {
  20
  21 // -----
  22
  23 // Test with no shift.
  24
  25 func.func @_QFPs(%arg0: !fir.ref<i32> {fir.host_assoc}) {
  26   return
  27 }
  28
  29 // CHECK: func.func @_QFPs(%arg0: !fir.ref<i32> {fir.host_assoc, llvm.nest})