64 lines · plain
1! RUN: bbc --strict-fir-volatile-verifier %s -o - | FileCheck %s2 3program p4 print*,a(),b(),c()5contains6 function a()7 integer,volatile::a8 a=19 end function10 function b() result(r)11 integer,volatile::r12 r=213 end function14 function c() result(r)15 volatile::r16 r=317 end function18end program19 20 21! CHECK-LABEL: func.func @_QQmain() attributes {{.+}} {22! CHECK: %[[VAL_0:.*]] = arith.constant 4 : i3223! CHECK: %[[VAL_1:.*]] = arith.constant 6 : i3224! CHECK: %[[VAL_2:.*]] = fir.address_of25! CHECK: %[[VAL_3:.*]] = fir.convert %[[VAL_2]] : (!fir.ref<!fir.char<1,{{.+}}>>) -> !fir.ref<i8>26! CHECK: %[[VAL_4:.*]] = fir.call @_QFPa() fastmath<contract> : () -> i3227! CHECK: %[[VAL_5:.*]] = fir.call @_QFPb() fastmath<contract> : () -> i3228! CHECK: %[[VAL_6:.*]] = fir.call @_QFPc() fastmath<contract> : () -> f3229! CHECK: return30! CHECK: }31 32! CHECK-LABEL: func.func private @_QFPa() -> i32 attributes {{.+}} {33! CHECK: %[[VAL_0:.*]] = arith.constant 1 : i3234! CHECK: %[[VAL_1:.*]] = fir.alloca i32 {bindc_name = "a", uniq_name = "_QFFaEa"}35! CHECK: %[[VAL_2:.*]] = fir.volatile_cast %[[VAL_1]] : (!fir.ref<i32>) -> !fir.ref<i32, volatile>36! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_2]] {{.+}} : (!fir.ref<i32, volatile>) -> (!fir.ref<i32, volatile>, !fir.ref<i32, volatile>)37! CHECK: hlfir.assign %[[VAL_0]] to %[[VAL_3]]#0 : i32, !fir.ref<i32, volatile>38! CHECK: %[[VAL_4:.*]] = fir.volatile_cast %[[VAL_3]]#0 : (!fir.ref<i32, volatile>) -> !fir.ref<i32>39! CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_4]] : !fir.ref<i32>40! CHECK: return %[[VAL_5]] : i3241! CHECK: }42 43! CHECK-LABEL: func.func private @_QFPb() -> i32 attributes {{.+}} {44! CHECK: %[[VAL_0:.*]] = arith.constant 2 : i3245! CHECK: %[[VAL_1:.*]] = fir.alloca i32 {bindc_name = "r", uniq_name = "_QFFbEr"}46! CHECK: %[[VAL_2:.*]] = fir.volatile_cast %[[VAL_1]] : (!fir.ref<i32>) -> !fir.ref<i32, volatile>47! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_2]] {{.+}} : (!fir.ref<i32, volatile>) -> (!fir.ref<i32, volatile>, !fir.ref<i32, volatile>)48! CHECK: hlfir.assign %[[VAL_0]] to %[[VAL_3]]#0 : i32, !fir.ref<i32, volatile>49! CHECK: %[[VAL_4:.*]] = fir.volatile_cast %[[VAL_3]]#0 : (!fir.ref<i32, volatile>) -> !fir.ref<i32>50! CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_4]] : !fir.ref<i32>51! CHECK: return %[[VAL_5]] : i3252! CHECK: }53 54! CHECK-LABEL: func.func private @_QFPc() -> f32 attributes {{.+}} {55! CHECK: %[[VAL_0:.*]] = arith.constant 3.000000e+00 : f3256! CHECK: %[[VAL_1:.*]] = fir.alloca f32 {bindc_name = "r", uniq_name = "_QFFcEr"}57! CHECK: %[[VAL_2:.*]] = fir.volatile_cast %[[VAL_1]] : (!fir.ref<f32>) -> !fir.ref<f32, volatile>58! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_2]] {{.+}} : (!fir.ref<f32, volatile>) -> (!fir.ref<f32, volatile>, !fir.ref<f32, volatile>)59! CHECK: hlfir.assign %[[VAL_0]] to %[[VAL_3]]#0 : f32, !fir.ref<f32, volatile>60! CHECK: %[[VAL_4:.*]] = fir.volatile_cast %[[VAL_3]]#0 : (!fir.ref<f32, volatile>) -> !fir.ref<f32>61! CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_4]] : !fir.ref<f32>62! CHECK: return %[[VAL_5]] : f3263! CHECK: }64