test/CodeGen/X86/rounding-ops.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -disable-peephole -mtriple=x86_64-apple-macosx -mattr=+sse4.1 | FileCheck -check-prefix=CHECK-SSE %s
   3 ; RUN: llc < %s -disable-peephole -mtriple=x86_64-apple-macosx -mattr=+avx | FileCheck -check-prefix=CHECK-AVX %s
   4 ; RUN: llc < %s -disable-peephole -mtriple=x86_64-apple-macosx -mattr=+avx512f | FileCheck -check-prefix=CHECK-AVX512 %s
   5
   6 define float @test1(float %x) nounwind  {
   7 ; CHECK-SSE-LABEL: test1:
   8 ; CHECK-SSE:       ## %bb.0:
   9 ; CHECK-SSE-NEXT:    roundss $9, %xmm0, %xmm0
  10 ; CHECK-SSE-NEXT:    retq
  11 ;
  12 ; CHECK-AVX-LABEL: test1:
  13 ; CHECK-AVX:       ## %bb.0:
  14 ; CHECK-AVX-NEXT:    vroundss $9, %xmm0, %xmm0, %xmm0
  15 ; CHECK-AVX-NEXT:    retq
  16 ;
  17 ; CHECK-AVX512-LABEL: test1:
  18 ; CHECK-AVX512:       ## %bb.0:
  19 ; CHECK-AVX512-NEXT:    vroundss $9, %xmm0, %xmm0, %xmm0
  20 ; CHECK-AVX512-NEXT:    retq
  21   %call = tail call float @floorf(float %x) nounwind readnone
  22   ret float %call
  23 }
  24
  25 declare float @floorf(float) nounwind readnone
  26
  27 define double @test2(double %x) nounwind  {
  28 ; CHECK-SSE-LABEL: test2:
  29 ; CHECK-SSE:       ## %bb.0:
  30 ; CHECK-SSE-NEXT:    roundsd $9, %xmm0, %xmm0
  31 ; CHECK-SSE-NEXT:    retq
  32 ;
  33 ; CHECK-AVX-LABEL: test2:
  34 ; CHECK-AVX:       ## %bb.0:
  35 ; CHECK-AVX-NEXT:    vroundsd $9, %xmm0, %xmm0, %xmm0
  36 ; CHECK-AVX-NEXT:    retq
  37 ;
  38 ; CHECK-AVX512-LABEL: test2:
  39 ; CHECK-AVX512:       ## %bb.0:
  40 ; CHECK-AVX512-NEXT:    vroundsd $9, %xmm0, %xmm0, %xmm0
  41 ; CHECK-AVX512-NEXT:    retq
  42   %call = tail call double @floor(double %x) nounwind readnone
  43   ret double %call
  44 }
  45
  46 declare double @floor(double) nounwind readnone
  47
  48 define float @test3(float %x) nounwind  {
  49 ; CHECK-SSE-LABEL: test3:
  50 ; CHECK-SSE:       ## %bb.0:
  51 ; CHECK-SSE-NEXT:    roundss $12, %xmm0, %xmm0
  52 ; CHECK-SSE-NEXT:    retq
  53 ;
  54 ; CHECK-AVX-LABEL: test3:
  55 ; CHECK-AVX:       ## %bb.0:
  56 ; CHECK-AVX-NEXT:    vroundss $12, %xmm0, %xmm0, %xmm0
  57 ; CHECK-AVX-NEXT:    retq
  58 ;
  59 ; CHECK-AVX512-LABEL: test3:
  60 ; CHECK-AVX512:       ## %bb.0:
  61 ; CHECK-AVX512-NEXT:    vroundss $12, %xmm0, %xmm0, %xmm0
  62 ; CHECK-AVX512-NEXT:    retq
  63   %call = tail call float @nearbyintf(float %x) nounwind readnone
  64   ret float %call
  65 }
  66
  67 declare float @nearbyintf(float) nounwind readnone
  68
  69 define double @test4(double %x) nounwind  {
  70 ; CHECK-SSE-LABEL: test4:
  71 ; CHECK-SSE:       ## %bb.0:
  72 ; CHECK-SSE-NEXT:    roundsd $12, %xmm0, %xmm0
  73 ; CHECK-SSE-NEXT:    retq
  74 ;
  75 ; CHECK-AVX-LABEL: test4:
  76 ; CHECK-AVX:       ## %bb.0:
  77 ; CHECK-AVX-NEXT:    vroundsd $12, %xmm0, %xmm0, %xmm0
  78 ; CHECK-AVX-NEXT:    retq
  79 ;
  80 ; CHECK-AVX512-LABEL: test4:
  81 ; CHECK-AVX512:       ## %bb.0:
  82 ; CHECK-AVX512-NEXT:    vroundsd $12, %xmm0, %xmm0, %xmm0
  83 ; CHECK-AVX512-NEXT:    retq
  84   %call = tail call double @nearbyint(double %x) nounwind readnone
  85   ret double %call
  86 }
  87
  88 declare double @nearbyint(double) nounwind readnone
  89
  90 define float @test5(float %x) nounwind  {
  91 ; CHECK-SSE-LABEL: test5:
  92 ; CHECK-SSE:       ## %bb.0:
  93 ; CHECK-SSE-NEXT:    roundss $10, %xmm0, %xmm0
  94 ; CHECK-SSE-NEXT:    retq
  95 ;
  96 ; CHECK-AVX-LABEL: test5:
  97 ; CHECK-AVX:       ## %bb.0:
  98 ; CHECK-AVX-NEXT:    vroundss $10, %xmm0, %xmm0, %xmm0
  99 ; CHECK-AVX-NEXT:    retq
 100 ;
 101 ; CHECK-AVX512-LABEL: test5:
 102 ; CHECK-AVX512:       ## %bb.0:
 103 ; CHECK-AVX512-NEXT:    vroundss $10, %xmm0, %xmm0, %xmm0
 104 ; CHECK-AVX512-NEXT:    retq
 105   %call = tail call float @ceilf(float %x) nounwind readnone
 106   ret float %call
 107 }
 108
 109 declare float @ceilf(float) nounwind readnone
 110
 111 define double @test6(double %x) nounwind  {
 112 ; CHECK-SSE-LABEL: test6:
 113 ; CHECK-SSE:       ## %bb.0:
 114 ; CHECK-SSE-NEXT:    roundsd $10, %xmm0, %xmm0
 115 ; CHECK-SSE-NEXT:    retq
 116 ;
 117 ; CHECK-AVX-LABEL: test6:
 118 ; CHECK-AVX:       ## %bb.0:
 119 ; CHECK-AVX-NEXT:    vroundsd $10, %xmm0, %xmm0, %xmm0
 120 ; CHECK-AVX-NEXT:    retq
 121 ;
 122 ; CHECK-AVX512-LABEL: test6:
 123 ; CHECK-AVX512:       ## %bb.0:
 124 ; CHECK-AVX512-NEXT:    vroundsd $10, %xmm0, %xmm0, %xmm0
 125 ; CHECK-AVX512-NEXT:    retq
 126   %call = tail call double @ceil(double %x) nounwind readnone
 127   ret double %call
 128 }
 129
 130 declare double @ceil(double) nounwind readnone
 131
 132 define float @test7(float %x) nounwind  {
 133 ; CHECK-SSE-LABEL: test7:
 134 ; CHECK-SSE:       ## %bb.0:
 135 ; CHECK-SSE-NEXT:    roundss $4, %xmm0, %xmm0
 136 ; CHECK-SSE-NEXT:    retq
 137 ;
 138 ; CHECK-AVX-LABEL: test7:
 139 ; CHECK-AVX:       ## %bb.0:
 140 ; CHECK-AVX-NEXT:    vroundss $4, %xmm0, %xmm0, %xmm0
 141 ; CHECK-AVX-NEXT:    retq
 142 ;
 143 ; CHECK-AVX512-LABEL: test7:
 144 ; CHECK-AVX512:       ## %bb.0:
 145 ; CHECK-AVX512-NEXT:    vroundss $4, %xmm0, %xmm0, %xmm0
 146 ; CHECK-AVX512-NEXT:    retq
 147   %call = tail call float @rintf(float %x) nounwind readnone
 148   ret float %call
 149 }
 150
 151 declare float @rintf(float) nounwind readnone
 152
 153 define double @test8(double %x) nounwind  {
 154 ; CHECK-SSE-LABEL: test8:
 155 ; CHECK-SSE:       ## %bb.0:
 156 ; CHECK-SSE-NEXT:    roundsd $4, %xmm0, %xmm0
 157 ; CHECK-SSE-NEXT:    retq
 158 ;
 159 ; CHECK-AVX-LABEL: test8:
 160 ; CHECK-AVX:       ## %bb.0:
 161 ; CHECK-AVX-NEXT:    vroundsd $4, %xmm0, %xmm0, %xmm0
 162 ; CHECK-AVX-NEXT:    retq
 163 ;
 164 ; CHECK-AVX512-LABEL: test8:
 165 ; CHECK-AVX512:       ## %bb.0:
 166 ; CHECK-AVX512-NEXT:    vroundsd $4, %xmm0, %xmm0, %xmm0
 167 ; CHECK-AVX512-NEXT:    retq
 168   %call = tail call double @rint(double %x) nounwind readnone
 169   ret double %call
 170 }
 171
 172 declare double @rint(double) nounwind readnone
 173
 174 define float @test9(float %x) nounwind  {
 175 ; CHECK-SSE-LABEL: test9:
 176 ; CHECK-SSE:       ## %bb.0:
 177 ; CHECK-SSE-NEXT:    roundss $11, %xmm0, %xmm0
 178 ; CHECK-SSE-NEXT:    retq
 179 ;
 180 ; CHECK-AVX-LABEL: test9:
 181 ; CHECK-AVX:       ## %bb.0:
 182 ; CHECK-AVX-NEXT:    vroundss $11, %xmm0, %xmm0, %xmm0
 183 ; CHECK-AVX-NEXT:    retq
 184 ;
 185 ; CHECK-AVX512-LABEL: test9:
 186 ; CHECK-AVX512:       ## %bb.0:
 187 ; CHECK-AVX512-NEXT:    vroundss $11, %xmm0, %xmm0, %xmm0
 188 ; CHECK-AVX512-NEXT:    retq
 189   %call = tail call float @truncf(float %x) nounwind readnone
 190   ret float %call
 191 }
 192
 193 declare float @truncf(float) nounwind readnone
 194
 195 define double @test10(double %x) nounwind  {
 196 ; CHECK-SSE-LABEL: test10:
 197 ; CHECK-SSE:       ## %bb.0:
 198 ; CHECK-SSE-NEXT:    roundsd $11, %xmm0, %xmm0
 199 ; CHECK-SSE-NEXT:    retq
 200 ;
 201 ; CHECK-AVX-LABEL: test10:
 202 ; CHECK-AVX:       ## %bb.0:
 203 ; CHECK-AVX-NEXT:    vroundsd $11, %xmm0, %xmm0, %xmm0
 204 ; CHECK-AVX-NEXT:    retq
 205 ;
 206 ; CHECK-AVX512-LABEL: test10:
 207 ; CHECK-AVX512:       ## %bb.0:
 208 ; CHECK-AVX512-NEXT:    vroundsd $11, %xmm0, %xmm0, %xmm0
 209 ; CHECK-AVX512-NEXT:    retq
 210   %call = tail call double @trunc(double %x) nounwind readnone
 211   ret double %call
 212 }
 213
 214 declare double @trunc(double) nounwind readnone
 215
 216 define float @test11(float* %xptr) nounwind optsize {
 217 ; CHECK-SSE-LABEL: test11:
 218 ; CHECK-SSE:       ## %bb.0:
 219 ; CHECK-SSE-NEXT:    roundss $11, (%rdi), %xmm0
 220 ; CHECK-SSE-NEXT:    retq
 221 ;
 222 ; CHECK-AVX-LABEL: test11:
 223 ; CHECK-AVX:       ## %bb.0:
 224 ; CHECK-AVX-NEXT:    vroundss $11, (%rdi), %xmm0, %xmm0
 225 ; CHECK-AVX-NEXT:    retq
 226 ;
 227 ; CHECK-AVX512-LABEL: test11:
 228 ; CHECK-AVX512:       ## %bb.0:
 229 ; CHECK-AVX512-NEXT:    vroundss $11, (%rdi), %xmm0, %xmm0
 230 ; CHECK-AVX512-NEXT:    retq
 231   %x = load float, float* %xptr
 232   %call = tail call float @truncf(float %x) nounwind readnone
 233   ret float %call
 234 }
 235
 236 define double @test12(double* %xptr) nounwind optsize {
 237 ; CHECK-SSE-LABEL: test12:
 238 ; CHECK-SSE:       ## %bb.0:
 239 ; CHECK-SSE-NEXT:    roundsd $11, (%rdi), %xmm0
 240 ; CHECK-SSE-NEXT:    retq
 241 ;
 242 ; CHECK-AVX-LABEL: test12:
 243 ; CHECK-AVX:       ## %bb.0:
 244 ; CHECK-AVX-NEXT:    vroundsd $11, (%rdi), %xmm0, %xmm0
 245 ; CHECK-AVX-NEXT:    retq
 246 ;
 247 ; CHECK-AVX512-LABEL: test12:
 248 ; CHECK-AVX512:       ## %bb.0:
 249 ; CHECK-AVX512-NEXT:    vroundsd $11, (%rdi), %xmm0, %xmm0
 250 ; CHECK-AVX512-NEXT:    retq
 251   %x = load double, double* %xptr
 252   %call = tail call double @trunc(double %x) nounwind readnone
 253   ret double %call
 254 }