| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=x86_64-apple-macosx10.10.0 < %s | FileCheck %s |
| |
| target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| |
| ; The assertions are *enhanced* from update_test_checks.ll to include |
| ; the constant load values because those are important. |
| |
| ; CHECK: [[SIGNMASK1:L.+]]: |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| |
| define double @mag_pos0_double(double %x) nounwind { |
| ; CHECK-LABEL: mag_pos0_double: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call double @copysign(double 0.0, double %x) |
| ret double %y |
| } |
| |
| ; CHECK: [[SIGNMASK2:L.+]]: |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| |
| define double @mag_neg0_double(double %x) nounwind { |
| ; CHECK-LABEL: mag_neg0_double: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call double @copysign(double -0.0, double %x) |
| ret double %y |
| } |
| |
| ; CHECK: [[SIGNMASK3:L.+]]: |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| ; CHECK: [[ONE3:L.+]]: |
| ; CHECK-NEXT: .quad 0x3ff0000000000000 ## double 1 |
| |
| define double @mag_pos1_double(double %x) nounwind { |
| ; CHECK-LABEL: mag_pos1_double: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: orps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call double @copysign(double 1.0, double %x) |
| ret double %y |
| } |
| |
| ; CHECK: [[SIGNMASK4:L.+]]: |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| ; CHECK-NEXT: .quad 0x8000000000000000 ## double -0 |
| ; CHECK: [[ONE4:L.+]]: |
| ; CHECK-NEXT: .quad 0x3ff0000000000000 ## double 1 |
| ; CHECK-NEXT: .quad 0x3ff0000000000000 ## double 1 |
| |
| define double @mag_neg1_double(double %x) nounwind { |
| ; CHECK-LABEL: mag_neg1_double: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: orps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call double @copysign(double -1.0, double %x) |
| ret double %y |
| } |
| |
| ; CHECK: [[SIGNMASK5:L.+]]: |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| |
| define float @mag_pos0_float(float %x) nounwind { |
| ; CHECK-LABEL: mag_pos0_float: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call float @copysignf(float 0.0, float %x) |
| ret float %y |
| } |
| |
| ; CHECK: [[SIGNMASK6:L.+]]: |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| |
| define float @mag_neg0_float(float %x) nounwind { |
| ; CHECK-LABEL: mag_neg0_float: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call float @copysignf(float -0.0, float %x) |
| ret float %y |
| } |
| |
| ; CHECK: [[SIGNMASK7:L.+]]: |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK: [[ONE7:L.+]]: |
| ; CHECK-NEXT: .long 0x3f800000 ## float 1 |
| |
| define float @mag_pos1_float(float %x) nounwind { |
| ; CHECK-LABEL: mag_pos1_float: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: orps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call float @copysignf(float 1.0, float %x) |
| ret float %y |
| } |
| |
| ; CHECK: [[SIGNMASK8:L.+]]: |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK-NEXT: .long 0x80000000 ## float -0 |
| ; CHECK: [[ONE8:L.+]]: |
| ; CHECK-NEXT: .long 0x3f800000 ## float 1 |
| ; CHECK-NEXT: .long 0x3f800000 ## float 1 |
| ; CHECK-NEXT: .long 0x3f800000 ## float 1 |
| ; CHECK-NEXT: .long 0x3f800000 ## float 1 |
| |
| define float @mag_neg1_float(float %x) nounwind { |
| ; CHECK-LABEL: mag_neg1_float: |
| ; CHECK: ## %bb.0: |
| ; CHECK-NEXT: andps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: orps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 |
| ; CHECK-NEXT: retq |
| %y = call float @copysignf(float -1.0, float %x) |
| ret float %y |
| } |
| |
| declare double @copysign(double, double) nounwind readnone |
| declare float @copysignf(float, float) nounwind readnone |
| |