flang/test/Lower/fp-maxmin-behavior.f90

! Test lowering of real MIN/MAX with -ffp-maxmin-behavior (legacy, portable, extremum, extremenum).
! Legacy uses arith.cmpf + arith.select; extremum uses arith.maximumf/minimumf;
! extremenum uses arith.maxnumf/minnumf; portable with -fno-signed-zeros -menable-no-nans uses maxnumf/minnumf.

! bbc: legacy, extremum, extremenum
! RUN: bbc -emit-hlfir -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,LEGACY
! RUN: bbc -emit-hlfir -ffp-maxmin-behavior=legacy -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,LEGACY
! RUN: bbc -emit-hlfir -ffp-maxmin-behavior=extremum -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,EXTREMUM
! RUN: bbc -emit-hlfir -ffp-maxmin-behavior=extremenum -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,EXTREMENUM

! flang -fc1: legacy, extremum, extremenum
! RUN: %flang_fc1 -emit-hlfir -funsigned -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,LEGACY
! RUN: %flang_fc1 -emit-hlfir -ffp-maxmin-behavior=legacy -funsigned -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,LEGACY
! RUN: %flang_fc1 -emit-hlfir -ffp-maxmin-behavior=extremum -funsigned -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,EXTREMUM
! RUN: %flang_fc1 -emit-hlfir -ffp-maxmin-behavior=extremenum -funsigned -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,EXTREMENUM

! portable with -fno-signed-zeros -menable-no-nans => maxnumf/minnumf (flang -fc1 only; bbc does not expose these flags)
! RUN: %flang_fc1 -emit-hlfir -ffp-maxmin-behavior=portable -funsigned -fno-signed-zeros -menable-no-nans -o - %s 2>&1 | FileCheck %s -check-prefix=ALL,PORTABLE-NANNSZ

subroutine real_max(a, b, r)
  real :: a, b, r
  r = max(a, b)
end subroutine
! LEGACY-LABEL: func.func @_QPreal_max(
! LEGACY: arith.cmpf ogt,
! LEGACY: arith.select

! EXTREMUM-LABEL: func.func @_QPreal_max(
! EXTREMUM: arith.maximumf

! EXTREMENUM-LABEL: func.func @_QPreal_max(
! EXTREMENUM: arith.maxnumf

! PORTABLE-NANNSZ-LABEL: func.func @_QPreal_max(
! PORTABLE-NANNSZ: arith.maxnumf

subroutine real_min(a, b, r)
  real :: a, b, r
  r = min(a, b)
end subroutine
! LEGACY-LABEL: func.func @_QPreal_min(
! LEGACY: arith.cmpf olt,
! LEGACY: arith.select

! EXTREMUM-LABEL: func.func @_QPreal_min(
! EXTREMUM: arith.minimumf

! EXTREMENUM-LABEL: func.func @_QPreal_min(
! EXTREMENUM: arith.minnumf

! PORTABLE-NANNSZ-LABEL: func.func @_QPreal_min(
! PORTABLE-NANNSZ: arith.minnumf

subroutine signed_max(a, b, r)
  integer :: a, b, r
  r = max(a, b)
end subroutine signed_max
! ALL-LABEL: func.func @_QPsigned_max(
! ALL: arith.maxsi

subroutine unsigned_max(a, b, r)
  unsigned :: a, b, r
  r = max(a, b)
end subroutine unsigned_max
! ALL-LABEL: func.func @_QPunsigned_max(
! ALL: %[[CVT1:.*]] = fir.convert %{{.*}} : (ui32) -> i32
! ALL: %[[CVT2:.*]] = fir.convert %{{.*}} : (ui32) -> i32
! ALL: %[[MAX:.*]] = arith.maxui %[[CVT1]], %[[CVT2]] : i32
! ALL: fir.convert %[[MAX]] : (i32) -> ui32

subroutine signed_min(a, b, r)
  integer :: a, b, r
  r = min(a, b)
end subroutine signed_min
! ALL-LABEL: func.func @_QPsigned_min(
! ALL: arith.minsi

subroutine unsigned_min(a, b, r)
  unsigned :: a, b, r
  r = min(a, b)
end subroutine unsigned_min
! ALL-LABEL: func.func @_QPunsigned_min(
! ALL: %[[CVT1:.*]] = fir.convert %{{.*}} : (ui32) -> i32
! ALL: %[[CVT2:.*]] = fir.convert %{{.*}} : (ui32) -> i32
! ALL: %[[MIN:.*]] = arith.minui %[[CVT1]], %[[CVT2]] : i32
! ALL: fir.convert %[[MIN]] : (i32) -> ui32