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 9 ; CHECK-NEXT: .quad 0 ## double 0 10 ; CHECK: [[ZERO:L.+]]: 11 ; CHECK-NEXT: .space 16 12 ; CHECK: [[ONE:L.+]]: 13 ; CHECK-NEXT: .quad 4607182418800017408 ## double 1 14 ; CHECK-NEXT: .quad 0 ## double 0 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 54 ; CHECK-NEXT: .long 0 ## float 0 55 ; CHECK-NEXT: .long 0 ## float 0 56 ; CHECK-NEXT: .long 0 ## float 0 57 ; CHECK: [[ZERO:L.+]]: 58 ; CHECK-NEXT: .space 16 59 ; CHECK: [[ONE:L.+]]: 60 ; CHECK-NEXT: .long 1065353216 ## float 1 61 ; CHECK-NEXT: .long 0 ## float 0 62 ; CHECK-NEXT: .long 0 ## float 0 63 ; CHECK-NEXT: .long 0 ## float 0 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) 106
