flang/test/Fir/target-rewrite-complex-10-x86.fir

   1 // Test COMPLEX(10) passing and returning on X86
   2 // REQUIRES: x86-registered-target
   3 // RUN: fir-opt --target-rewrite="target=x86_64-unknown-linux-gnu" %s | FileCheck %s --check-prefix=AMD64
   4 // RUN: tco -target="x86_64-unknown-linux-gnu" %s | FileCheck %s --check-prefix=AMD64_LLVM
   5
   6 func.func @returncomplex10() -> complex<f80> {
   7   %1 = fir.zero_bits complex<f80>
   8   return %1 : complex<f80>
   9 }
  10 // AMD64-LABEL:   func.func @returncomplex10() -> tuple<f80, f80> {
  11 // AMD64:    %[[VAL_0:.*]] = fir.zero_bits complex<f80>
  12 // AMD64:    %[[VAL_1:.*]] = fir.alloca tuple<f80, f80>
  13 // AMD64:    %[[VAL_2:.*]] = fir.convert %[[VAL_1]] : (!fir.ref<tuple<f80, f80>>) -> !fir.ref<complex<f80>>
  14 // AMD64:    fir.store %[[VAL_0]] to %[[VAL_2]] : !fir.ref<complex<f80>>
  15 // AMD64:    %[[VAL_3:.*]] = fir.load %[[VAL_1]] : !fir.ref<tuple<f80, f80>>
  16 // AMD64:    return %[[VAL_3]] : tuple<f80, f80>
  17
  18 // AMD64_LLVM: define { x86_fp80, x86_fp80 } @returncomplex10()
  19
  20 func.func @takecomplex10(%z: complex<f80>) {
  21   %0 = fir.alloca complex<f80>
  22   fir.store %z to %0 : !fir.ref<complex<f80>>
  23   return
  24 }
  25 // AMD64-LABEL:   func.func @takecomplex10(
  26 // AMD64-SAME:  %[[VAL_0:.*]]: !fir.ref<tuple<f80, f80>> {llvm.align = 16 : i32, llvm.byval = tuple<f80, f80>}) {
  27 // AMD64:    %[[VAL_1:.*]] = fir.convert %[[VAL_0]] : (!fir.ref<tuple<f80, f80>>) -> !fir.ref<complex<f80>>
  28 // AMD64:    %[[VAL_2:.*]] = fir.load %[[VAL_1]] : !fir.ref<complex<f80>>
  29 // AMD64:    %[[VAL_3:.*]] = fir.alloca complex<f80>
  30 // AMD64:    fir.store %[[VAL_2]] to %[[VAL_3]] : !fir.ref<complex<f80>>
  31
  32 // AMD64_LLVM: define void @takecomplex10(ptr nocapture byval({ x86_fp80, x86_fp80 }) align 16 %0)