test/CodeGen/X86/copysign-constant-magnitude.ll

   1 ; RUN: llc -mtriple=x86_64-apple-macosx10.10.0 < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ; The assertions are *enhanced* from update_test_checks.ll to include
   6 ; the constant load values because those are important.
   7
   8 ; CHECK:        [[SIGNMASK1:L.+]]:
   9 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  10 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  11
  12 define double @mag_pos0_double(double %x) nounwind {
  13 ; CHECK-LABEL: mag_pos0_double:
  14 ; CHECK:       ## %bb.0:
  15 ; CHECK-NEXT:    andps [[SIGNMASK1]](%rip), %xmm0
  16 ; CHECK-NEXT:    retq
  17 ;
  18   %y = call double @copysign(double 0.0, double %x)
  19   ret double %y
  20 }
  21
  22 ; CHECK:        [[SIGNMASK2:L.+]]:
  23 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  24
  25 define double @mag_neg0_double(double %x) nounwind {
  26 ; CHECK-LABEL: mag_neg0_double:
  27 ; CHECK:       ## %bb.0:
  28 ; CHECK-NEXT:    movsd [[SIGNMASK2]](%rip), %xmm1
  29 ; CHECK-NEXT:    andps %xmm1, %xmm0
  30 ; CHECK-NEXT:    retq
  31 ;
  32   %y = call double @copysign(double -0.0, double %x)
  33   ret double %y
  34 }
  35
  36 ; CHECK:        [[SIGNMASK3:L.+]]:
  37 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  38 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  39 ; CHECK:        [[ONE3:L.+]]:
  40 ; CHECK-NEXT:   .quad 4607182418800017408     ## double 1
  41
  42 define double @mag_pos1_double(double %x) nounwind {
  43 ; CHECK-LABEL: mag_pos1_double:
  44 ; CHECK:       ## %bb.0:
  45 ; CHECK-NEXT:    andps [[SIGNMASK3]](%rip), %xmm0
  46 ; CHECK-NEXT:    movsd [[ONE3]](%rip), %xmm1
  47 ; CHECK-NEXT:    orps %xmm1, %xmm0
  48 ; CHECK-NEXT:    retq
  49 ;
  50   %y = call double @copysign(double 1.0, double %x)
  51   ret double %y
  52 }
  53
  54 ; CHECK:        [[SIGNMASK4:L.+]]:
  55 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  56 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0
  57 ; CHECK:        [[ONE4:L.+]]:
  58 ; CHECK-NEXT:   .quad 4607182418800017408     ## double 1
  59 ; CHECK-NEXT:   .quad 4607182418800017408     ## double 1
  60
  61 define double @mag_neg1_double(double %x) nounwind {
  62 ; CHECK-LABEL: mag_neg1_double:
  63 ; CHECK:       ## %bb.0:
  64 ; CHECK-NEXT:    andps [[SIGNMASK4]](%rip), %xmm0
  65 ; CHECK-NEXT:    orps [[ONE4]](%rip), %xmm0
  66 ; CHECK-NEXT:    retq
  67 ;
  68   %y = call double @copysign(double -1.0, double %x)
  69   ret double %y
  70 }
  71
  72 ; CHECK:       [[SIGNMASK5:L.+]]:
  73 ; CHECK-NEXT:  .long 2147483648              ## float -0
  74 ; CHECK-NEXT:  .long 2147483648              ## float -0
  75 ; CHECK-NEXT:  .long 2147483648              ## float -0
  76 ; CHECK-NEXT:  .long 2147483648              ## float -0
  77
  78 define float @mag_pos0_float(float %x) nounwind {
  79 ; CHECK-LABEL: mag_pos0_float:
  80 ; CHECK:       ## %bb.0:
  81 ; CHECK-NEXT:    andps [[SIGNMASK5]](%rip), %xmm0
  82 ; CHECK-NEXT:    retq
  83 ;
  84   %y = call float @copysignf(float 0.0, float %x)
  85   ret float %y
  86 }
  87
  88 ; CHECK:       [[SIGNMASK6:L.+]]:
  89 ; CHECK-NEXT:  .long 2147483648              ## float -0
  90
  91 define float @mag_neg0_float(float %x) nounwind {
  92 ; CHECK-LABEL: mag_neg0_float:
  93 ; CHECK:       ## %bb.0:
  94 ; CHECK-NEXT:    movss [[SIGNMASK6]](%rip), %xmm1
  95 ; CHECK-NEXT:    andps %xmm1, %xmm0
  96 ; CHECK-NEXT:    retq
  97 ;
  98   %y = call float @copysignf(float -0.0, float %x)
  99   ret float %y
 100 }
 101
 102 ; CHECK:       [[SIGNMASK7:L.+]]:
 103 ; CHECK-NEXT:  .long 2147483648              ## float -0
 104 ; CHECK-NEXT:  .long 2147483648              ## float -0
 105 ; CHECK-NEXT:  .long 2147483648              ## float -0
 106 ; CHECK-NEXT:  .long 2147483648              ## float -0
 107 ; CHECK:        [[ONE7:L.+]]:
 108 ; CHECK-NEXT:  .long 1065353216              ## float 1
 109
 110 define float @mag_pos1_float(float %x) nounwind {
 111 ; CHECK-LABEL: mag_pos1_float:
 112 ; CHECK:       ## %bb.0:
 113 ; CHECK-NEXT:    andps [[SIGNMASK7]](%rip), %xmm0
 114 ; CHECK-NEXT:    movss [[ONE7]](%rip), %xmm1
 115 ; CHECK-NEXT:    orps %xmm1, %xmm0
 116 ; CHECK-NEXT:    retq
 117 ;
 118   %y = call float @copysignf(float 1.0, float %x)
 119   ret float %y
 120 }
 121
 122 ; CHECK:       [[SIGNMASK8:L.+]]:
 123 ; CHECK-NEXT:  .long 2147483648              ## float -0
 124 ; CHECK-NEXT:  .long 2147483648              ## float -0
 125 ; CHECK-NEXT:  .long 2147483648              ## float -0
 126 ; CHECK-NEXT:  .long 2147483648              ## float -0
 127 ; CHECK:        [[ONE8:L.+]]:
 128 ; CHECK-NEXT:  .long 1065353216              ## float 1
 129 ; CHECK-NEXT:  .long 1065353216              ## float 1
 130 ; CHECK-NEXT:  .long 1065353216              ## float 1
 131 ; CHECK-NEXT:  .long 1065353216              ## float 1
 132
 133 define float @mag_neg1_float(float %x) nounwind {
 134 ; CHECK-LABEL: mag_neg1_float:
 135 ; CHECK:       ## %bb.0:
 136 ; CHECK-NEXT:    andps [[SIGNMASK8]](%rip), %xmm0
 137 ; CHECK-NEXT:    orps [[ONE8]](%rip), %xmm0
 138 ; CHECK-NEXT:    retq
 139 ;
 140   %y = call float @copysignf(float -1.0, float %x)
 141   ret float %y
 142 }
 143
 144 declare double @copysign(double, double) nounwind readnone
 145 declare float @copysignf(float, float) nounwind readnone
 146