1! RUN: bbc -emit-fir %s -o - | FileCheck %s
2! RUN: %flang_fc1 -emit-fir %s -o - | FileCheck %s
3
4! CHECK-LABEL: func @_QPdim_testr(
5! CHECK-SAME:                     %[[VAL_0:[a-z]+[0-9]]]: !fir.ref<f32>{{.*}}, %[[VAL_1:.*]]: !fir.ref<f32>{{.*}}, %[[VAL_2:.*]]: !fir.ref<f32>{{.*}}) {
6subroutine dim_testr(x, y, z)
7! CHECK: %[[VAL_3:.*]] = fir.load %[[VAL_0]] : !fir.ref<f32>
8! CHECK: %[[VAL_4:.*]] = fir.load %[[VAL_1]] : !fir.ref<f32>
9! CHECK: %[[VAL_5:.*]] = arith.constant 0.000000e+00 : f32
10! CHECK: %[[VAL_6:.*]] = arith.subf %[[VAL_3]], %[[VAL_4]] : f32
11! CHECK: %[[VAL_7:.*]] = arith.cmpf ogt, %[[VAL_6]], %[[VAL_5]] : f32
12! CHECK: %[[VAL_8:.*]] = arith.select %[[VAL_7]], %[[VAL_6]], %[[VAL_5]] : f32
13! CHECK: fir.store %[[VAL_8]] to %[[VAL_2]] : !fir.ref<f32>
14! CHECK: return
15  real :: x, y, z
16  z = dim(x, y)
17end subroutine
18
19! CHECK-LABEL: func @_QPdim_testi(
20! CHECK-SAME: %[[VAL_0:[a-z]+[0-9]]]: !fir.ref<i32>{{.*}}, %[[VAL_1:.*]]: !fir.ref<i32>{{.*}}, %[[VAL_2:.*]]: !fir.ref<i32>{{.*}}) {
21subroutine dim_testi(i, j, k)
22! CHECK: %[[VAL_3:.*]] = fir.load %[[VAL_0]] : !fir.ref<i32>
23! CHECK: %[[VAL_4:.*]] = fir.load %[[VAL_1]] : !fir.ref<i32>
24! CHECK: %[[VAL_5:.*]] = arith.constant 0 : i32
25! CHECK: %[[VAL_6:.*]] = arith.subi %[[VAL_3]], %[[VAL_4]] : i32
26! CHECK: %[[VAL_7:.*]] = arith.cmpi sgt, %[[VAL_6]], %[[VAL_5]] : i32
27! CHECK: %[[VAL_8:.*]] = arith.select %[[VAL_7]], %[[VAL_6]], %[[VAL_5]] : i32
28! CHECK: fir.store %[[VAL_8]] to %[[VAL_2]] : !fir.ref<i32>
29! CHECK: return
30  integer :: i, j, k
31  k = dim(i, j)
32end subroutine
33
34