xref: /llvm-project/flang/test/Fir/convert.fir (revision c4204c0b29a6721267b1bcbaeedd7b1118e42396)
1// RUN: tco --target=x86_64-unknown-linux-gnu %s | FileCheck %s
2
3// CHECK-LABEL: define { double, double } @c(<2 x float> %
4func.func @c(%x : complex<f32>) -> complex<f64> {
5// CHECK: %[[R:.*]] = extractvalue { float, float } %{{.*}}, 0
6// CHECK: %[[I:.*]] = extractvalue { float, float } %{{.*}}, 1
7// CHECK: %[[CR:.*]] = fpext float %[[R]] to double
8// CHECK: %[[CI:.*]] = fpext float %[[I]] to double
9// CHECK: %[[X:.*]] = insertvalue { double, double } undef, double %[[CR]], 0
10// CHECK: insertvalue { double, double } %[[X]], double %[[CI]], 1
11  %1 = fir.convert %x : (complex<f32>) -> complex<f64>
12  return %1 : complex<f64>
13}
14
15func.func @convert_to_llvm_pointer(%x : !fir.llvm_ptr<i32>) -> !llvm.ptr {
16  %0 = fir.convert %x : (!fir.llvm_ptr<i32>) -> !llvm.ptr
17  return %0 : !llvm.ptr
18}
19// CHECK-LABEL: convert_to_llvm_pointer(
20// CHECK-SAME: ptr %[[X:.*]])
21// CHECK-NEXT: ret ptr %[[X]]
22
23func.func @convert_from_llvm_pointer(%x : !llvm.ptr) -> !fir.llvm_ptr<i32> {
24  %0 = fir.convert %x : (!llvm.ptr) -> !fir.llvm_ptr<i32>
25  return %0 : !fir.llvm_ptr<i32>
26}
27// CHECK-LABEL: convert_from_llvm_pointer(
28// CHECK-SAME: ptr %[[X:.*]])
29// CHECK-NEXT: ret ptr %[[X]]
30