53 lines · plain
1! RUN: %flang_fc1 -funsigned -emit-mlir %s -o - | FileCheck %s2 3unsigned function f01(u, v)4 unsigned, intent(in) :: u, v5 f01 = u + v - 1u6end7 8!CHECK: func.func @_QPf01(%[[ARG0:.*]]: !fir.ref<ui32> {fir.bindc_name = "u"}, %[[ARG1:.*]]: !fir.ref<ui32> {fir.bindc_name = "v"}) -> ui32 {9!CHECK: %[[C1_I32:.*]] = arith.constant 1 : i3210!CHECK: %[[VAL_0:.*]] = fir.dummy_scope : !fir.dscope11!CHECK: %[[VAL_1:.*]] = fir.alloca ui32 {bindc_name = "f01", uniq_name = "_QFf01Ef01"}12!CHECK: %[[VAL_2:.*]] = fir.declare %[[VAL_1]] {uniq_name = "_QFf01Ef01"} : (!fir.ref<ui32>) -> !fir.ref<ui32>13!CHECK: %[[VAL_3:.*]] = fir.declare %[[ARG0]] dummy_scope %[[VAL_0]] arg {{[0-9]+}} {fortran_attrs = #fir.var_attrs<intent_in>, uniq_name = "_QFf01Eu"} : (!fir.ref<ui32>, !fir.dscope) -> !fir.ref<ui32>14!CHECK: %[[VAL_4:.*]] = fir.declare %[[ARG1]] dummy_scope %[[VAL_0]] arg {{[0-9]+}} {fortran_attrs = #fir.var_attrs<intent_in>, uniq_name = "_QFf01Ev"} : (!fir.ref<ui32>, !fir.dscope) -> !fir.ref<ui32>15!CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_3]] : !fir.ref<ui32>16!CHECK: %[[VAL_6:.*]] = fir.load %[[VAL_4]] : !fir.ref<ui32>17!CHECK: %[[VAL_7:.*]] = fir.convert %[[VAL_5]] : (ui32) -> i3218!CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_6]] : (ui32) -> i3219!CHECK: %[[VAL_9:.*]] = arith.addi %[[VAL_7]], %[[VAL_8]] : i3220!CHECK: %[[VAL_10:.*]] = fir.convert %[[VAL_9]] : (i32) -> ui3221!CHECK: %[[VAL_11:.*]] = fir.convert %[[VAL_10]] : (ui32) -> i3222!CHECK: %[[VAL_12:.*]] = arith.subi %[[VAL_11]], %[[C1_I32]] : i3223!CHECK: %[[VAL_13:.*]] = fir.convert %[[VAL_12]] : (i32) -> ui3224!CHECK: fir.store %[[VAL_13]] to %[[VAL_2]] : !fir.ref<ui32>25!CHECK: %[[VAL_14:.*]] = fir.load %[[VAL_2]] : !fir.ref<ui32>26!CHECK: return %[[VAL_14]] : ui3227 28unsigned function f02(u, v)29 unsigned, intent(in) :: u, v30 f02 = u ** v - 1u31end32 33!CHECK: func.func @_QPf02(%[[ARG0:.*]]: !fir.ref<ui32> {fir.bindc_name = "u"}, %[[ARG1:.*]]: !fir.ref<ui32> {fir.bindc_name = "v"}) -> ui32 {34!CHECK: %[[C1_i32:.*]] = arith.constant 1 : i3235!CHECK: %[[VAL_0:.*]] = fir.dummy_scope : !fir.dscope36!CHECK: %[[VAL_1:.*]] = fir.alloca ui32 {bindc_name = "f02", uniq_name = "_QFf02Ef02"}37!CHECK: %[[VAL_2:.*]] = fir.declare %[[VAL_1]] {uniq_name = "_QFf02Ef02"} : (!fir.ref<ui32>) -> !fir.ref<ui32>38!CHECK: %[[VAL_3:.*]] = fir.declare %[[ARG0]] dummy_scope %[[VAL_0]] arg {{[0-9]+}} {fortran_attrs = #fir.var_attrs<intent_in>, uniq_name = "_QFf02Eu"} : (!fir.ref<ui32>, !fir.dscope) -> !fir.ref<ui32>39!CHECK: %[[VAL_4:.*]] = fir.declare %[[ARG1]] dummy_scope %[[VAL_0]] arg {{[0-9]+}} {fortran_attrs = #fir.var_attrs<intent_in>, uniq_name = "_QFf02Ev"} : (!fir.ref<ui32>, !fir.dscope) -> !fir.ref<ui32>40!CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_3]] : !fir.ref<ui32>41!CHECK: %[[VAL_6:.*]] = fir.load %[[VAL_4]] : !fir.ref<ui32>42!CHECK: %[[VAL_7:.*]] = fir.convert %[[VAL_5]] : (ui32) -> i6443!CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_6]] : (ui32) -> i6444!CHECK: %[[VAL_9:.*]] = fir.call @_FortranAUPow8(%[[VAL_7]], %[[VAL_8]]) fastmath<contract> : (i64, i64) -> i6445!CHECK: %[[VAL_10:.*]] = fir.convert %[[VAL_9]] : (i64) -> ui3246!CHECK: %[[VAL_11:.*]] = fir.convert %[[VAL_10]] : (ui32) -> i3247!CHECK: %[[VAL_12:.*]] = arith.subi %[[VAL_11]], %[[C1_i32]] : i3248!CHECK: %[[VAL_13:.*]] = fir.convert %[[VAL_12]] : (i32) -> ui3249!CHECK: fir.store %[[VAL_13]] to %[[VAL_2]] : !fir.ref<ui32>50!CHECK: %[[VAL_14:.*]] = fir.load %[[VAL_2]] : !fir.ref<ui32>51!CHECK: return %[[VAL_14]] : ui3252 53