| Valentin Clement | b8535b5 | 2022-08-18 18:21:21 | [diff] [blame] | 1 | // RUN: fir-opt --target-rewrite="target=x86_64-unknown-linux-gnu" %s | FileCheck %s |
| 2 | |
| Valentin Clement | 5dbeb2c | 2022-08-19 06:40:09 | [diff] [blame] | 3 | // Test with an argument shift. |
| 4 | |
| jeanPerier | c4204c0 | 2024-10-03 15:10:57 | [diff] [blame] | 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"} |
| Valentin Clement | b8535b5 | 2022-08-18 18:21:21 | [diff] [blame] | 7 | %c2_i32 = arith.constant 2 : i32 |
| 8 | %1 = fir.convert %c2_i32 : (i32) -> f128 |
| 9 | %cst = arith.constant 0.000000e+00 : f128 |
| jeanPerier | c4204c0 | 2024-10-03 15:10:57 | [diff] [blame] | 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> |
| Valentin Clement | b8535b5 | 2022-08-18 18:21:21 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | // CHECK-LABEL: func.func @_QFPf |
| jeanPerier | c4204c0 | 2024-10-03 15:10:57 | [diff] [blame] | 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}) { |
| Valentin Clement | 5dbeb2c | 2022-08-19 06:40:09 | [diff] [blame] | 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}) |
