68 lines · plain
1// RUN: fir-opt --constant-argument-globalisation-opt < %s | FileCheck %s2// RUN: %flang_fc1 -emit-llvm -flang-deprecated-no-hlfir -O2 -o - %s | FileCheck --check-prefix=DISABLE %s3module {4 func.func @sub1(%arg0: !fir.ref<i32> {fir.bindc_name = "x"}, %arg1: !fir.ref<i32> {fir.bindc_name = "y"}) {5 %0 = fir.alloca i32 {adapt.valuebyref}6 %1 = fir.alloca f64 {adapt.valuebyref}7 %2 = fir.alloca f64 {adapt.valuebyref}8 %c1_i32 = arith.constant 1 : i329 %cst = arith.constant 1.000000e+00 : f6410 %cst_0 = arith.constant 0.000000e+00 : f6411 %3 = fir.declare %arg0 {uniq_name = "_QFsub1Ex"} : (!fir.ref<i32>) -> !fir.ref<i32>12 %4 = fir.declare %arg1 {uniq_name = "_QFsub1Ey"} : (!fir.ref<i32>) -> !fir.ref<i32>13 fir.store %cst_0 to %2 : !fir.ref<f64>14 %false = arith.constant false15 fir.store %cst to %1 : !fir.ref<f64>16 %false_1 = arith.constant false17 fir.store %c1_i32 to %0 : !fir.ref<i32>18 %false_2 = arith.constant false19 fir.call @sub2(%2, %1, %3, %4, %0) fastmath<contract> : (!fir.ref<f64>, !fir.ref<f64>, !fir.ref<i32>, !fir.ref<i32>, !fir.ref<i32>) -> ()20 return21 }22 func.func private @sub2(!fir.ref<f64>, !fir.ref<f64>, !fir.ref<i32>, !fir.ref<i32>, !fir.ref<i32>)23 24// CHECK-LABEL: func.func @sub1(25// CHECK-SAME: [[ARG0:%.*]]: !fir.ref<i32> {{{.*}}},26// CHECK-SAME: [[ARG1:%.*]]: !fir.ref<i32> {{{.*}}}) {27// CHECK: [[X:%.*]] = fir.declare [[ARG0]] {{.*}}28// CHECK: [[Y:%.*]] = fir.declare [[ARG1]] {{.*}}29// CHECK: [[CONST_R0:%.*]] = fir.address_of([[EXTR_0:@.*]]) : !fir.ref<f64>30// CHECK: [[CONST_R1:%.*]] = fir.address_of([[EXTR_1:@.*]]) : !fir.ref<f64>31// CHECK: [[CONST_I:%.*]] = fir.address_of([[EXTR_2:@.*]]) : !fir.ref<i32>32// CHECK: fir.call @sub2([[CONST_R0]], [[CONST_R1]], [[X]], [[Y]], [[CONST_I]])33// CHECK-SAME: fastmath<contract>34// CHECK: return35 36// CHECK: fir.global internal [[EXTR_0]] constant : f64 {37// CHECK: %{{.*}} = arith.constant 0.000000e+00 : f6438// CHECK: fir.has_value %{{.*}} : f6439// CHECK: }40// CHECK: fir.global internal [[EXTR_1]] constant : f64 {41// CHECK: %{{.*}} = arith.constant 1.000000e+00 : f6442// CHECK: fir.has_value %{{.*}} : f6443// CHECK: }44// CHECK: fir.global internal [[EXTR_2]] constant : i32 {45// CHECK: %{{.*}} = arith.constant 1 : i3246// CHECK: fir.has_value %{{.*}} : i3247// CHECK: }48 49// DISABLE-LABEL: ; ModuleID =50// DISABLE-NOT: @_extruded51// DISABLE: define void @sub1(52// DISABLE-SAME: ptr {{[^%]*}}[[ARG0:%.*]],53// DISABLE-SAME: ptr {{[^%]*}}[[ARG1:%.*]])54// DISABLE-SAME: {55// DISABLE: [[CONST_R0:%.*]] = alloca double56// DISABLE: [[CONST_R1:%.*]] = alloca double57// DISABLE: [[CONST_I:%.*]] = alloca i3258// DISABLE: store double 0.0{{.*}}+00, ptr [[CONST_R0]]59// DISABLE: store double 1.0{{.*}}+00, ptr [[CONST_R1]]60// DISABLE: store i32 1, ptr [[CONST_I]]61// DISABLE: call void @sub2(ptr nonnull [[CONST_R0]],62// DISABLE-SAME: ptr nonnull [[CONST_R1]], 63// DISABLE-SAME: ptr [[ARG0]], ptr [[ARG1]],64// DISABLE-SAME: ptr nonnull [[CONST_I]])65// DISABLE: ret void66// DISABLE: }67}68