70 lines · plain
1! Test lowering of intrinsic conversions to HLFIR2! RUN: bbc -emit-hlfir -o - %s 2>&1 | FileCheck %s3 4subroutine test5 integer(4) :: i46 integer(8) :: i87 real(4) :: r48 real(8) :: r89 complex(4) :: z410 complex(8) :: z811 12 logical(4) :: l413 logical(8) :: l814 15 i4 = i816! CHECK: fir.convert %{{.*}} : (i64) -> i3217 i4 = r418! CHECK: fir.convert %{{.*}} : (f32) -> i3219 i4 = r820! CHECK: fir.convert %{{.*}} : (f64) -> i3221 i4 = z422! CHECK: %[[VAL_23:.*]] = fir.extract_value %{{.*}}, [0 : index] : (complex<f32>) -> f3223! CHECK: fir.convert %[[VAL_23]] : (f32) -> i3224 i4 = z825! CHECK: %[[VAL_26:.*]] = fir.extract_value %{{.*}}, [0 : index] : (complex<f64>) -> f6426! CHECK: fir.convert %[[VAL_26]] : (f64) -> i3227 28 r4 = i429! CHECK: fir.convert %{{.*}} : (i32) -> f3230 r4 = i831! CHECK: fir.convert %{{.*}} : (i64) -> f3232 r4 = r833! CHECK: fir.convert %{{.*}} : (f64) -> f3234 r4 = z435! CHECK: fir.extract_value %{{.*}}, [0 : index] : (complex<f32>) -> f3236 r4 = z837! CHECK: %[[VAL_36:.*]] = fir.load %{{.*}} : !fir.ref<complex<f64>>38! CHECK: %[[VAL_37:.*]] = fir.extract_value %[[VAL_36]], [0 : index] : (complex<f64>) -> f6439! CHECK: fir.convert %[[VAL_37]] : (f64) -> f3240 41 z4 = i442! CHECK: %[[VAL_40:.*]] = fir.convert %{{.*}} : (i32) -> f3243! CHECK: %[[VAL_41:.*]] = arith.constant 0.000000e+00 : f3244! CHECK: %[[VAL_42:.*]] = fir.undefined complex<f32>45! CHECK: %[[VAL_43:.*]] = fir.insert_value %[[VAL_42]], %[[VAL_40]], [0 : index] : (complex<f32>, f32) -> complex<f32>46! CHECK: fir.insert_value %[[VAL_43]], %[[VAL_41]], [1 : index] : (complex<f32>, f32) -> complex<f32>47 z4 = i848! CHECK: %[[VAL_46:.*]] = fir.convert %{{.*}} : (i64) -> f3249! CHECK: %[[VAL_47:.*]] = arith.constant 0.000000e+00 : f3250! CHECK: %[[VAL_48:.*]] = fir.undefined complex<f32>51! CHECK: %[[VAL_49:.*]] = fir.insert_value %[[VAL_48]], %[[VAL_46]], [0 : index] : (complex<f32>, f32) -> complex<f32>52! CHECK: fir.insert_value %[[VAL_49]], %[[VAL_47]], [1 : index] : (complex<f32>, f32) -> complex<f32>53 z4 = r454! CHECK: %[[VAL_52:.*]] = arith.constant 0.000000e+00 : f3255! CHECK: %[[VAL_53:.*]] = fir.undefined complex<f32>56! CHECK: %[[VAL_54:.*]] = fir.insert_value %[[VAL_53]], %{{.*}}, [0 : index] : (complex<f32>, f32) -> complex<f32>57! CHECK: fir.insert_value %[[VAL_54]], %[[VAL_52]], [1 : index] : (complex<f32>, f32) -> complex<f32>58 z4 = r859! CHECK: %[[VAL_57:.*]] = fir.convert %{{.*}} : (f64) -> f3260! CHECK: %[[VAL_58:.*]] = arith.constant 0.000000e+00 : f3261! CHECK: %[[VAL_59:.*]] = fir.undefined complex<f32>62! CHECK: %[[VAL_60:.*]] = fir.insert_value %[[VAL_59]], %[[VAL_57]], [0 : index] : (complex<f32>, f32) -> complex<f32>63! CHECK: fir.insert_value %[[VAL_60]], %[[VAL_58]], [1 : index] : (complex<f32>, f32) -> complex<f32>64 z4 = z865! CHECK: fir.convert %{{.*}} : (complex<f64>) -> complex<f32>66 67 l4 = l868! CHECK: fir.convert %{{.*}} : (!fir.logical<8>) -> !fir.logical<4>69end subroutine70