[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr15309.ll
blob8717353377f31372a163a2c97cf96920788aaef1
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-linux-pc | FileCheck %s
4 define void @test_convert_float2_ulong2(<2 x i64>* nocapture %src, <2 x float>* nocapture %dest) nounwind {
5 ; CHECK-LABEL: test_convert_float2_ulong2:
6 ; CHECK:       # %bb.0:
7 ; CHECK-NEXT:    pushl %edi
8 ; CHECK-NEXT:    pushl %esi
9 ; CHECK-NEXT:    subl $20, %esp
10 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
11 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
12 ; CHECK-NEXT:    movl 168(%ecx), %edx
13 ; CHECK-NEXT:    movl 172(%ecx), %esi
14 ; CHECK-NEXT:    movl 160(%ecx), %edi
15 ; CHECK-NEXT:    movl 164(%ecx), %ecx
16 ; CHECK-NEXT:    movl %ecx, {{[0-9]+}}(%esp)
17 ; CHECK-NEXT:    movl %edi, (%esp)
18 ; CHECK-NEXT:    movl %esi, {{[0-9]+}}(%esp)
19 ; CHECK-NEXT:    movl %edx, {{[0-9]+}}(%esp)
20 ; CHECK-NEXT:    xorl %edx, %edx
21 ; CHECK-NEXT:    testl %ecx, %ecx
22 ; CHECK-NEXT:    setns %dl
23 ; CHECK-NEXT:    fildll (%esp)
24 ; CHECK-NEXT:    fadds {{\.LCPI.*}}(,%edx,4)
25 ; CHECK-NEXT:    xorl %ecx, %ecx
26 ; CHECK-NEXT:    testl %esi, %esi
27 ; CHECK-NEXT:    setns %cl
28 ; CHECK-NEXT:    fildll {{[0-9]+}}(%esp)
29 ; CHECK-NEXT:    fadds {{\.LCPI.*}}(,%ecx,4)
30 ; CHECK-NEXT:    fstps 84(%eax)
31 ; CHECK-NEXT:    fstps 80(%eax)
32 ; CHECK-NEXT:    addl $20, %esp
33 ; CHECK-NEXT:    popl %esi
34 ; CHECK-NEXT:    popl %edi
35 ; CHECK-NEXT:    retl
36   %t0 = getelementptr <2 x i64>, <2 x i64>* %src, i32 10
37   %t1 = load <2 x i64>, <2 x i64>* %t0, align 16
38   %t2 = uitofp <2 x i64> %t1 to <2 x float>
39   %t3 = getelementptr <2 x float>, <2 x float>* %dest, i32 10
40   store <2 x float> %t2, <2 x float>* %t3, align 8
41   ret void