[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / GlobalISel / fconstant.ll
blob6c3586acd3775b902c34ac01785bdb706e9334e3
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=x86_64-linux-gnu -mattr=+sse2 -global-isel                       -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK64 --check-prefix=CHECK_SMALL --check-prefix=CHECK_SMALL64 --check-prefix=CHECK_NOPIC64
3 ; RUN: llc -mtriple=x86_64-linux-gnu -mattr=+sse2 -global-isel -code-model=large     -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK64 --check-prefix=CHECK_LARGE --check-prefix=CHECK_LARGE64
4 ; RUN: llc -mtriple=i386-linux-gnu   -mattr=+sse2 -global-isel                       -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK32 --check-prefix=CHECK_SMALL --check-prefix=CHECK_SMALL32
5 ; RUN: llc -mtriple=i386-linux-gnu   -mattr=+sse2 -global-isel -code-model=large     -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK32 --check-prefix=CHECK_LARGE --check-prefix=CHECK_LARGE32
6 ; RUN: llc -mtriple=x86_64-linux-gnu -mattr=+sse2 -global-isel -relocation-model=pic -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK64 --check-prefix=CHECK_SMALL --check-prefix=CHECK_SMALL64 --check-prefix=CHECK_PIC64
8 define void @test_float(float* %a , float %b) {
9 ; CHECK_SMALL64-LABEL: test_float:
10 ; CHECK_SMALL64:       # %bb.0: # %entry
11 ; CHECK_SMALL64-NEXT:    movss .LCPI0_0(%rip), %xmm1 # xmm1 = mem[0],zero,zero,zero
12 ; CHECK_SMALL64-NEXT:    addss %xmm0, %xmm1
13 ; CHECK_SMALL64-NEXT:    movd %xmm1, %eax
14 ; CHECK_SMALL64-NEXT:    movl %eax, (%rdi)
15 ; CHECK_SMALL64-NEXT:    retq
17 ; CHECK_LARGE64-LABEL: test_float:
18 ; CHECK_LARGE64:       # %bb.0: # %entry
19 ; CHECK_LARGE64-NEXT:    movabsq $.LCPI0_0, %rax
20 ; CHECK_LARGE64-NEXT:    addss (%rax), %xmm0
21 ; CHECK_LARGE64-NEXT:    movd %xmm0, %eax
22 ; CHECK_LARGE64-NEXT:    movl %eax, (%rdi)
23 ; CHECK_LARGE64-NEXT:    retq
25 ; CHECK32-LABEL: test_float:
26 ; CHECK32:       # %bb.0: # %entry
27 ; CHECK32-NEXT:    movl 4(%esp), %eax
28 ; CHECK32-NEXT:    movl 8(%esp), %ecx
29 ; CHECK32-NEXT:    movss .LCPI0_0, %xmm0 # xmm0 = mem[0],zero,zero,zero
30 ; CHECK32-NEXT:    movd %ecx, %xmm1
31 ; CHECK32-NEXT:    addss %xmm0, %xmm1
32 ; CHECK32-NEXT:    movd %xmm1, %ecx
33 ; CHECK32-NEXT:    movl %ecx, (%eax)
34 ; CHECK32-NEXT:    retl
35 entry:
36   %aa = fadd float 5.500000e+00, %b
37   store float %aa, float* %a
38   ret void