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

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.10.0"
   5
   6 define void @test_copysign_const_magnitude_d(double %X) {
   7 ; CHECK: [[SIGNMASK:L.+]]:
   8 ; CHECK-NEXT:   .quad -9223372036854775808    ## double -0.000000e+00
   9 ; CHECK-NEXT:   .quad 0                       ## double 0.000000e+00
  10 ; CHECK: [[ZERO:L.+]]:
  11 ; CHECK-NEXT:   .space 16
  12 ; CHECK: [[ONE:L.+]]:
  13 ; CHECK-NEXT:   .quad 4607182418800017408     ## double 1.000000e+00
  14 ; CHECK-NEXT:   .quad 0                       ## double 0.000000e+00
  15 ; CHECK-LABEL: test_copysign_const_magnitude_d:
  16
  17 ; CHECK: id
  18   %iX = call double @id_d(double %X)
  19
  20 ; CHECK-NEXT: andpd [[SIGNMASK]](%rip), %xmm0
  21   %d0 = call double @copysign(double 0.000000e+00, double %iX)
  22
  23 ; CHECK-NEXT: id
  24   %id0 = call double @id_d(double %d0)
  25
  26 ; CHECK-NEXT: andpd [[SIGNMASK]](%rip), %xmm0
  27 ; CHECK-NEXT: orpd [[ZERO]](%rip), %xmm0
  28   %dn0 = call double @copysign(double -0.000000e+00, double %id0)
  29
  30 ; CHECK-NEXT: id
  31   %idn0 = call double @id_d(double %dn0)
  32
  33 ; CHECK-NEXT: andpd [[SIGNMASK]](%rip), %xmm0
  34 ; CHECK-NEXT: orpd [[ONE]](%rip), %xmm0
  35   %d1 = call double @copysign(double 1.000000e+00, double %idn0)
  36
  37 ; CHECK-NEXT: id
  38   %id1 = call double @id_d(double %d1)
  39
  40 ; CHECK-NEXT: andpd [[SIGNMASK]](%rip), %xmm0
  41 ; CHECK-NEXT: orpd [[ONE]](%rip), %xmm0
  42   %dn1 = call double @copysign(double -1.000000e+00, double %id1)
  43
  44 ; CHECK-NEXT: id
  45   %idn1 = call double @id_d(double %dn1)
  46
  47 ; CHECK: retq
  48   ret void
  49 }
  50
  51 define void @test_copysign_const_magnitude_f(float %X) {
  52 ; CHECK: [[SIGNMASK:L.+]]:
  53 ; CHECK-NEXT:   .long   2147483648              ## float -0.000000e+00
  54 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  55 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  56 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  57 ; CHECK: [[ZERO:L.+]]:
  58 ; CHECK-NEXT:   .space 16
  59 ; CHECK: [[ONE:L.+]]:
  60 ; CHECK-NEXT:   .long   1065353216              ## float 1.000000e+00
  61 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  62 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  63 ; CHECK-NEXT:   .long   0                       ## float 0.000000e+00
  64 ; CHECK-LABEL: test_copysign_const_magnitude_f:
  65
  66 ; CHECK: id
  67   %iX = call float @id_f(float %X)
  68
  69 ; CHECK-NEXT: andps [[SIGNMASK]](%rip), %xmm0
  70   %d0 = call float @copysignf(float 0.000000e+00, float %iX)
  71
  72 ; CHECK-NEXT: id
  73   %id0 = call float @id_f(float %d0)
  74
  75 ; CHECK-NEXT: andps [[SIGNMASK]](%rip), %xmm0
  76 ; CHECK-NEXT: orps [[ZERO]](%rip), %xmm0
  77   %dn0 = call float @copysignf(float -0.000000e+00, float %id0)
  78
  79 ; CHECK-NEXT: id
  80   %idn0 = call float @id_f(float %dn0)
  81
  82 ; CHECK-NEXT: andps [[SIGNMASK]](%rip), %xmm0
  83 ; CHECK-NEXT: orps [[ONE]](%rip), %xmm0
  84   %d1 = call float @copysignf(float 1.000000e+00, float %idn0)
  85
  86 ; CHECK-NEXT: id
  87   %id1 = call float @id_f(float %d1)
  88
  89 ; CHECK-NEXT: andps [[SIGNMASK]](%rip), %xmm0
  90 ; CHECK-NEXT: orps [[ONE]](%rip), %xmm0
  91   %dn1 = call float @copysignf(float -1.000000e+00, float %id1)
  92
  93 ; CHECK-NEXT: id
  94   %idn1 = call float @id_f(float %dn1)
  95
  96 ; CHECK: retq
  97   ret void
  98 }
  99
 100 declare double @copysign(double, double) nounwind readnone
 101 declare float @copysignf(float, float) nounwind readnone
 102
 103 ; Dummy identity functions, so we always have xmm0, and prevent optimizations.
 104 declare double @id_d(double)
 105 declare float @id_f(float)