clang/test/CodeGenHLSL/builtins/max.hlsl

   1 // RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -x hlsl -triple \\r
   2 // RUN:   dxil-pc-shadermodel6.3-library %s -fnative-half-type \\r
   3 // RUN:   -emit-llvm -disable-llvm-passes -O3 -o - | FileCheck %s\r
   4 // RUN: %clang_cc1 -std=hlsl2021 -finclude-default-header -x hlsl -triple \\r
   5 // RUN:   dxil-pc-shadermodel6.3-library %s -emit-llvm -disable-llvm-passes \\r
   6 // RUN:   -D__HLSL_ENABLE_16_BIT -o - | FileCheck %s --check-prefix=NO_HALF\r
   7 \r
   8 #ifdef __HLSL_ENABLE_16_BIT\r
   9 // CHECK: define noundef i16 @\r
  10 // CHECK: call i16 @llvm.smax.i16(\r
  11 // NO_HALF: define noundef i16 @"?test_max_short@@YAFFF@Z"(\r
  12 // NO_HALF: call i16 @llvm.smax.i16(\r
  13 int16_t test_max_short ( int16_t p0, int16_t p1 ) {\r
  14   return max ( p0, p1 );\r
  15 }\r
  16 // CHECK: define noundef <2 x i16> @\r
  17 // CHECK: call <2 x i16> @llvm.smax.v2i16(\r
  18 // NO_HALF: define noundef <2 x i16> @"?test_max_short2@@YAT?$__vector@F$01@__clang@@T12@0@Z"(\r
  19 // NO_HALF: call <2 x i16> @llvm.smax.v2i16(\r
  20 int16_t2 test_max_short2 ( int16_t2 p0, int16_t2 p1 ) {\r
  21   return max ( p0, p1 );\r
  22 }\r
  23 // CHECK: define noundef <3 x i16> @\r
  24 // CHECK: call <3 x i16> @llvm.smax.v3i16\r
  25 // NO_HALF: define noundef <3 x i16> @"?test_max_short3@@YAT?$__vector@F$02@__clang@@T12@0@Z"(\r
  26 // NO_HALF: call <3 x i16> @llvm.smax.v3i16(\r
  27 int16_t3 test_max_short3 ( int16_t3 p0, int16_t3 p1 ) {\r
  28   return max ( p0, p1 );\r
  29 }\r
  30 // CHECK: define noundef <4 x i16> @\r
  31 // CHECK: call <4 x i16> @llvm.smax.v4i16\r
  32 // NO_HALF: define noundef <4 x i16> @"?test_max_short4@@YAT?$__vector@F$03@__clang@@T12@0@Z"(\r
  33 // NO_HALF: call <4 x i16> @llvm.smax.v4i16(\r
  34 int16_t4 test_max_short4 ( int16_t4 p0, int16_t4 p1 ) {\r
  35   return max ( p0, p1 );\r
  36 }\r
  37 \r
  38 // CHECK: define noundef i16 @\r
  39 // CHECK: call i16 @llvm.umax.i16(\r
  40 // NO_HALF: define noundef i16 @"?test_max_ushort@@YAGGG@Z"(\r
  41 // NO_HALF: call i16 @llvm.umax.i16(\r
  42 uint16_t test_max_ushort ( uint16_t p0, uint16_t p1 ) {\r
  43   return max ( p0, p1 );\r
  44 }\r
  45 // CHECK: define noundef <2 x i16> @\r
  46 // CHECK: call <2 x i16> @llvm.umax.v2i16\r
  47 // NO_HALF: define noundef <2 x i16> @"?test_max_ushort2@@YAT?$__vector@G$01@__clang@@T12@0@Z"(\r
  48 // NO_HALF: call <2 x i16> @llvm.umax.v2i16(\r
  49 uint16_t2 test_max_ushort2 ( uint16_t2 p0, uint16_t2 p1 ) {\r
  50   return max ( p0, p1 );\r
  51 }\r
  52 // CHECK: define noundef <3 x i16> @\r
  53 // CHECK: call <3 x i16> @llvm.umax.v3i16\r
  54 // NO_HALF: define noundef <3 x i16> @"?test_max_ushort3@@YAT?$__vector@G$02@__clang@@T12@0@Z"(\r
  55 // NO_HALF: call <3 x i16> @llvm.umax.v3i16(\r
  56 uint16_t3 test_max_ushort3 ( uint16_t3 p0, uint16_t3 p1 ) {\r
  57   return max ( p0, p1 );\r
  58 }\r
  59 // CHECK: define noundef <4 x i16> @\r
  60 // CHECK: call <4 x i16> @llvm.umax.v4i16\r
  61 // NO_HALF: define noundef <4 x i16> @"?test_max_ushort4@@YAT?$__vector@G$03@__clang@@T12@0@Z"(\r
  62 // NO_HALF: call <4 x i16> @llvm.umax.v4i16(\r
  63 uint16_t4 test_max_ushort4 ( uint16_t4 p0, uint16_t4 p1 ) {\r
  64   return max ( p0, p1 );\r
  65 }\r
  66 #endif\r
  67 \r
  68 // CHECK: define noundef i32 @\r
  69 // CHECK: call i32 @llvm.smax.i32(\r
  70 int test_max_int ( int p0, int p1 ) {\r
  71   return max ( p0, p1 );\r
  72 }\r
  73 // CHECK: define noundef <2 x i32> @\r
  74 // CHECK: call <2 x i32> @llvm.smax.v2i32\r
  75 int2 test_max_int2 ( int2 p0, int2 p1 ) {\r
  76   return max ( p0, p1 );\r
  77 }\r
  78 // CHECK: define noundef <3 x i32> @\r
  79 // CHECK: call <3 x i32> @llvm.smax.v3i32\r
  80 int3 test_max_int3 ( int3 p0, int3 p1 ) {\r
  81   return max ( p0, p1 );\r
  82 }\r
  83 // CHECK: define noundef <4 x i32> @\r
  84 // CHECK: call <4 x i32> @llvm.smax.v4i32\r
  85 int4 test_max_int4 ( int4 p0, int4 p1) {\r
  86   return max ( p0, p1 );\r
  87 }\r
  88 \r
  89 // CHECK: define noundef i32 @\r
  90 // CHECK: call i32 @llvm.umax.i32(\r
  91 int test_max_uint ( uint p0, uint p1 ) {\r
  92   return max ( p0, p1 );\r
  93 }\r
  94 // CHECK: define noundef <2 x i32> @\r
  95 // CHECK: call <2 x i32> @llvm.umax.v2i32\r
  96 uint2 test_max_uint2 ( uint2 p0, uint2 p1 ) {\r
  97   return max ( p0, p1 );\r
  98 }\r
  99 // CHECK: define noundef <3 x i32> @\r
 100 // CHECK: call <3 x i32> @llvm.umax.v3i32\r
 101 uint3 test_max_uint3 ( uint3 p0, uint3 p1 ) {\r
 102   return max ( p0, p1 );\r
 103 }\r
 104 // CHECK: define noundef <4 x i32> @\r
 105 // CHECK: call <4 x i32> @llvm.umax.v4i32\r
 106 uint4 test_max_uint4 ( uint4 p0, uint4 p1) {\r
 107   return max ( p0, p1 );\r
 108 }\r
 109 \r
 110 // CHECK: define noundef i64 @\r
 111 // CHECK: call i64 @llvm.smax.i64(\r
 112 int64_t test_max_long ( int64_t p0, int64_t p1 ) {\r
 113   return max ( p0, p1 );\r
 114 }\r
 115 // CHECK: define noundef <2 x i64> @\r
 116 // CHECK: call <2 x i64> @llvm.smax.v2i64\r
 117 int64_t2 test_max_long2 ( int64_t2 p0, int64_t2 p1 ) {\r
 118   return max ( p0, p1 );\r
 119 }\r
 120 // CHECK: define noundef <3 x i64> @\r
 121 // CHECK: call <3 x i64> @llvm.smax.v3i64\r
 122 int64_t3 test_max_long3 ( int64_t3 p0, int64_t3 p1 ) {\r
 123   return max ( p0, p1 );\r
 124 }\r
 125 // CHECK: define noundef <4 x i64> @\r
 126 // CHECK: call <4 x i64> @llvm.smax.v4i64\r
 127 int64_t4 test_max_long4 ( int64_t4 p0, int64_t4 p1) {\r
 128   return max ( p0, p1 );\r
 129 }\r
 130 \r
 131 // CHECK: define noundef i64 @\r
 132 // CHECK: call i64 @llvm.umax.i64(\r
 133 uint64_t test_max_long ( uint64_t p0, uint64_t p1 ) {\r
 134   return max ( p0, p1 );\r
 135 }\r
 136 // CHECK: define noundef <2 x i64> @\r
 137 // CHECK: call <2 x i64> @llvm.umax.v2i64\r
 138 uint64_t2 test_max_long2 ( uint64_t2 p0, uint64_t2 p1 ) {\r
 139   return max ( p0, p1 );\r
 140 }\r
 141 // CHECK: define noundef <3 x i64> @\r
 142 // CHECK: call <3 x i64> @llvm.umax.v3i64\r
 143 uint64_t3 test_max_long3 ( uint64_t3 p0, uint64_t3 p1 ) {\r
 144   return max ( p0, p1 );\r
 145 }\r
 146 // CHECK: define noundef <4 x i64> @\r
 147 // CHECK: call <4 x i64> @llvm.umax.v4i64\r
 148 uint64_t4 test_max_long4 ( uint64_t4 p0, uint64_t4 p1) {\r
 149   return max ( p0, p1 );\r
 150 }\r
 151 \r
 152 \r
 153 // CHECK: define noundef half @\r
 154 // CHECK: call half @llvm.maxnum.f16(\r
 155 // NO_HALF: define noundef float @"?test_max_half@@YA$halff@$halff@0@Z"(\r
 156 // NO_HALF: call float @llvm.maxnum.f32(\r
 157 half test_max_half ( half p0, half p1 ) {\r
 158   return max ( p0, p1 );\r
 159 }\r
 160 // CHECK: define noundef <2 x half> @\r
 161 // CHECK: call <2 x half> @llvm.maxnum.v2f16\r
 162 // NO_HALF: define noundef <2 x float> @"?test_max_float2@@YAT?$__vector@M$01@__clang@@T12@0@Z"(\r
 163 // NO_HALF: call <2 x float> @llvm.maxnum.v2f32(\r
 164 half2 test_max_half2 ( half2 p0, half2 p1 ) {\r
 165   return max ( p0, p1 );\r
 166 }\r
 167 // CHECK: define noundef <3 x half> @\r
 168 // CHECK: call <3 x half> @llvm.maxnum.v3f16\r
 169 // NO_HALF: define noundef <3 x float> @"?test_max_float3@@YAT?$__vector@M$02@__clang@@T12@0@Z"(\r
 170 // NO_HALF: call <3 x float> @llvm.maxnum.v3f32(\r
 171 half3 test_max_half3 ( half3 p0, half3 p1 ) {\r
 172   return max ( p0, p1 );\r
 173 }\r
 174 // CHECK: define noundef <4 x half> @\r
 175 // CHECK: call <4 x half> @llvm.maxnum.v4f16\r
 176 // NO_HALF: define noundef <4 x float> @"?test_max_float4@@YAT?$__vector@M$03@__clang@@T12@0@Z"(\r
 177 // NO_HALF: call <4 x float> @llvm.maxnum.v4f32(\r
 178 half4 test_max_half4 ( half4 p0, half4 p1 ) {\r
 179   return max ( p0, p1 );\r
 180 }\r
 181 \r
 182 // CHECK: define noundef float @\r
 183 // CHECK: call float @llvm.maxnum.f32(\r
 184 float test_max_float ( float p0, float p1 ) {\r
 185   return max ( p0, p1 );\r
 186 }\r
 187 // CHECK: define noundef <2 x float> @\r
 188 // CHECK: call <2 x float> @llvm.maxnum.v2f32\r
 189 float2 test_max_float2 ( float2 p0, float2 p1 ) {\r
 190   return max ( p0, p1 );\r
 191 }\r
 192 // CHECK: define noundef <3 x float> @\r
 193 // CHECK: call <3 x float> @llvm.maxnum.v3f32\r
 194 float3 test_max_float3 ( float3 p0, float3 p1 ) {\r
 195   return max ( p0, p1 );\r
 196 }\r
 197 // CHECK: define noundef <4 x float> @\r
 198 // CHECK: call <4 x float> @llvm.maxnum.v4f32\r
 199 float4 test_max_float4 ( float4 p0, float4 p1) {\r
 200   return max ( p0, p1 );\r
 201 }\r
 202 \r
 203 // CHECK: define noundef double @\r
 204 // CHECK: call double @llvm.maxnum.f64(\r
 205 double test_max_double ( double p0, double p1 ) {\r
 206   return max ( p0, p1 );\r
 207 }\r
 208 // CHECK: define noundef <2 x double> @\r
 209 // CHECK: call <2 x double> @llvm.maxnum.v2f64\r
 210 double2 test_max_double2 ( double2 p0, double2 p1 ) {\r
 211   return max ( p0, p1 );\r
 212 }\r
 213 // CHECK: define noundef <3 x double> @\r
 214 // CHECK: call <3 x double> @llvm.maxnum.v3f64\r
 215 double3 test_max_double3 ( double3 p0, double3 p1 ) {\r
 216   return max ( p0, p1 );\r
 217 }\r
 218 // CHECK: define noundef <4 x double> @\r
 219 // CHECK: call <4 x double> @llvm.maxnum.v4f64\r
 220 double4 test_max_double4 ( double4 p0, double4 p1) {\r
 221   return max ( p0, p1 );\r
 222 }\r