1189cb7dfSjeanPerier! Test GET_ENVIRONMENT_VARIABLE with dynamically optional arguments. 2*f35f863aSjeanPerier! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s 3189cb7dfSjeanPerier 4189cb7dfSjeanPerier 5189cb7dfSjeanPerier! CHECK-LABEL: func @_QPtest( 648b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_0:.*]]: !fir.boxchar<1> {fir.bindc_name = "name", fir.optional}, 748b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_1:.*]]: !fir.boxchar<1> {fir.bindc_name = "value", fir.optional}, 848b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_2:.*]]: !fir.ref<i32> {fir.bindc_name = "length", fir.optional}, 948b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_3:.*]]: !fir.ref<i32> {fir.bindc_name = "status", fir.optional}, 1048b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_4:.*]]: !fir.ref<!fir.logical<4>> {fir.bindc_name = "trim_name", fir.optional}, 1148b5a06dSLeandro Lupori! CHECK-SAME: %[[ARG_5:.*]]: !fir.boxchar<1> {fir.bindc_name = "errmsg", fir.optional}) { 12189cb7dfSjeanPeriersubroutine test(name, value, length, status, trim_name, errmsg) 13189cb7dfSjeanPerier integer, optional :: status, length 14189cb7dfSjeanPerier character(*), optional :: name, value, errmsg 15189cb7dfSjeanPerier logical, optional :: trim_name 1648b5a06dSLeandro Lupori ! Note: name is not optional in get_environment_variable and must be present 17189cb7dfSjeanPerier call get_environment_variable(name, value, length, status, trim_name, errmsg) 1848b5a06dSLeandro Lupori! CHECK: %[[VAL_0:.*]]:2 = fir.unboxchar %[[ARG_5]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index) 1948b5a06dSLeandro Lupori! CHECK: %[[VAL_1:.*]]:2 = fir.unboxchar %[[ARG_0]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index) 2048b5a06dSLeandro Lupori! CHECK: %[[VAL_2:.*]]:2 = fir.unboxchar %[[ARG_1]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index) 2148b5a06dSLeandro Lupori! CHECK: %[[VAL_3:.*]] = fir.embox %[[VAL_1]]#0 typeparams %[[VAL_1]]#1 : (!fir.ref<!fir.char<1,?>>, index) -> !fir.box<!fir.char<1,?>> 2248b5a06dSLeandro Lupori! CHECK: %[[VAL_4:.*]] = fir.is_present %[[VAL_2]]#0 : (!fir.ref<!fir.char<1,?>>) -> i1 2348b5a06dSLeandro Lupori! CHECK: %[[VAL_5:.*]] = fir.embox %[[VAL_2]]#0 typeparams %[[VAL_2]]#1 : (!fir.ref<!fir.char<1,?>>, index) -> !fir.box<!fir.char<1,?>> 2448b5a06dSLeandro Lupori! CHECK: %[[VAL_6:.*]] = fir.absent !fir.box<!fir.char<1,?>> 2548b5a06dSLeandro Lupori! CHECK: %[[VAL_7:.*]] = arith.select %[[VAL_4]], %[[VAL_5]], %[[VAL_6]] : !fir.box<!fir.char<1,?>> 2648b5a06dSLeandro Lupori! CHECK: %[[VAL_8:.*]] = fir.is_present %[[ARG_2]] : (!fir.ref<i32>) -> i1 2748b5a06dSLeandro Lupori! CHECK: %[[VAL_9:.*]] = fir.embox %[[ARG_2]] : (!fir.ref<i32>) -> !fir.box<i32> 2848b5a06dSLeandro Lupori! CHECK: %[[VAL_10:.*]] = fir.absent !fir.box<i32> 2948b5a06dSLeandro Lupori! CHECK: %[[VAL_11:.*]] = arith.select %[[VAL_8]], %[[VAL_9]], %[[VAL_10]] : !fir.box<i32> 3048b5a06dSLeandro Lupori! CHECK: %[[VAL_12:.*]] = fir.is_present %[[VAL_0]]#0 : (!fir.ref<!fir.char<1,?>>) -> i1 3148b5a06dSLeandro Lupori! CHECK: %[[VAL_13:.*]] = fir.embox %[[VAL_0]]#0 typeparams %[[VAL_0]]#1 : (!fir.ref<!fir.char<1,?>>, index) -> !fir.box<!fir.char<1,?>> 3248b5a06dSLeandro Lupori! CHECK: %[[VAL_14:.*]] = fir.absent !fir.box<!fir.char<1,?>> 3348b5a06dSLeandro Lupori! CHECK: %[[VAL_15:.*]] = arith.select %[[VAL_12]], %[[VAL_13]], %[[VAL_14]] : !fir.box<!fir.char<1,?>> 3448b5a06dSLeandro Lupori! CHECK: %[[VAL_16:.*]] = fir.convert %[[ARG_4]] : (!fir.ref<!fir.logical<4>>) -> i64 3548b5a06dSLeandro Lupori! CHECK: %[[CONST_0:.*]] = arith.constant 0 : i64 3648b5a06dSLeandro Lupori! CHECK: %[[VAL_17:.*]] = arith.cmpi ne, %[[VAL_16]], %[[CONST_0]] : i64 3748b5a06dSLeandro Lupori! CHECK: %[[VAL_18:.*]] = fir.if %[[VAL_17]] -> (i1) { 3848b5a06dSLeandro Lupori! CHECK: %[[VAL_28:.*]] = fir.load %[[ARG_4]] : !fir.ref<!fir.logical<4>> 3948b5a06dSLeandro Lupori! CHECK: %[[VAL_29:.*]] = fir.convert %[[VAL_28]] : (!fir.logical<4>) -> i1 4048b5a06dSLeandro Lupori! CHECK: fir.result %[[VAL_29]] : i1 41189cb7dfSjeanPerier! CHECK: } else { 4248b5a06dSLeandro Lupori! CHECK: %[[CONST_1:.*]] = arith.constant true 4348b5a06dSLeandro Lupori! CHECK: fir.result %[[CONST_1]] : i1 44189cb7dfSjeanPerier! CHECK: } 4548b5a06dSLeandro Lupori! CHECK: %[[VAL_20:.*]] = fir.convert %[[VAL_3]] : (!fir.box<!fir.char<1,?>>) -> !fir.box<none> 4648b5a06dSLeandro Lupori! CHECK: %[[VAL_21:.*]] = fir.convert %[[VAL_7]] : (!fir.box<!fir.char<1,?>>) -> !fir.box<none> 4748b5a06dSLeandro Lupori! CHECK: %[[VAL_22:.*]] = fir.convert %[[VAL_11]] : (!fir.box<i32>) -> !fir.box<none> 4848b5a06dSLeandro Lupori! CHECK: %[[VAL_23:.*]] = fir.convert %[[VAL_15]] : (!fir.box<!fir.char<1,?>>) -> !fir.box<none> 4948b5a06dSLeandro Lupori! CHECK: %[[VAL_25:.*]] = fir.call @_FortranAGetEnvVariable(%[[VAL_20]], %[[VAL_21]], %[[VAL_22]], %[[VAL_18]], %[[VAL_23]], %{{.*}}, %{{.*}}) {{.*}}: (!fir.box<none>, !fir.box<none>, !fir.box<none>, i1, !fir.box<none>, !fir.ref<i8>, i32) -> i32 5048b5a06dSLeandro Lupori! CHECK: %[[VAL_26:.*]] = fir.convert %[[ARG_3]] : (!fir.ref<i32>) -> i64 5148b5a06dSLeandro Lupori! CHECK: %[[CONST_2:.*]] = arith.constant 0 : i64 5248b5a06dSLeandro Lupori! CHECK: %[[VAL_27:.*]] = arith.cmpi ne, %[[VAL_26]], %[[CONST_2]] : i64 5348b5a06dSLeandro Lupori! CHECK: fir.if %[[VAL_27]] { 5448b5a06dSLeandro Lupori! CHECK: fir.store %[[VAL_25]] to %[[ARG_3]] : !fir.ref<i32> 55189cb7dfSjeanPerier! CHECK: } 56189cb7dfSjeanPerierend subroutine 57