Translate llvm.minimumnum/maximumnum intrinsics to OpenCL extended inst fmin/fmax (#3281)

The intrinsics were added in
llvm/llvm-project@89881480 and their behavior
matches with OpenCL fmin/fmax built-in. This PR fixes llvm-spirv error
when compiling __builtin_elementwise_maximumnum for libclc spirv target.

Original commit:
KhronosGroup/SPIRV-LLVM-Translator@251cbb43efd82a3

Author: wenju-he

llvm-spirv/lib/SPIRV/SPIRVUtil.cpp

@@ -1887,8 +1887,10 @@ bool checkTypeForSPIRVExtendedInstLowering(IntrinsicInst *II, SPIRVModule *BM) {
   case Intrinsic::log:
   case Intrinsic::log10:
   case Intrinsic::log2:
+  case Intrinsic::maximumnum:
   case Intrinsic::maximum:
   case Intrinsic::maxnum:
+  case Intrinsic::minimumnum:
   case Intrinsic::minimum:
   case Intrinsic::minnum:
   case Intrinsic::nearbyint:

llvm-spirv/lib/SPIRV/SPIRVWriter.cpp

@@ -3937,10 +3937,12 @@ bool LLVMToSPIRVBase::isKnownIntrinsic(Intrinsic::ID Id) {
   case Intrinsic::log:
   case Intrinsic::log10:
   case Intrinsic::log2:
+  case Intrinsic::maximumnum:
   case Intrinsic::maximum:
   case Intrinsic::maxnum:
   case Intrinsic::smax:
   case Intrinsic::umax:
+  case Intrinsic::minimumnum:
   case Intrinsic::minimum:
   case Intrinsic::minnum:
   case Intrinsic::smin:
@@ -4079,12 +4081,12 @@ static SPIRVWord getBuiltinIdForIntrinsic(Intrinsic::ID IID) {
     return OpenCLLIB::Log10;
   case Intrinsic::log2:
     return OpenCLLIB::Log2;
+  case Intrinsic::maximumnum:
   case Intrinsic::maximum:
-    return OpenCLLIB::Fmax;
   case Intrinsic::maxnum:
     return OpenCLLIB::Fmax;
+  case Intrinsic::minimumnum:
   case Intrinsic::minimum:
-    return OpenCLLIB::Fmin;
   case Intrinsic::minnum:
     return OpenCLLIB::Fmin;
   case Intrinsic::nearbyint:
@@ -4359,8 +4361,10 @@ SPIRVValue *LLVMToSPIRVBase::transIntrinsicInst(IntrinsicInst *II,
   case Intrinsic::copysign:
   case Intrinsic::pow:
   case Intrinsic::powi:
+  case Intrinsic::maximumnum:
   case Intrinsic::maximum:
   case Intrinsic::maxnum:
+  case Intrinsic::minimumnum:
   case Intrinsic::minimum:
   case Intrinsic::minnum: {
     if (!checkTypeForSPIRVExtendedInstLowering(II, BM))

llvm-spirv/test/llvm-intrinsics/fp-intrinsics.ll

@@ -228,6 +228,20 @@ entry:
 
 declare float @llvm.minimum.f32(float, float)
 
+; CHECK: Function
+; CHECK: FunctionParameter {{[0-9]+}} [[x:[0-9]+]]
+; CHECK: FunctionParameter {{[0-9]+}} [[y:[0-9]+]]
+; CHECK: ExtInst {{[0-9]+}} [[res:[0-9]+]] {{[0-9]+}} fmin [[x]] [[y]]
+; CHECK: ReturnValue [[res]]
+
+define spir_func float @TestMinimumnum(float %x, float %y) {
+entry:
+  %t = call float @llvm.minimumnum.f32(float %x, float %y)
+  ret float %t
+}
+
+declare float @llvm.minimumnum.f32(float, float)
+
 ; CHECK: Function
 ; CHECK: FunctionParameter {{[0-9]+}} [[x:[0-9]+]]
 ; CHECK: FunctionParameter {{[0-9]+}} [[y:[0-9]+]]
@@ -242,6 +256,20 @@ entry:
 
 declare float @llvm.maximum.f32(float, float)
 
+; CHECK: Function
+; CHECK: FunctionParameter {{[0-9]+}} [[x:[0-9]+]]
+; CHECK: FunctionParameter {{[0-9]+}} [[y:[0-9]+]]
+; CHECK: ExtInst {{[0-9]+}} [[res:[0-9]+]] {{[0-9]+}} fmax [[x]] [[y]]
+; CHECK: ReturnValue [[res]]
+
+define spir_func float @TestMaximumnum(float %x, float %y) {
+entry:
+  %t = call float @llvm.maximumnum.f32(float %x, float %y)
+  ret float %t
+}
+
+declare float @llvm.maximumnum.f32(float, float)
+
 ; CHECK: Function
 ; CHECK: FunctionParameter {{[0-9]+}} [[x:[0-9]+]]
 ; CHECK: FunctionParameter {{[0-9]+}} [[y:[0-9]+]]