69 lines · plain
1!RUN: %flang_fc1 -emit-hlfir -fopenmp -fopenmp-version=52 %s -o - | FileCheck %s2 3! Check that the presence tests are done outside of the atomic update4! construct.5 6!CHECK-LABEL: func.func @_QPf007!CHECK: %[[VAL_A:[0-9]+]]:2 = hlfir.declare %arg0 dummy_scope %08!CHECK: %[[VAL_X:[0-9]+]]:2 = hlfir.declare %arg1 dummy_scope %09!CHECK: %[[VAL_Y:[0-9]+]]:2 = hlfir.declare %arg2 dummy_scope %010!CHECK: %[[V4:[0-9]+]] = fir.load %[[VAL_X]]#0 : !fir.ref<f32>11!CHECK: %[[V5:[0-9]+]] = fir.load %[[VAL_X]]#0 : !fir.ref<f32>12!CHECK: %[[V6:[0-9]+]] = fir.is_present %[[VAL_Y]]#0 : (!fir.ref<f32>) -> i113!CHECK: %[[V7:[0-9]+]] = arith.cmpf ogt, %[[V4]], %[[V5]] fastmath<contract> : f3214!CHECK: %[[V8:[0-9]+]] = arith.select %[[V7]], %[[V4]], %[[V5]] : f3215!CHECK: %[[V9:[0-9]+]] = fir.if %[[V6]] -> (f32) {16!CHECK: %[[V10:[0-9]+]] = fir.load %[[VAL_Y]]#0 : !fir.ref<f32>17!CHECK: %[[V11:[0-9]+]] = arith.cmpf ogt, %[[V8]], %[[V10]] fastmath<contract> : f3218!CHECK: %[[V12:[0-9]+]] = arith.select %[[V11]], %[[V8]], %[[V10]] : f3219!CHECK: fir.result %[[V12]] : f3220!CHECK: } else {21!CHECK: fir.result %[[V8]] : f3222!CHECK: }23!CHECK: omp.atomic.update memory_order(relaxed) %[[VAL_A]]#0 : !fir.ref<f32> {24!CHECK: ^bb0(%[[ARG:[a-z0-9]+]]: f32):25!CHECK: %[[V10:[0-9]+]] = arith.cmpf ogt, %[[ARG]], %[[V9]] fastmath<contract> : f3226!CHECK: %[[V11:[0-9]+]] = arith.select %[[V10]], %[[ARG]], %[[V9]] : f3227!CHECK: omp.yield(%[[V11]] : f32)28!CHECK: }29 30subroutine f00(a, x, y)31 real :: a32 real, optional :: x, y33 !$omp atomic update34 a = max(x, a, y)35end36 37 38!CHECK-LABEL: func.func @_QPf0139!CHECK: %[[VAL_A:[0-9]+]]:2 = hlfir.declare %arg0 dummy_scope %040!CHECK: %[[VAL_X:[0-9]+]]:2 = hlfir.declare %arg1 dummy_scope %041!CHECK: %[[VAL_Y:[0-9]+]]:2 = hlfir.declare %arg2 dummy_scope %042!CHECK: %[[V4:[0-9]+]] = fir.load %[[VAL_X]]#0 : !fir.ref<i32>43!CHECK: %[[V5:[0-9]+]] = fir.load %[[VAL_X]]#0 : !fir.ref<i32>44!CHECK: %[[V6:[0-9]+]] = fir.is_present %[[VAL_Y]]#0 : (!fir.ref<i32>) -> i145!CHECK: %[[V7:[0-9]+]] = arith.cmpi slt, %[[V4]], %[[V5]] : i3246!CHECK: %[[V8:[0-9]+]] = arith.select %[[V7]], %[[V4]], %[[V5]] : i3247!CHECK: %[[V9:[0-9]+]] = fir.if %[[V6]] -> (i32) {48!CHECK: %[[V10:[0-9]+]] = fir.load %[[VAL_Y]]#0 : !fir.ref<i32>49!CHECK: %[[V11:[0-9]+]] = arith.cmpi slt, %[[V8]], %[[V10]] : i3250!CHECK: %[[V12:[0-9]+]] = arith.select %[[V11]], %[[V8]], %[[V10]] : i3251!CHECK: fir.result %[[V12]] : i3252!CHECK: } else {53!CHECK: fir.result %[[V8]] : i3254!CHECK: }55!CHECK: omp.atomic.update memory_order(relaxed) %[[VAL_A]]#0 : !fir.ref<i32> {56!CHECK: ^bb0(%[[ARG:[a-z0-9]+]]: i32):57!CHECK: %[[V10:[0-9]+]] = arith.cmpi slt, %[[ARG]], %[[V9]] : i3258!CHECK: %[[V11:[0-9]+]] = arith.select %[[V10]], %[[ARG]], %[[V9]] : i3259!CHECK: omp.yield(%[[V11]] : i32)60!CHECK: }61 62subroutine f01(a, x, y)63 integer :: a64 integer, optional :: x, y65 !$omp atomic update66 a = min(x, a, y)67end68 69