llvm/test/Transforms/InstSimplify/frexp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
   2 ; RUN: opt -S -passes=instsimplify %s | FileCheck %s
   3
   4 declare { float, i32 } @llvm.frexp.f32.i32(float)
   5 declare { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float>)
   6 declare { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float>)
   7 declare { ppc_fp128, i32 } @llvm.frexp.ppcf128.i32(ppc_fp128)
   8 declare { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float>)
   9
  10
  11 define { float, i32 } @frexp_frexp(float %x) {
  12 ; CHECK-LABEL: define { float, i32 } @frexp_frexp
  13 ; CHECK-SAME: (float [[X:%.*]]) {
  14 ; CHECK-NEXT:    [[FREXP0:%.*]] = call { float, i32 } @llvm.frexp.f32.i32(float [[X]])
  15 ; CHECK-NEXT:    ret { float, i32 } [[FREXP0]]
  16 ;
  17   %frexp0 = call { float, i32 } @llvm.frexp.f32.i32(float %x)
  18   %frexp0.0 = extractvalue { float, i32 } %frexp0, 0
  19   %frexp1 = call { float, i32 } @llvm.frexp.f32.i32(float %frexp0.0)
  20   ret { float, i32 } %frexp1
  21 }
  22
  23 define { <2 x float>, <2 x i32> } @frexp_frexp_vector(<2 x float> %x) {
  24 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_frexp_vector
  25 ; CHECK-SAME: (<2 x float> [[X:%.*]]) {
  26 ; CHECK-NEXT:    [[FREXP0:%.*]] = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> [[X]])
  27 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } [[FREXP0]]
  28 ;
  29   %frexp0 = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %x)
  30   %frexp0.0 = extractvalue { <2 x float>, <2 x i32> } %frexp0, 0
  31   %frexp1 = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %frexp0.0)
  32   ret { <2 x float>, <2 x i32> } %frexp1
  33 }
  34
  35 define { float, i32 } @frexp_frexp_const(float %x) {
  36 ; CHECK-LABEL: define { float, i32 } @frexp_frexp_const
  37 ; CHECK-SAME: (float [[X:%.*]]) {
  38 ; CHECK-NEXT:    ret { float, i32 } { float 6.562500e-01, i32 0 }
  39 ;
  40   %frexp0 = call { float, i32 } @llvm.frexp.f32.i32(float 42.0)
  41   %frexp0.0 = extractvalue { float, i32 } %frexp0, 0
  42   %frexp1 = call { float, i32 } @llvm.frexp.f32.i32(float %frexp0.0)
  43   ret { float, i32 } %frexp1
  44 }
  45
  46 define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_frexp_scalable_vector(<vscale x 2 x float> %x) {
  47 ; CHECK-LABEL: define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_frexp_scalable_vector
  48 ; CHECK-SAME: (<vscale x 2 x float> [[X:%.*]]) {
  49 ; CHECK-NEXT:    [[FREXP0:%.*]] = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> [[X]])
  50 ; CHECK-NEXT:    ret { <vscale x 2 x float>, <vscale x 2 x i32> } [[FREXP0]]
  51 ;
  52   %frexp0 = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> %x)
  53   %frexp0.0 = extractvalue { <vscale x 2 x float>, <vscale x 2 x i32> } %frexp0, 0
  54   %frexp1 = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> %frexp0.0)
  55   ret { <vscale x 2 x float>, <vscale x 2 x i32> } %frexp1
  56 }
  57
  58 define { float, i32 } @frexp_poison() {
  59 ; CHECK-LABEL: define { float, i32 } @frexp_poison() {
  60 ; CHECK-NEXT:    ret { float, i32 } poison
  61 ;
  62   %ret = call { float, i32 } @llvm.frexp.f32.i32(float poison)
  63   ret { float, i32 } %ret
  64 }
  65
  66 define { <2 x float>, <2 x i32> } @frexp_poison_vector() {
  67 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_poison_vector() {
  68 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } poison
  69 ;
  70   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> poison)
  71   ret { <2 x float>, <2 x i32> } %ret
  72 }
  73
  74 define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_poison_scaleable_vector() {
  75 ; CHECK-LABEL: define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_poison_scaleable_vector() {
  76 ; CHECK-NEXT:    ret { <vscale x 2 x float>, <vscale x 2 x i32> } poison
  77 ;
  78   %ret = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> poison)
  79   ret { <vscale x 2 x float>, <vscale x 2 x i32> } %ret
  80 }
  81
  82 define { float, i32 } @frexp_undef() {
  83 ; CHECK-LABEL: define { float, i32 } @frexp_undef() {
  84 ; CHECK-NEXT:    [[RET:%.*]] = call { float, i32 } @llvm.frexp.f32.i32(float undef)
  85 ; CHECK-NEXT:    ret { float, i32 } [[RET]]
  86 ;
  87   %ret = call { float, i32 } @llvm.frexp.f32.i32(float undef)
  88   ret { float, i32 } %ret
  89 }
  90 define { <2 x float>, <2 x i32> } @frexp_undef_vector() {
  91 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_undef_vector() {
  92 ; CHECK-NEXT:    [[RET:%.*]] = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> undef)
  93 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } [[RET]]
  94 ;
  95   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> undef)
  96   ret { <2 x float>, <2 x i32> } %ret
  97 }
  98
  99 define { <2 x float>, <2 x i32> } @frexp_zero_vector() {
 100 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_zero_vector() {
 101 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } zeroinitializer
 102 ;
 103   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> zeroinitializer)
 104   ret { <2 x float>, <2 x i32> } %ret
 105 }
 106
 107 define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_zero_scalable_vector() {
 108 ; CHECK-LABEL: define { <vscale x 2 x float>, <vscale x 2 x i32> } @frexp_zero_scalable_vector() {
 109 ; CHECK-NEXT:    [[RET:%.*]] = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> zeroinitializer)
 110 ; CHECK-NEXT:    ret { <vscale x 2 x float>, <vscale x 2 x i32> } [[RET]]
 111 ;
 112   %ret = call { <vscale x 2 x float>, <vscale x 2 x i32> } @llvm.frexp.nxv2f32.nxv2i32(<vscale x 2 x float> zeroinitializer)
 113   ret { <vscale x 2 x float>, <vscale x 2 x i32> } %ret
 114 }
 115
 116 define { <2 x float>, <2 x i32> } @frexp_zero_negzero_vector() {
 117 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_zero_negzero_vector() {
 118 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } { <2 x float> <float 0.000000e+00, float -0.000000e+00>, <2 x i32> zeroinitializer }
 119 ;
 120   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float 0.0, float -0.0>)
 121   ret { <2 x float>, <2 x i32> } %ret
 122 }
 123
 124 define { <4 x float>, <4 x i32> } @frexp_nonsplat_vector() {
 125 ; CHECK-LABEL: define { <4 x float>, <4 x i32> } @frexp_nonsplat_vector() {
 126 ; CHECK-NEXT:    [[RET:%.*]] = call { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float> <float 1.600000e+01, float -3.200000e+01, float undef, float 9.999000e+03>)
 127 ; CHECK-NEXT:    ret { <4 x float>, <4 x i32> } [[RET]]
 128 ;
 129   %ret = call { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float> <float 16.0, float -32.0, float undef, float 9999.0>)
 130   ret { <4 x float>, <4 x i32> } %ret
 131 }
 132
 133 define { float, i32 } @frexp_zero() {
 134 ; CHECK-LABEL: define { float, i32 } @frexp_zero() {
 135 ; CHECK-NEXT:    ret { float, i32 } zeroinitializer
 136 ;
 137   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 0.0)
 138   ret { float, i32 } %ret
 139 }
 140
 141 define { float, i32 } @frexp_negzero() {
 142 ; CHECK-LABEL: define { float, i32 } @frexp_negzero() {
 143 ; CHECK-NEXT:    ret { float, i32 } { float -0.000000e+00, i32 0 }
 144 ;
 145   %ret = call { float, i32 } @llvm.frexp.f32.i32(float -0.0)
 146   ret { float, i32 } %ret
 147 }
 148
 149 define { float, i32 } @frexp_one() {
 150 ; CHECK-LABEL: define { float, i32 } @frexp_one() {
 151 ; CHECK-NEXT:    ret { float, i32 } { float 5.000000e-01, i32 1 }
 152 ;
 153   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 1.0)
 154   ret { float, i32 } %ret
 155 }
 156
 157 define { float, i32 } @frexp_negone() {
 158 ; CHECK-LABEL: define { float, i32 } @frexp_negone() {
 159 ; CHECK-NEXT:    ret { float, i32 } { float -5.000000e-01, i32 1 }
 160 ;
 161   %ret = call { float, i32 } @llvm.frexp.f32.i32(float -1.0)
 162   ret { float, i32 } %ret
 163 }
 164
 165 define { float, i32 } @frexp_two() {
 166 ; CHECK-LABEL: define { float, i32 } @frexp_two() {
 167 ; CHECK-NEXT:    ret { float, i32 } { float 5.000000e-01, i32 2 }
 168 ;
 169   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 2.0)
 170   ret { float, i32 } %ret
 171 }
 172
 173 define { float, i32 } @frexp_negtwo() {
 174 ; CHECK-LABEL: define { float, i32 } @frexp_negtwo() {
 175 ; CHECK-NEXT:    ret { float, i32 } { float -5.000000e-01, i32 2 }
 176 ;
 177   %ret = call { float, i32 } @llvm.frexp.f32.i32(float -2.0)
 178   ret { float, i32 } %ret
 179 }
 180
 181 define { float, i32 } @frexp_inf() {
 182 ; CHECK-LABEL: define { float, i32 } @frexp_inf() {
 183 ; CHECK-NEXT:    ret { float, i32 } { float 0x7FF0000000000000, i32 0 }
 184 ;
 185   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 0x7FF0000000000000)
 186   ret { float, i32 } %ret
 187 }
 188
 189 define { float, i32 } @frexp_neginf() {
 190 ; CHECK-LABEL: define { float, i32 } @frexp_neginf() {
 191 ; CHECK-NEXT:    ret { float, i32 } { float 0xFFF0000000000000, i32 0 }
 192 ;
 193   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 0xFFF0000000000000)
 194   ret { float, i32 } %ret
 195 }
 196
 197 define { float, i32 } @frexp_qnan() {
 198 ; CHECK-LABEL: define { float, i32 } @frexp_qnan() {
 199 ; CHECK-NEXT:    ret { float, i32 } { float 0x7FF8000000000000, i32 0 }
 200 ;
 201   %ret = call { float, i32 } @llvm.frexp.f32.i32(float 0x7FF8000000000000)
 202   ret { float, i32 } %ret
 203 }
 204
 205 define { float, i32 } @frexp_snan() {
 206 ; CHECK-LABEL: define { float, i32 } @frexp_snan() {
 207 ; CHECK-NEXT:    ret { float, i32 } { float 0x7FF8000020000000, i32 0 }
 208 ;
 209   %ret = call { float, i32 } @llvm.frexp.f32.i32(float bitcast (i32 2139095041 to float))
 210   ret { float, i32 } %ret
 211 }
 212
 213 define { float, i32 } @frexp_pos_denorm() {
 214 ; CHECK-LABEL: define { float, i32 } @frexp_pos_denorm() {
 215 ; CHECK-NEXT:    ret { float, i32 } { float 0x3FEFFFFFC0000000, i32 -126 }
 216 ;
 217   %ret = call { float, i32 } @llvm.frexp.f32.i32(float bitcast (i32 8388607 to float))
 218   ret { float, i32 } %ret
 219 }
 220
 221 define { float, i32 } @frexp_neg_denorm() {
 222 ; CHECK-LABEL: define { float, i32 } @frexp_neg_denorm() {
 223 ; CHECK-NEXT:    ret { float, i32 } { float 0xBFEFFFFFC0000000, i32 -126 }
 224 ;
 225   %ret = call { float, i32 } @llvm.frexp.f32.i32(float bitcast (i32 -2139095041 to float))
 226   ret { float, i32 } %ret
 227 }
 228
 229 define { ppc_fp128, i32 } @frexp_one_ppcf128() {
 230 ; CHECK-LABEL: define { ppc_fp128, i32 } @frexp_one_ppcf128() {
 231 ; CHECK-NEXT:    ret { ppc_fp128, i32 } { ppc_fp128 0xM3FE00000000000000000000000000000, i32 1 }
 232 ;
 233   %ret = call { ppc_fp128, i32 } @llvm.frexp.ppcf128.i32(ppc_fp128 0xM3FF00000000000000000000000000000)
 234   ret { ppc_fp128, i32 } %ret
 235 }
 236
 237 define { ppc_fp128, i32 } @frexp_negone_ppcf128() {
 238 ; CHECK-LABEL: define { ppc_fp128, i32 } @frexp_negone_ppcf128() {
 239 ; CHECK-NEXT:    ret { ppc_fp128, i32 } { ppc_fp128 0xMBFE00000000000000000000000000000, i32 1 }
 240 ;
 241   %ret = call { ppc_fp128, i32 } @llvm.frexp.ppcf128.i32(ppc_fp128 0xMBFF00000000000000000000000000000)
 242   ret { ppc_fp128, i32 } %ret
 243 }
 244
 245 define { ppc_fp128, i32} @canonicalize_noncanonical_zero_1_ppcf128() {
 246 ; CHECK-LABEL: define { ppc_fp128, i32 } @canonicalize_noncanonical_zero_1_ppcf128() {
 247 ; CHECK-NEXT:    ret { ppc_fp128, i32 } { ppc_fp128 0xM00000000000000000000000000000001, i32 0 }
 248 ;
 249   %ret = call { ppc_fp128, i32 } @llvm.frexp.ppcf128.i32(ppc_fp128 0xM00000000000000000000000000000001)
 250   ret { ppc_fp128, i32 } %ret
 251 }
 252
 253 define { <2 x float>, <2 x i32> } @frexp_splat_4() {
 254 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_splat_4() {
 255 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } { <2 x float> <float 5.000000e-01, float 5.000000e-01>, <2 x i32> <i32 3, i32 3> }
 256 ;
 257   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float 4.0, float 4.0>)
 258   ret { <2 x float>, <2 x i32> } %ret
 259 }
 260
 261 define { <2 x float>, <2 x i32> } @frexp_splat_qnan() {
 262 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_splat_qnan() {
 263 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } { <2 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000>, <2 x i32> zeroinitializer }
 264 ;
 265   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000>)
 266   ret { <2 x float>, <2 x i32> } %ret
 267 }
 268
 269 define { <2 x float>, <2 x i32> } @frexp_splat_inf() {
 270 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_splat_inf() {
 271 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } { <2 x float> <float 0x7FF0000000000000, float 0x7FF0000000000000>, <2 x i32> zeroinitializer }
 272 ;
 273   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float 0x7FF0000000000000, float 0x7FF0000000000000>)
 274   ret { <2 x float>, <2 x i32> } %ret
 275 }
 276
 277 define { <2 x float>, <2 x i32> } @frexp_splat_neginf() {
 278 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_splat_neginf() {
 279 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } { <2 x float> <float 0xFFF0000000000000, float 0xFFF0000000000000>, <2 x i32> zeroinitializer }
 280 ;
 281   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float 0xFFF0000000000000, float 0xFFF0000000000000>)
 282   ret { <2 x float>, <2 x i32> } %ret
 283 }
 284
 285 define { <2 x float>, <2 x i32> } @frexp_splat_undef_inf() {
 286 ; CHECK-LABEL: define { <2 x float>, <2 x i32> } @frexp_splat_undef_inf() {
 287 ; CHECK-NEXT:    [[RET:%.*]] = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float undef, float 0x7FF0000000000000>)
 288 ; CHECK-NEXT:    ret { <2 x float>, <2 x i32> } [[RET]]
 289 ;
 290   %ret = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> <float undef, float 0x7FF0000000000000>)
 291   ret { <2 x float>, <2 x i32> } %ret
 292 }