llvm/test/CodeGen/NVPTX/math-intrins-sm86-ptx72.ll

   1 ; RUN: llc < %s -march=nvptx64 -mcpu=sm_86 -mattr=+ptx72 | FileCheck %s
   2 ; RUN: %if ptxas-11.2 %{ llc < %s -march=nvptx64 -mcpu=sm_86 -mattr=+ptx72 | %ptxas-verify -arch=sm_86 %}
   3
   4 declare half @llvm.nvvm.fmin.xorsign.abs.f16(half, half)
   5 declare half @llvm.nvvm.fmin.ftz.xorsign.abs.f16(half, half)
   6 declare half @llvm.nvvm.fmin.nan.xorsign.abs.f16(half, half)
   7 declare half @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f16(half, half)
   8 declare <2 x half> @llvm.nvvm.fmin.xorsign.abs.f16x2(<2 x half> , <2 x half>)
   9 declare <2 x half> @llvm.nvvm.fmin.ftz.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  10 declare <2 x half> @llvm.nvvm.fmin.nan.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  11 declare <2 x half> @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  12 declare bfloat @llvm.nvvm.fmin.xorsign.abs.bf16(bfloat, bfloat)
  13 declare bfloat @llvm.nvvm.fmin.nan.xorsign.abs.bf16(bfloat, bfloat)
  14 declare <2 x bfloat> @llvm.nvvm.fmin.xorsign.abs.bf16x2(<2 x bfloat>, <2 x bfloat>)
  15 declare <2 x bfloat> @llvm.nvvm.fmin.nan.xorsign.abs.bf16x2(<2 x bfloat>, <2 x bfloat>)
  16 declare float @llvm.nvvm.fmin.xorsign.abs.f(float, float)
  17 declare float @llvm.nvvm.fmin.ftz.xorsign.abs.f(float, float)
  18 declare float @llvm.nvvm.fmin.nan.xorsign.abs.f(float, float)
  19 declare float @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f(float, float)
  20
  21 declare half @llvm.nvvm.fmax.xorsign.abs.f16(half, half)
  22 declare half @llvm.nvvm.fmax.ftz.xorsign.abs.f16(half, half)
  23 declare half @llvm.nvvm.fmax.nan.xorsign.abs.f16(half, half)
  24 declare half @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f16(half, half)
  25 declare <2 x half> @llvm.nvvm.fmax.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  26 declare <2 x half> @llvm.nvvm.fmax.ftz.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  27 declare <2 x half> @llvm.nvvm.fmax.nan.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  28 declare <2 x half> @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f16x2(<2 x half> , <2 x half>)
  29 declare bfloat @llvm.nvvm.fmax.xorsign.abs.bf16(bfloat, bfloat)
  30 declare bfloat @llvm.nvvm.fmax.nan.xorsign.abs.bf16(bfloat, bfloat)
  31 declare <2 x bfloat> @llvm.nvvm.fmax.xorsign.abs.bf16x2(<2 x bfloat>, <2 x bfloat>)
  32 declare <2 x bfloat> @llvm.nvvm.fmax.nan.xorsign.abs.bf16x2(<2 x bfloat>, <2 x bfloat>)
  33 declare float @llvm.nvvm.fmax.xorsign.abs.f(float, float)
  34 declare float @llvm.nvvm.fmax.ftz.xorsign.abs.f(float, float)
  35 declare float @llvm.nvvm.fmax.nan.xorsign.abs.f(float, float)
  36 declare float @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f(float, float)
  37
  38 ; CHECK-LABEL: fmin_xorsign_abs_f16
  39 define half @fmin_xorsign_abs_f16(half %0, half %1) {
  40   ; CHECK-NOT: call
  41   ; CHECK: min.xorsign.abs.f16
  42   %res = call half @llvm.nvvm.fmin.xorsign.abs.f16(half %0, half %1)
  43   ret half %res
  44 }
  45
  46 ; CHECK-LABEL: fmin_ftz_xorsign_abs_f16
  47 define half @fmin_ftz_xorsign_abs_f16(half %0, half %1) {
  48   ; CHECK-NOT: call
  49   ; CHECK: min.ftz.xorsign.abs.f16
  50   %res = call half @llvm.nvvm.fmin.ftz.xorsign.abs.f16(half %0, half %1)
  51   ret half %res
  52 }
  53
  54 ; CHECK-LABEL: fmin_nan_xorsign_abs_f16
  55 define half @fmin_nan_xorsign_abs_f16(half %0, half %1) {
  56   ; CHECK-NOT: call
  57   ; CHECK: min.NaN.xorsign.abs.f16
  58   %res = call half @llvm.nvvm.fmin.nan.xorsign.abs.f16(half %0, half %1)
  59   ret half %res
  60 }
  61
  62 ; CHECK-LABEL: fmin_ftz_nan_xorsign_abs_f16
  63 define half @fmin_ftz_nan_xorsign_abs_f16(half %0, half %1) {
  64   ; CHECK-NOT: call
  65   ; CHECK: min.ftz.NaN.xorsign.abs.f16
  66   %res = call half @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f16(half %0, half %1)
  67   ret half %res
  68 }
  69
  70 ; CHECK-LABEL: fmin_xorsign_abs_f16x2
  71 define <2 x half> @fmin_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
  72   ; CHECK-NOT: call
  73   ; CHECK: min.xorsign.abs.f16x2
  74   %res = call <2 x half> @llvm.nvvm.fmin.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
  75   ret <2 x half> %res
  76 }
  77
  78 ; CHECK-LABEL: fmin_ftz_xorsign_abs_f16x2
  79 define <2 x half> @fmin_ftz_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
  80   ; CHECK-NOT: call
  81   ; CHECK: min.ftz.xorsign.abs.f16x2
  82   %res = call <2 x half> @llvm.nvvm.fmin.ftz.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
  83   ret <2 x half> %res
  84 }
  85
  86 ; CHECK-LABEL: fmin_nan_xorsign_abs_f16x2
  87 define <2 x half> @fmin_nan_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
  88   ; CHECK-NOT: call
  89   ; CHECK: min.NaN.xorsign.abs.f16x2
  90   %res = call <2 x half> @llvm.nvvm.fmin.nan.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
  91   ret <2 x half> %res
  92 }
  93
  94 ; CHECK-LABEL: fmin_ftz_nan_xorsign_abs_f16x2
  95 define <2 x half> @fmin_ftz_nan_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
  96   ; CHECK-NOT: call
  97   ; CHECK: min.ftz.NaN.xorsign.abs.f16x2
  98   %res = call <2 x half> @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
  99   ret <2 x half> %res
 100 }
 101
 102 ; CHECK-LABEL: fmin_xorsign_abs_bf16
 103 define bfloat @fmin_xorsign_abs_bf16(bfloat %0, bfloat %1) {
 104   ; CHECK-NOT: call
 105   ; CHECK: min.xorsign.abs.bf16
 106   %res = call bfloat @llvm.nvvm.fmin.xorsign.abs.bf16(bfloat %0, bfloat %1)
 107   ret bfloat %res
 108 }
 109
 110 ; CHECK-LABEL: fmin_nan_xorsign_abs_bf16
 111 define bfloat @fmin_nan_xorsign_abs_bf16(bfloat %0, bfloat %1) {
 112   ; CHECK-NOT: call
 113   ; CHECK: min.NaN.xorsign.abs.bf16
 114   %res = call bfloat @llvm.nvvm.fmin.nan.xorsign.abs.bf16(bfloat %0, bfloat %1)
 115   ret bfloat %res
 116 }
 117
 118 ; CHECK-LABEL: fmin_xorsign_abs_bf16x2
 119 define <2 x bfloat> @fmin_xorsign_abs_bf16x2(<2 x bfloat> %0, <2 x bfloat> %1) {
 120   ; CHECK-NOT: call
 121   ; CHECK: min.xorsign.abs.bf16x2
 122   %res = call <2 x bfloat> @llvm.nvvm.fmin.xorsign.abs.bf16x2(<2 x bfloat> %0, <2 x bfloat> %1)
 123   ret <2 x bfloat> %res
 124 }
 125
 126 ; CHECK-LABEL: fmin_nan_xorsign_abs_bf16x2
 127 define <2 x bfloat> @fmin_nan_xorsign_abs_bf16x2(<2 x bfloat> %0, <2 x bfloat> %1) {
 128   ; CHECK-NOT: call
 129   ; CHECK: min.NaN.xorsign.abs.bf16x2
 130   %res = call <2 x bfloat> @llvm.nvvm.fmin.nan.xorsign.abs.bf16x2(<2 x bfloat> %0, <2 x bfloat> %1)
 131   ret <2 x bfloat> %res
 132 }
 133
 134 ; CHECK-LABEL: fmin_xorsign_abs_f
 135 define float @fmin_xorsign_abs_f(float %0, float %1) {
 136   ; CHECK-NOT: call
 137   ; CHECK: min.xorsign.abs.f
 138   %res = call float @llvm.nvvm.fmin.xorsign.abs.f(float %0, float %1)
 139   ret float %res
 140 }
 141
 142 ; CHECK-LABEL: fmin_ftz_xorsign_abs_f
 143 define float @fmin_ftz_xorsign_abs_f(float %0, float %1) {
 144   ; CHECK-NOT: call
 145   ; CHECK: min.ftz.xorsign.abs.f
 146   %res = call float @llvm.nvvm.fmin.ftz.xorsign.abs.f(float %0, float %1)
 147   ret float %res
 148 }
 149
 150 ; CHECK-LABEL: fmin_nan_xorsign_abs_f
 151 define float @fmin_nan_xorsign_abs_f(float %0, float %1) {
 152   ; CHECK-NOT: call
 153   ; CHECK: min.NaN.xorsign.abs.f
 154   %res = call float @llvm.nvvm.fmin.nan.xorsign.abs.f(float %0, float %1)
 155   ret float %res
 156 }
 157
 158 ; CHECK-LABEL: fmin_ftz_nan_xorsign_abs_f
 159 define float @fmin_ftz_nan_xorsign_abs_f(float %0, float %1) {
 160   ; CHECK-NOT: call
 161   ; CHECK: min.ftz.NaN.xorsign.abs.f
 162   %res = call float @llvm.nvvm.fmin.ftz.nan.xorsign.abs.f(float %0, float %1)
 163   ret float %res
 164 }
 165
 166 ; CHECK-LABEL: fmax_xorsign_abs_f16
 167 define half @fmax_xorsign_abs_f16(half %0, half %1) {
 168   ; CHECK-NOT: call
 169   ; CHECK: max.xorsign.abs.f16
 170   %res = call half @llvm.nvvm.fmax.xorsign.abs.f16(half %0, half %1)
 171   ret half %res
 172 }
 173
 174 ; CHECK-LABEL: fmax_ftz_xorsign_abs_f16
 175 define half @fmax_ftz_xorsign_abs_f16(half %0, half %1) {
 176   ; CHECK-NOT: call
 177   ; CHECK: max.ftz.xorsign.abs.f16
 178   %res = call half @llvm.nvvm.fmax.ftz.xorsign.abs.f16(half %0, half %1)
 179   ret half %res
 180 }
 181
 182 ; CHECK-LABEL: fmax_nan_xorsign_abs_f16
 183 define half @fmax_nan_xorsign_abs_f16(half %0, half %1) {
 184   ; CHECK-NOT: call
 185   ; CHECK: max.NaN.xorsign.abs.f16
 186   %res = call half @llvm.nvvm.fmax.nan.xorsign.abs.f16(half %0, half %1)
 187   ret half %res
 188 }
 189
 190 ; CHECK-LABEL: fmax_ftz_nan_xorsign_abs_f16
 191 define half @fmax_ftz_nan_xorsign_abs_f16(half %0, half %1) {
 192   ; CHECK-NOT: call
 193   ; CHECK: max.ftz.NaN.xorsign.abs.f16
 194   %res = call half @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f16(half %0, half %1)
 195   ret half %res
 196 }
 197
 198 ; CHECK-LABEL: fmax_xorsign_abs_f16x2
 199 define <2 x half> @fmax_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
 200   ; CHECK-NOT: call
 201   ; CHECK: max.xorsign.abs.f16x2
 202   %res = call <2 x half> @llvm.nvvm.fmax.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
 203   ret <2 x half> %res
 204 }
 205
 206 ; CHECK-LABEL: fmax_ftz_xorsign_abs_f16x2
 207 define <2 x half> @fmax_ftz_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
 208   ; CHECK-NOT: call
 209   ; CHECK: max.ftz.xorsign.abs.f16x2
 210   %res = call <2 x half> @llvm.nvvm.fmax.ftz.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
 211   ret <2 x half> %res
 212 }
 213
 214 ; CHECK-LABEL: fmax_nan_xorsign_abs_f16x2
 215 define <2 x half> @fmax_nan_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
 216   ; CHECK-NOT: call
 217   ; CHECK: max.NaN.xorsign.abs.f16x2
 218   %res = call <2 x half> @llvm.nvvm.fmax.nan.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
 219   ret <2 x half> %res
 220 }
 221
 222 ; CHECK-LABEL: fmax_ftz_nan_xorsign_abs_f16x2
 223 define <2 x half> @fmax_ftz_nan_xorsign_abs_f16x2(<2 x half> %0, <2 x half> %1) {
 224   ; CHECK-NOT: call
 225   ; CHECK: max.ftz.NaN.xorsign.abs.f16x2
 226   %res = call <2 x half> @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f16x2(<2 x half> %0, <2 x half> %1)
 227   ret <2 x half> %res
 228 }
 229
 230 ; CHECK-LABEL: fmax_xorsign_abs_bf16
 231 define bfloat @fmax_xorsign_abs_bf16(bfloat %0, bfloat %1) {
 232   ; CHECK-NOT: call
 233   ; CHECK: max.xorsign.abs.bf16
 234   %res = call bfloat @llvm.nvvm.fmax.xorsign.abs.bf16(bfloat %0, bfloat %1)
 235   ret bfloat %res
 236 }
 237
 238 ; CHECK-LABEL: fmax_nan_xorsign_abs_bf16
 239 define bfloat @fmax_nan_xorsign_abs_bf16(bfloat %0, bfloat %1) {
 240   ; CHECK-NOT: call
 241   ; CHECK: max.NaN.xorsign.abs.bf16
 242   %res = call bfloat @llvm.nvvm.fmax.nan.xorsign.abs.bf16(bfloat %0, bfloat %1)
 243   ret bfloat %res
 244 }
 245
 246 ; CHECK-LABEL: fmax_xorsign_abs_bf16x2
 247 define <2 x bfloat> @fmax_xorsign_abs_bf16x2(<2 x bfloat> %0, <2 x bfloat> %1) {
 248   ; CHECK-NOT: call
 249   ; CHECK: max.xorsign.abs.bf16x2
 250   %res = call <2 x bfloat> @llvm.nvvm.fmax.xorsign.abs.bf16x2(<2 x bfloat> %0, <2 x bfloat> %1)
 251   ret <2 x bfloat> %res
 252 }
 253
 254 ; CHECK-LABEL: fmax_nan_xorsign_abs_bf16x2
 255 define <2 x bfloat> @fmax_nan_xorsign_abs_bf16x2(<2 x bfloat> %0, <2 x bfloat> %1) {
 256   ; CHECK-NOT: call
 257   ; CHECK: max.NaN.xorsign.abs.bf16x2
 258   %res = call <2 x bfloat> @llvm.nvvm.fmax.nan.xorsign.abs.bf16x2(<2 x bfloat> %0, <2 x bfloat> %1)
 259   ret <2 x bfloat> %res
 260 }
 261
 262 ; CHECK-LABEL: fmax_xorsign_abs_f
 263 define float @fmax_xorsign_abs_f(float %0, float %1) {
 264   ; CHECK-NOT: call
 265   ; CHECK: max.xorsign.abs.f
 266   %res = call float @llvm.nvvm.fmax.xorsign.abs.f(float %0, float %1)
 267   ret float %res
 268 }
 269
 270 ; CHECK-LABEL: fmax_ftz_xorsign_abs_f
 271 define float @fmax_ftz_xorsign_abs_f(float %0, float %1) {
 272   ; CHECK-NOT: call
 273   ; CHECK: max.ftz.xorsign.abs.f
 274   %res = call float @llvm.nvvm.fmax.ftz.xorsign.abs.f(float %0, float %1)
 275   ret float %res
 276 }
 277
 278 ; CHECK-LABEL: fmax_nan_xorsign_abs_f
 279 define float @fmax_nan_xorsign_abs_f(float %0, float %1) {
 280   ; CHECK-NOT: call
 281   ; CHECK: max.NaN.xorsign.abs.f
 282   %res = call float @llvm.nvvm.fmax.nan.xorsign.abs.f(float %0, float %1)
 283   ret float %res
 284 }
 285
 286 ; CHECK-LABEL: fmax_ftz_nan_xorsign_abs_f
 287 define float @fmax_ftz_nan_xorsign_abs_f(float %0, float %1) {
 288   ; CHECK-NOT: call
 289   ; CHECK: max.ftz.NaN.xorsign.abs.f
 290   %res = call float @llvm.nvvm.fmax.ftz.nan.xorsign.abs.f(float %0, float %1)
 291   ret float %res
 292 }