[llvm] 4f7d397 - [X86] Add some basic fptosi/fptoui saturate vector tests
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Wed Dec 1 04:04:20 PST 2021
Author: Simon Pilgrim
Date: 2021-12-01T12:03:41Z
New Revision: 4f7d397b6dbf39222dff03143af8482901d0a5b8
URL: https://github.com/llvm/llvm-project/commit/4f7d397b6dbf39222dff03143af8482901d0a5b8
DIFF: https://github.com/llvm/llvm-project/commit/4f7d397b6dbf39222dff03143af8482901d0a5b8.diff
LOG: [X86] Add some basic fptosi/fptoui saturate vector tests
Added:
llvm/test/CodeGen/X86/fptosi-sat-vector-128.ll
llvm/test/CodeGen/X86/fptoui-sat-vector-128.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/X86/fptosi-sat-vector-128.ll b/llvm/test/CodeGen/X86/fptosi-sat-vector-128.ll
new file mode 100644
index 0000000000000..a568e3673846f
--- /dev/null
+++ b/llvm/test/CodeGen/X86/fptosi-sat-vector-128.ll
@@ -0,0 +1,1316 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
+
+;
+; 32-bit float to signed integer
+;
+
+declare <4 x i1> @llvm.fptosi.sat.v4i1.v4f32(<4 x float>)
+declare <4 x i8> @llvm.fptosi.sat.v4i8.v4f32(<4 x float>)
+declare <4 x i16> @llvm.fptosi.sat.v4i16.v4f32(<4 x float>)
+declare <4 x i32> @llvm.fptosi.sat.v4i32.v4f32(<4 x float>)
+declare <4 x i64> @llvm.fptosi.sat.v4i64.v4f32(<4 x float>)
+declare <4 x i128> @llvm.fptosi.sat.v4i128.v4f32(<4 x float>)
+
+define <4 x i1> @test_signed_v4i1_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i1_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: ucomiss %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm2, %xmm1
+; CHECK-NEXT: xorps %xmm3, %xmm3
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %ecx
+; CHECK-NEXT: cmovpl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm4
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm4 = xmm4[1],xmm0[1]
+; CHECK-NEXT: ucomiss %xmm4, %xmm4
+; CHECK-NEXT: maxss %xmm2, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %ecx
+; CHECK-NEXT: cmovpl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm4
+; CHECK-NEXT: punpckldq {{.*#+}} xmm4 = xmm4[0],xmm1[0],xmm4[1],xmm1[1]
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: maxss %xmm2, %xmm1
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %ecx
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: maxss %xmm2, %xmm0
+; CHECK-NEXT: minss %xmm3, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ecx
+; CHECK-NEXT: cmovpl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm4[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i1> @llvm.fptosi.sat.v4i1.v4f32(<4 x float> %f)
+ ret <4 x i1> %x
+}
+
+define <4 x i8> @test_signed_v4i8_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i8_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm2, %xmm3
+; CHECK-NEXT: maxss %xmm1, %xmm3
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm1, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: shll $8, %eax
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm3 = xmm3[1],xmm0[1]
+; CHECK-NEXT: movaps %xmm2, %xmm4
+; CHECK-NEXT: maxss %xmm3, %xmm4
+; CHECK-NEXT: movaps %xmm1, %xmm3
+; CHECK-NEXT: minss %xmm4, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %ecx
+; CHECK-NEXT: movzbl %cl, %ecx
+; CHECK-NEXT: orl %eax, %ecx
+; CHECK-NEXT: movaps %xmm2, %xmm3
+; CHECK-NEXT: maxss %xmm0, %xmm3
+; CHECK-NEXT: movaps %xmm1, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: maxss %xmm0, %xmm2
+; CHECK-NEXT: minss %xmm2, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %edx
+; CHECK-NEXT: shll $8, %edx
+; CHECK-NEXT: orl %eax, %edx
+; CHECK-NEXT: movd %edx, %xmm0
+; CHECK-NEXT: pinsrw $1, %ecx, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i8> @llvm.fptosi.sat.v4i8.v4f32(<4 x float> %f)
+ ret <4 x i8> %x
+}
+
+define <4 x i16> @test_signed_v4i16_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i16_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[1,1],xmm0[1,1]
+; CHECK-NEXT: movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm2, %xmm3
+; CHECK-NEXT: maxss %xmm1, %xmm3
+; CHECK-NEXT: movss {{.*#+}} xmm4 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm4, %xmm1
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %eax
+; CHECK-NEXT: movaps %xmm2, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movaps %xmm4, %xmm3
+; CHECK-NEXT: minss %xmm1, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %ecx
+; CHECK-NEXT: movd %ecx, %xmm1
+; CHECK-NEXT: pinsrw $1, %eax, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm3 = xmm3[1],xmm0[1]
+; CHECK-NEXT: movaps %xmm2, %xmm5
+; CHECK-NEXT: maxss %xmm3, %xmm5
+; CHECK-NEXT: movaps %xmm4, %xmm3
+; CHECK-NEXT: minss %xmm5, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %eax
+; CHECK-NEXT: pinsrw $2, %eax, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[3,3,3,3]
+; CHECK-NEXT: maxss %xmm0, %xmm2
+; CHECK-NEXT: minss %xmm2, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: pinsrw $3, %eax, %xmm1
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i16> @llvm.fptosi.sat.v4i16.v4f32(<4 x float> %f)
+ ret <4 x i16> %x
+}
+
+define <4 x i32> @test_signed_v4i32_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i32_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: cvttss2si %xmm1, %edx
+; CHECK-NEXT: movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss %xmm2, %xmm1
+; CHECK-NEXT: movl $2147483647, %eax # imm = 0x7FFFFFFF
+; CHECK-NEXT: cmoval %eax, %edx
+; CHECK-NEXT: xorl %ecx, %ecx
+; CHECK-NEXT: ucomiss %xmm1, %xmm1
+; CHECK-NEXT: cmovpl %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm3 = xmm3[1],xmm0[1]
+; CHECK-NEXT: cvttss2si %xmm3, %edx
+; CHECK-NEXT: ucomiss %xmm2, %xmm3
+; CHECK-NEXT: cmoval %eax, %edx
+; CHECK-NEXT: ucomiss %xmm3, %xmm3
+; CHECK-NEXT: cmovpl %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm3
+; CHECK-NEXT: punpckldq {{.*#+}} xmm3 = xmm3[0],xmm1[0],xmm3[1],xmm1[1]
+; CHECK-NEXT: cvttss2si %xmm0, %edx
+; CHECK-NEXT: ucomiss %xmm2, %xmm0
+; CHECK-NEXT: cmoval %eax, %edx
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: cvttss2si %xmm0, %edx
+; CHECK-NEXT: ucomiss %xmm2, %xmm0
+; CHECK-NEXT: cmoval %eax, %edx
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm3[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i32> @llvm.fptosi.sat.v4i32.v4f32(<4 x float> %f)
+ ret <4 x i32> %x
+}
+
+define <4 x i64> @test_signed_v4i64_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i64_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: cvttss2si %xmm0, %rdx
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss %xmm1, %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rax, %rdx
+; CHECK-NEXT: xorl %ecx, %ecx
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm2
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: shufps {{.*#+}} xmm3 = xmm3[1,1],xmm0[1,1]
+; CHECK-NEXT: cvttss2si %xmm3, %rdx
+; CHECK-NEXT: ucomiss %xmm1, %xmm3
+; CHECK-NEXT: cmovaq %rax, %rdx
+; CHECK-NEXT: ucomiss %xmm3, %xmm3
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm3
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: shufps {{.*#+}} xmm3 = xmm3[3,3],xmm0[3,3]
+; CHECK-NEXT: cvttss2si %xmm3, %rdx
+; CHECK-NEXT: ucomiss %xmm1, %xmm3
+; CHECK-NEXT: cmovaq %rax, %rdx
+; CHECK-NEXT: ucomiss %xmm3, %xmm3
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm3
+; CHECK-NEXT: movhlps {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: cvttss2si %xmm0, %rdx
+; CHECK-NEXT: ucomiss %xmm1, %xmm0
+; CHECK-NEXT: cmovaq %rax, %rdx
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm1
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm3[0]
+; CHECK-NEXT: movdqa %xmm2, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i64> @llvm.fptosi.sat.v4i64.v4f32(<4 x float> %f)
+ ret <4 x i64> %x
+}
+
+define <4 x i128> @test_signed_v4i128_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_signed_v4i128_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $56, %rsp
+; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill
+; CHECK-NEXT: movq %rdi, %r12
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rdx, %r15
+; CHECK-NEXT: xorl %ebp, %ebp
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %r15
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %r14 # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %r14, %r15
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %r15
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: movhlps {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rax, %r13
+; CHECK-NEXT: movq %rdx, %rbx
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %r13
+; CHECK-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rax, %rbx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r14, %rbx
+; CHECK-NEXT: movq $-1, %rax
+; CHECK-NEXT: cmovaq %rax, %r13
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %r13
+; CHECK-NEXT: cmovpq %rbp, %rbx
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[3,3,3,3]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rax, %rbp
+; CHECK-NEXT: movq %rdx, %r14
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %eax
+; CHECK-NEXT: cmovbq %rax, %rbp
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %r14
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rcx # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rcx, %r14
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rbp
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rax, %rbp
+; CHECK-NEXT: cmovpq %rax, %r14
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %esi
+; CHECK-NEXT: cmovbq %rsi, %rax
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rcx # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rsi, %rax
+; CHECK-NEXT: movl $0, %ecx
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, 8(%r12)
+; CHECK-NEXT: movq %rax, (%r12)
+; CHECK-NEXT: movq %r14, 56(%r12)
+; CHECK-NEXT: movq %rbp, 48(%r12)
+; CHECK-NEXT: movq %rbx, 40(%r12)
+; CHECK-NEXT: movq %r13, 32(%r12)
+; CHECK-NEXT: movq %r15, 24(%r12)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 16(%r12)
+; CHECK-NEXT: movq %r12, %rax
+; CHECK-NEXT: addq $56, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <4 x i128> @llvm.fptosi.sat.v4i128.v4f32(<4 x float> %f)
+ ret <4 x i128> %x
+}
+
+;
+; 64-bit float to signed integer
+;
+
+declare <2 x i1> @llvm.fptosi.sat.v2i1.v2f64(<2 x double>)
+declare <2 x i8> @llvm.fptosi.sat.v2i8.v2f64(<2 x double>)
+declare <2 x i16> @llvm.fptosi.sat.v2i16.v2f64(<2 x double>)
+declare <2 x i32> @llvm.fptosi.sat.v2i32.v2f64(<2 x double>)
+declare <2 x i64> @llvm.fptosi.sat.v2i64.v2f64(<2 x double>)
+declare <2 x i128> @llvm.fptosi.sat.v2i128.v2f64(<2 x double>)
+
+define <2 x i1> @test_signed_v2i1_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i1_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movsd {{.*#+}} xmm2 = mem[0],zero
+; CHECK-NEXT: movapd %xmm0, %xmm1
+; CHECK-NEXT: maxsd %xmm2, %xmm1
+; CHECK-NEXT: xorpd %xmm3, %xmm3
+; CHECK-NEXT: minsd %xmm3, %xmm1
+; CHECK-NEXT: cvttsd2si %xmm1, %rax
+; CHECK-NEXT: xorl %ecx, %ecx
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rcx, %rax
+; CHECK-NEXT: movq %rax, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: maxsd %xmm2, %xmm0
+; CHECK-NEXT: minsd %xmm3, %xmm0
+; CHECK-NEXT: cvttsd2si %xmm0, %rax
+; CHECK-NEXT: cmovpq %rcx, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm0[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i1> @llvm.fptosi.sat.v2i1.v2f64(<2 x double> %f)
+ ret <2 x i1> %x
+}
+
+define <2 x i8> @test_signed_v2i8_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i8_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
+; CHECK-NEXT: movapd %xmm1, %xmm2
+; CHECK-NEXT: maxsd %xmm0, %xmm2
+; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
+; CHECK-NEXT: movapd %xmm3, %xmm4
+; CHECK-NEXT: minsd %xmm2, %xmm4
+; CHECK-NEXT: cvttsd2si %xmm4, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: maxsd %xmm0, %xmm1
+; CHECK-NEXT: minsd %xmm1, %xmm3
+; CHECK-NEXT: cvttsd2si %xmm3, %ecx
+; CHECK-NEXT: shll $8, %ecx
+; CHECK-NEXT: orl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i8> @llvm.fptosi.sat.v2i8.v2f64(<2 x double> %f)
+ ret <2 x i8> %x
+}
+
+define <2 x i16> @test_signed_v2i16_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i16_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
+; CHECK-NEXT: movapd %xmm1, %xmm2
+; CHECK-NEXT: maxsd %xmm0, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: maxsd %xmm0, %xmm2
+; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; CHECK-NEXT: movapd %xmm0, %xmm3
+; CHECK-NEXT: minsd %xmm2, %xmm3
+; CHECK-NEXT: cvttsd2si %xmm3, %eax
+; CHECK-NEXT: minsd %xmm1, %xmm0
+; CHECK-NEXT: cvttsd2si %xmm0, %ecx
+; CHECK-NEXT: movd %ecx, %xmm0
+; CHECK-NEXT: pinsrw $1, %eax, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i16> @llvm.fptosi.sat.v2i16.v2f64(<2 x double> %f)
+ ret <2 x i16> %x
+}
+
+define <2 x i32> @test_signed_v2i32_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i32_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movsd {{.*#+}} xmm2 = mem[0],zero
+; CHECK-NEXT: movapd %xmm0, %xmm1
+; CHECK-NEXT: maxsd %xmm2, %xmm1
+; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
+; CHECK-NEXT: minsd %xmm3, %xmm1
+; CHECK-NEXT: cvttsd2si %xmm1, %eax
+; CHECK-NEXT: xorl %ecx, %ecx
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %ecx, %eax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: maxsd %xmm2, %xmm0
+; CHECK-NEXT: minsd %xmm3, %xmm0
+; CHECK-NEXT: cvttsd2si %xmm0, %eax
+; CHECK-NEXT: cmovpl %ecx, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i32> @llvm.fptosi.sat.v2i32.v2f64(<2 x double> %f)
+ ret <2 x i32> %x
+}
+
+define <2 x i64> @test_signed_v2i64_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i64_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: cvttsd2si %xmm0, %rax
+; CHECK-NEXT: movsd {{.*#+}} xmm2 = mem[0],zero
+; CHECK-NEXT: ucomisd %xmm2, %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rcx # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: xorl %edx, %edx
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rdx, %rax
+; CHECK-NEXT: movq %rax, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: cvttsd2si %xmm0, %rax
+; CHECK-NEXT: ucomisd %xmm2, %xmm0
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rdx, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm0[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i64> @llvm.fptosi.sat.v2i64.v2f64(<2 x double> %f)
+ ret <2 x i64> %x
+}
+
+define <2 x i128> @test_signed_v2i128_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_signed_v2i128_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $40, %rsp
+; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill
+; CHECK-NEXT: movq %rdi, %r14
+; CHECK-NEXT: movhlps {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixdfti at PLT
+; CHECK-NEXT: movq %rax, %r15
+; CHECK-NEXT: movq %rdx, %rbx
+; CHECK-NEXT: xorl %r12d, %r12d
+; CHECK-NEXT: movapd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r12, %r15
+; CHECK-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rax, %rbx
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rbp # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rbp, %rbx
+; CHECK-NEXT: movq $-1, %r13
+; CHECK-NEXT: cmovaq %r13, %r15
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %r15
+; CHECK-NEXT: cmovpq %r12, %rbx
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: callq __fixdfti at PLT
+; CHECK-NEXT: movapd (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r12, %rax
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %rdx
+; CHECK-NEXT: cmovaq %r13, %rax
+; CHECK-NEXT: ucomisd %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: cmovpq %r12, %rdx
+; CHECK-NEXT: movq %rdx, 8(%r14)
+; CHECK-NEXT: movq %rax, (%r14)
+; CHECK-NEXT: movq %rbx, 24(%r14)
+; CHECK-NEXT: movq %r15, 16(%r14)
+; CHECK-NEXT: movq %r14, %rax
+; CHECK-NEXT: addq $40, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <2 x i128> @llvm.fptosi.sat.v2i128.v2f64(<2 x double> %f)
+ ret <2 x i128> %x
+}
+
+;
+; 16-bit float to signed integer
+;
+
+declare <8 x i1> @llvm.fptosi.sat.v8i1.v8f16(<8 x half>)
+declare <8 x i8> @llvm.fptosi.sat.v8i8.v8f16(<8 x half>)
+declare <8 x i16> @llvm.fptosi.sat.v8i16.v8f16(<8 x half>)
+declare <8 x i32> @llvm.fptosi.sat.v8i32.v8f16(<8 x half>)
+declare <8 x i64> @llvm.fptosi.sat.v8i64.v8f16(<8 x half>)
+declare <8 x i128> @llvm.fptosi.sat.v8i128.v8f16(<8 x half>)
+
+define <8 x i1> @test_signed_v8i1_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i1_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $72, %rsp
+; CHECK-NEXT: movl %r9d, %ebp
+; CHECK-NEXT: movl %r8d, %ebx
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movl %esi, %r15d
+; CHECK-NEXT: movl %edi, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: addq $72, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i1> @llvm.fptosi.sat.v8i1.v8f16(<8 x half> %f)
+ ret <8 x i1> %x
+}
+
+define <8 x i8> @test_signed_v8i8_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i8_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $40, %rsp
+; CHECK-NEXT: movl %r9d, %r13d
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %edx, %r14d
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %r15d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl %cx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %r12d
+; CHECK-NEXT: shll $8, %r12d
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %ebx
+; CHECK-NEXT: orl %r12d, %ebx
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebp
+; CHECK-NEXT: shll $8, %ebp
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebp, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: pinsrw $1, %ebx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebx
+; CHECK-NEXT: shll $8, %ebx
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebx, %eax
+; CHECK-NEXT: movdqa {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: pinsrw $2, %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebx
+; CHECK-NEXT: shll $8, %ebx
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebx, %eax
+; CHECK-NEXT: movdqa {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: pinsrw $3, %eax, %xmm0
+; CHECK-NEXT: addq $40, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i8> @llvm.fptosi.sat.v8i8.v8f16(<8 x half> %f)
+ ret <8 x i8> %x
+}
+
+define <8 x i16> @test_signed_v8i16_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i16_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $72, %rsp
+; CHECK-NEXT: movl %r9d, %ebp
+; CHECK-NEXT: movl %r8d, %ebx
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movl %esi, %r15d
+; CHECK-NEXT: movl %edi, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: addq $72, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i16> @llvm.fptosi.sat.v8i16.v8f16(<8 x half> %f)
+ ret <8 x i16> %x
+}
+
+define <8 x i32> @test_signed_v8i32_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i32_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $88, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %edx, %r14d
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %ebx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r13d
+; CHECK-NEXT: movzwl %cx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $2147483647, %r15d # imm = 0x7FFFFFFF
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: xorl %r12d, %r12d
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r13d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r15d, %eax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpl %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm1 = xmm1[0],mem[0]
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: addq $88, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i32> @llvm.fptosi.sat.v8i32.v8f16(<8 x half> %f)
+ ret <8 x i32> %x
+}
+
+define <8 x i64> @test_signed_v8i64_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i64_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $104, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %ebx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %r15 # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: xorl %r12d, %r12d
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %r12, %rax
+; CHECK-NEXT: movq %rax, %xmm2
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm2 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm2 = xmm2[0],mem[0]
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm3 # 16-byte Reload
+; CHECK-NEXT: addq $104, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i64> @llvm.fptosi.sat.v8i64.v8f16(<8 x half> %f)
+ ret <8 x i64> %x
+}
+
+define <8 x i128> @test_signed_v8i128_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_signed_v8i128_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $88, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %ecx, %r14d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movq %rdi, %rbx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl %si, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: xorl %ebp, %ebp
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: movq %rcx, %r13
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %r15 # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %r15, %rdx
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rdx
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: movq $-1, %r12
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rdx
+; CHECK-NEXT: cmovaq %r12, %rax
+; CHECK-NEXT: movq $-1, %r14
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %rdx
+; CHECK-NEXT: cmovaq %r14, %rax
+; CHECK-NEXT: movq $-1, %r14
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rdx, %r12
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %rax
+; CHECK-NEXT: cmovbq %r13, %r12
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r15, %r12
+; CHECK-NEXT: cmovaq %r14, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovpq %rbp, %r12
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rax, %r14
+; CHECK-NEXT: movq %rdx, %r15
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %rbp, %r14
+; CHECK-NEXT: cmovbq %r13, %r15
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rax, %r15
+; CHECK-NEXT: movq $-1, %rax
+; CHECK-NEXT: cmovaq %rax, %r14
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rbp, %r14
+; CHECK-NEXT: cmovpq %rbp, %r15
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movq %rax, %r13
+; CHECK-NEXT: movq %rdx, %rbp
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %eax
+; CHECK-NEXT: cmovbq %rax, %r13
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %rbp
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rcx # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rcx, %rbp
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %r13
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rax, %r13
+; CHECK-NEXT: cmovpq %rax, %rbp
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixsfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: movl $0, %esi
+; CHECK-NEXT: cmovbq %rsi, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movabsq $9223372036854775807, %rcx # imm = 0x7FFFFFFFFFFFFFFF
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: ucomiss %xmm0, %xmm0
+; CHECK-NEXT: cmovpq %rsi, %rax
+; CHECK-NEXT: movl $0, %ecx
+; CHECK-NEXT: cmovpq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, 120(%rbx)
+; CHECK-NEXT: movq %rax, 112(%rbx)
+; CHECK-NEXT: movq %rbp, 104(%rbx)
+; CHECK-NEXT: movq %r13, 96(%rbx)
+; CHECK-NEXT: movq %r15, 88(%rbx)
+; CHECK-NEXT: movq %r14, 80(%rbx)
+; CHECK-NEXT: movq %r12, 72(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 64(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 56(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 48(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 40(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 32(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 24(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 16(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 8(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, (%rbx)
+; CHECK-NEXT: movq %rbx, %rax
+; CHECK-NEXT: addq $88, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i128> @llvm.fptosi.sat.v8i128.v8f16(<8 x half> %f)
+ ret <8 x i128> %x
+}
diff --git a/llvm/test/CodeGen/X86/fptoui-sat-vector-128.ll b/llvm/test/CodeGen/X86/fptoui-sat-vector-128.ll
new file mode 100644
index 0000000000000..44b6ca0c55d64
--- /dev/null
+++ b/llvm/test/CodeGen/X86/fptoui-sat-vector-128.ll
@@ -0,0 +1,1336 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
+
+;
+; 32-bit float to unsigned integer
+;
+
+declare <4 x i1> @llvm.fptoui.sat.v4i1.v4f32(<4 x float>)
+declare <4 x i8> @llvm.fptoui.sat.v4i8.v4f32(<4 x float>)
+declare <4 x i16> @llvm.fptoui.sat.v4i16.v4f32(<4 x float>)
+declare <4 x i32> @llvm.fptoui.sat.v4i32.v4f32(<4 x float>)
+declare <4 x i64> @llvm.fptoui.sat.v4i64.v4f32(<4 x float>)
+declare <4 x i128> @llvm.fptoui.sat.v4i128.v4f32(<4 x float>)
+
+define <4 x i1> @test_unsigned_v4i1_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i1_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: xorps %xmm2, %xmm2
+; CHECK-NEXT: maxss %xmm2, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm3 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %eax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm4
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm4 = xmm4[1],xmm0[1]
+; CHECK-NEXT: maxss %xmm2, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: movd %eax, %xmm4
+; CHECK-NEXT: punpckldq {{.*#+}} xmm4 = xmm4[0],xmm1[0],xmm4[1],xmm1[1]
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: maxss %xmm2, %xmm1
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %eax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: maxss %xmm2, %xmm0
+; CHECK-NEXT: minss %xmm3, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm4[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i1> @llvm.fptoui.sat.v4i1.v4f32(<4 x float> %f)
+ ret <4 x i1> %x
+}
+
+define <4 x i8> @test_unsigned_v4i8_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i8_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: xorps %xmm2, %xmm2
+; CHECK-NEXT: xorps %xmm3, %xmm3
+; CHECK-NEXT: maxss %xmm1, %xmm3
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm1, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: shll $8, %eax
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm3 = xmm3[1],xmm0[1]
+; CHECK-NEXT: xorps %xmm4, %xmm4
+; CHECK-NEXT: maxss %xmm3, %xmm4
+; CHECK-NEXT: movaps %xmm1, %xmm3
+; CHECK-NEXT: minss %xmm4, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %ecx
+; CHECK-NEXT: movzbl %cl, %ecx
+; CHECK-NEXT: orl %eax, %ecx
+; CHECK-NEXT: xorps %xmm3, %xmm3
+; CHECK-NEXT: maxss %xmm0, %xmm3
+; CHECK-NEXT: movaps %xmm1, %xmm4
+; CHECK-NEXT: minss %xmm3, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: maxss %xmm0, %xmm2
+; CHECK-NEXT: minss %xmm2, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %edx
+; CHECK-NEXT: shll $8, %edx
+; CHECK-NEXT: orl %eax, %edx
+; CHECK-NEXT: movd %edx, %xmm0
+; CHECK-NEXT: pinsrw $1, %ecx, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i8> @llvm.fptoui.sat.v4i8.v4f32(<4 x float> %f)
+ ret <4 x i8> %x
+}
+
+define <4 x i16> @test_unsigned_v4i16_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i16_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[1,1],xmm0[1,1]
+; CHECK-NEXT: xorps %xmm2, %xmm2
+; CHECK-NEXT: xorps %xmm3, %xmm3
+; CHECK-NEXT: maxss %xmm1, %xmm3
+; CHECK-NEXT: movss {{.*#+}} xmm4 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm4, %xmm1
+; CHECK-NEXT: minss %xmm3, %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %eax
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movaps %xmm4, %xmm3
+; CHECK-NEXT: minss %xmm1, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %ecx
+; CHECK-NEXT: movd %ecx, %xmm1
+; CHECK-NEXT: pinsrw $1, %eax, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm3
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm3 = xmm3[1],xmm0[1]
+; CHECK-NEXT: xorps %xmm5, %xmm5
+; CHECK-NEXT: maxss %xmm3, %xmm5
+; CHECK-NEXT: movaps %xmm4, %xmm3
+; CHECK-NEXT: minss %xmm5, %xmm3
+; CHECK-NEXT: cvttss2si %xmm3, %eax
+; CHECK-NEXT: pinsrw $2, %eax, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[3,3,3,3]
+; CHECK-NEXT: maxss %xmm0, %xmm2
+; CHECK-NEXT: minss %xmm2, %xmm4
+; CHECK-NEXT: cvttss2si %xmm4, %eax
+; CHECK-NEXT: pinsrw $3, %eax, %xmm1
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i16> @llvm.fptoui.sat.v4i16.v4f32(<4 x float> %f)
+ ret <4 x i16> %x
+}
+
+define <4 x i32> @test_unsigned_v4i32_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i32_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm1 = xmm1[3,3],xmm0[3,3]
+; CHECK-NEXT: cvttss2si %xmm1, %rdx
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: xorps %xmm2, %xmm2
+; CHECK-NEXT: ucomiss %xmm2, %xmm1
+; CHECK-NEXT: cmovbl %eax, %edx
+; CHECK-NEXT: movss {{.*#+}} xmm3 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss %xmm3, %xmm1
+; CHECK-NEXT: movl $-1, %ecx
+; CHECK-NEXT: cmoval %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm1
+; CHECK-NEXT: movaps %xmm0, %xmm4
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm4 = xmm4[1],xmm0[1]
+; CHECK-NEXT: cvttss2si %xmm4, %rdx
+; CHECK-NEXT: ucomiss %xmm2, %xmm4
+; CHECK-NEXT: cmovbl %eax, %edx
+; CHECK-NEXT: ucomiss %xmm3, %xmm4
+; CHECK-NEXT: cmoval %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm4
+; CHECK-NEXT: punpckldq {{.*#+}} xmm4 = xmm4[0],xmm1[0],xmm4[1],xmm1[1]
+; CHECK-NEXT: cvttss2si %xmm0, %rdx
+; CHECK-NEXT: ucomiss %xmm2, %xmm0
+; CHECK-NEXT: cmovbl %eax, %edx
+; CHECK-NEXT: ucomiss %xmm3, %xmm0
+; CHECK-NEXT: cmoval %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm1
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: cvttss2si %xmm0, %rdx
+; CHECK-NEXT: ucomiss %xmm2, %xmm0
+; CHECK-NEXT: cmovbl %eax, %edx
+; CHECK-NEXT: ucomiss %xmm3, %xmm0
+; CHECK-NEXT: cmoval %ecx, %edx
+; CHECK-NEXT: movd %edx, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm4[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i32> @llvm.fptoui.sat.v4i32.v4f32(<4 x float> %f)
+ ret <4 x i32> %x
+}
+
+define <4 x i64> @test_unsigned_v4i64_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i64_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: movaps %xmm0, %xmm2
+; CHECK-NEXT: subss %xmm1, %xmm2
+; CHECK-NEXT: cvttss2si %xmm2, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: xorps %xmm3, %xmm3
+; CHECK-NEXT: ucomiss %xmm3, %xmm0
+; CHECK-NEXT: cmovbq %rax, %rdx
+; CHECK-NEXT: movss {{.*#+}} xmm4 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss %xmm4, %xmm0
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm2
+; CHECK-NEXT: movaps %xmm0, %xmm5
+; CHECK-NEXT: shufps {{.*#+}} xmm5 = xmm5[1,1],xmm0[1,1]
+; CHECK-NEXT: movaps %xmm5, %xmm6
+; CHECK-NEXT: subss %xmm1, %xmm6
+; CHECK-NEXT: cvttss2si %xmm6, %rdx
+; CHECK-NEXT: cvttss2si %xmm5, %rsi
+; CHECK-NEXT: movq %rsi, %rdi
+; CHECK-NEXT: sarq $63, %rdi
+; CHECK-NEXT: andq %rdx, %rdi
+; CHECK-NEXT: orq %rsi, %rdi
+; CHECK-NEXT: ucomiss %xmm3, %xmm5
+; CHECK-NEXT: cmovbq %rax, %rdi
+; CHECK-NEXT: ucomiss %xmm4, %xmm5
+; CHECK-NEXT: cmovaq %rcx, %rdi
+; CHECK-NEXT: movq %rdi, %xmm5
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm5[0]
+; CHECK-NEXT: movaps %xmm0, %xmm5
+; CHECK-NEXT: shufps {{.*#+}} xmm5 = xmm5[3,3],xmm0[3,3]
+; CHECK-NEXT: movaps %xmm5, %xmm6
+; CHECK-NEXT: subss %xmm1, %xmm6
+; CHECK-NEXT: cvttss2si %xmm6, %rdx
+; CHECK-NEXT: cvttss2si %xmm5, %rsi
+; CHECK-NEXT: movq %rsi, %rdi
+; CHECK-NEXT: sarq $63, %rdi
+; CHECK-NEXT: andq %rdx, %rdi
+; CHECK-NEXT: orq %rsi, %rdi
+; CHECK-NEXT: ucomiss %xmm3, %xmm5
+; CHECK-NEXT: cmovbq %rax, %rdi
+; CHECK-NEXT: ucomiss %xmm4, %xmm5
+; CHECK-NEXT: cmovaq %rcx, %rdi
+; CHECK-NEXT: movq %rdi, %xmm5
+; CHECK-NEXT: movhlps {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movaps %xmm0, %xmm6
+; CHECK-NEXT: subss %xmm1, %xmm6
+; CHECK-NEXT: cvttss2si %xmm6, %rdx
+; CHECK-NEXT: cvttss2si %xmm0, %rsi
+; CHECK-NEXT: movq %rsi, %rdi
+; CHECK-NEXT: sarq $63, %rdi
+; CHECK-NEXT: andq %rdx, %rdi
+; CHECK-NEXT: orq %rsi, %rdi
+; CHECK-NEXT: ucomiss %xmm3, %xmm0
+; CHECK-NEXT: cmovbq %rax, %rdi
+; CHECK-NEXT: ucomiss %xmm4, %xmm0
+; CHECK-NEXT: cmovaq %rcx, %rdi
+; CHECK-NEXT: movq %rdi, %xmm1
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm5[0]
+; CHECK-NEXT: movdqa %xmm2, %xmm0
+; CHECK-NEXT: retq
+ %x = call <4 x i64> @llvm.fptoui.sat.v4i64.v4f32(<4 x float> %f)
+ ret <4 x i64> %x
+}
+
+define <4 x i128> @test_unsigned_v4i128_v4f32(<4 x float> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v4i128_v4f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $56, %rsp
+; CHECK-NEXT: movaps %xmm0, (%rsp) # 16-byte Spill
+; CHECK-NEXT: movq %rdi, %rbx
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[1,1,1,1]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rdx, %r15
+; CHECK-NEXT: xorl %r14d, %r14d
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload
+; CHECK-NEXT: ucomiss %xmm0, %xmm1
+; CHECK-NEXT: cmovbq %r14, %r15
+; CHECK-NEXT: cmovbq %r14, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: movq $-1, %rbp
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %r15
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: movhlps {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rax, %r12
+; CHECK-NEXT: movq %rdx, %r13
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r14, %r13
+; CHECK-NEXT: cmovbq %r14, %r12
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %r12
+; CHECK-NEXT: cmovaq %rbp, %r13
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: shufps {{.*#+}} xmm0 = xmm0[3,3,3,3]
+; CHECK-NEXT: movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rax, %rbp
+; CHECK-NEXT: movq %rdx, %r14
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %eax
+; CHECK-NEXT: cmovbq %rax, %r14
+; CHECK-NEXT: cmovbq %rax, %rbp
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movq $-1, %rax
+; CHECK-NEXT: cmovaq %rax, %rbp
+; CHECK-NEXT: cmovaq %rax, %r14
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %ecx
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: cmovbq %rcx, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, 8(%rbx)
+; CHECK-NEXT: movq %rax, (%rbx)
+; CHECK-NEXT: movq %r14, 56(%rbx)
+; CHECK-NEXT: movq %rbp, 48(%rbx)
+; CHECK-NEXT: movq %r13, 40(%rbx)
+; CHECK-NEXT: movq %r12, 32(%rbx)
+; CHECK-NEXT: movq %r15, 24(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 16(%rbx)
+; CHECK-NEXT: movq %rbx, %rax
+; CHECK-NEXT: addq $56, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <4 x i128> @llvm.fptoui.sat.v4i128.v4f32(<4 x float> %f)
+ ret <4 x i128> %x
+}
+
+;
+; 64-bit float to unsigned integer
+;
+
+declare <2 x i1> @llvm.fptoui.sat.v2i1.v2f64(<2 x double>)
+declare <2 x i8> @llvm.fptoui.sat.v2i8.v2f64(<2 x double>)
+declare <2 x i16> @llvm.fptoui.sat.v2i16.v2f64(<2 x double>)
+declare <2 x i32> @llvm.fptoui.sat.v2i32.v2f64(<2 x double>)
+declare <2 x i64> @llvm.fptoui.sat.v2i64.v2f64(<2 x double>)
+declare <2 x i128> @llvm.fptoui.sat.v2i128.v2f64(<2 x double>)
+
+define <2 x i1> @test_unsigned_v2i1_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i1_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorpd %xmm2, %xmm2
+; CHECK-NEXT: movapd %xmm0, %xmm1
+; CHECK-NEXT: maxsd %xmm2, %xmm1
+; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
+; CHECK-NEXT: minsd %xmm3, %xmm1
+; CHECK-NEXT: cvttsd2si %xmm1, %rax
+; CHECK-NEXT: movq %rax, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: maxsd %xmm2, %xmm0
+; CHECK-NEXT: minsd %xmm3, %xmm0
+; CHECK-NEXT: cvttsd2si %xmm0, %rax
+; CHECK-NEXT: movq %rax, %xmm0
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm0[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i1> @llvm.fptoui.sat.v2i1.v2f64(<2 x double> %f)
+ ret <2 x i1> %x
+}
+
+define <2 x i8> @test_unsigned_v2i8_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i8_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorpd %xmm1, %xmm1
+; CHECK-NEXT: xorpd %xmm2, %xmm2
+; CHECK-NEXT: maxsd %xmm0, %xmm2
+; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
+; CHECK-NEXT: movapd %xmm3, %xmm4
+; CHECK-NEXT: minsd %xmm2, %xmm4
+; CHECK-NEXT: cvttsd2si %xmm4, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: maxsd %xmm0, %xmm1
+; CHECK-NEXT: minsd %xmm1, %xmm3
+; CHECK-NEXT: cvttsd2si %xmm3, %ecx
+; CHECK-NEXT: shll $8, %ecx
+; CHECK-NEXT: orl %eax, %ecx
+; CHECK-NEXT: movd %ecx, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i8> @llvm.fptoui.sat.v2i8.v2f64(<2 x double> %f)
+ ret <2 x i8> %x
+}
+
+define <2 x i16> @test_unsigned_v2i16_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i16_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorpd %xmm1, %xmm1
+; CHECK-NEXT: maxsd %xmm0, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: xorpd %xmm2, %xmm2
+; CHECK-NEXT: maxsd %xmm0, %xmm2
+; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; CHECK-NEXT: movapd %xmm0, %xmm3
+; CHECK-NEXT: minsd %xmm2, %xmm3
+; CHECK-NEXT: cvttsd2si %xmm3, %eax
+; CHECK-NEXT: minsd %xmm1, %xmm0
+; CHECK-NEXT: cvttsd2si %xmm0, %ecx
+; CHECK-NEXT: movd %ecx, %xmm0
+; CHECK-NEXT: pinsrw $1, %eax, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i16> @llvm.fptoui.sat.v2i16.v2f64(<2 x double> %f)
+ ret <2 x i16> %x
+}
+
+define <2 x i32> @test_unsigned_v2i32_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i32_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorpd %xmm2, %xmm2
+; CHECK-NEXT: xorpd %xmm1, %xmm1
+; CHECK-NEXT: maxsd %xmm0, %xmm1
+; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
+; CHECK-NEXT: movapd %xmm3, %xmm4
+; CHECK-NEXT: minsd %xmm1, %xmm4
+; CHECK-NEXT: cvttsd2si %xmm4, %rax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: maxsd %xmm0, %xmm2
+; CHECK-NEXT: minsd %xmm2, %xmm3
+; CHECK-NEXT: cvttsd2si %xmm3, %rax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{.*#+}} xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i32> @llvm.fptoui.sat.v2i32.v2f64(<2 x double> %f)
+ ret <2 x i32> %x
+}
+
+define <2 x i64> @test_unsigned_v2i64_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i64_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: movsd {{.*#+}} xmm2 = mem[0],zero
+; CHECK-NEXT: movapd %xmm0, %xmm1
+; CHECK-NEXT: subsd %xmm2, %xmm1
+; CHECK-NEXT: cvttsd2si %xmm1, %rax
+; CHECK-NEXT: cvttsd2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: xorpd %xmm3, %xmm3
+; CHECK-NEXT: ucomisd %xmm3, %xmm0
+; CHECK-NEXT: cmovbq %rax, %rdx
+; CHECK-NEXT: movsd {{.*#+}} xmm4 = mem[0],zero
+; CHECK-NEXT: ucomisd %xmm4, %xmm0
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, %xmm1
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movapd %xmm0, %xmm5
+; CHECK-NEXT: subsd %xmm2, %xmm5
+; CHECK-NEXT: cvttsd2si %xmm5, %rdx
+; CHECK-NEXT: cvttsd2si %xmm0, %rsi
+; CHECK-NEXT: movq %rsi, %rdi
+; CHECK-NEXT: sarq $63, %rdi
+; CHECK-NEXT: andq %rdx, %rdi
+; CHECK-NEXT: orq %rsi, %rdi
+; CHECK-NEXT: ucomisd %xmm3, %xmm0
+; CHECK-NEXT: cmovbq %rax, %rdi
+; CHECK-NEXT: ucomisd %xmm4, %xmm0
+; CHECK-NEXT: cmovaq %rcx, %rdi
+; CHECK-NEXT: movq %rdi, %xmm0
+; CHECK-NEXT: punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm0[0]
+; CHECK-NEXT: movdqa %xmm1, %xmm0
+; CHECK-NEXT: retq
+ %x = call <2 x i64> @llvm.fptoui.sat.v2i64.v2f64(<2 x double> %f)
+ ret <2 x i64> %x
+}
+
+define <2 x i128> @test_unsigned_v2i128_v2f64(<2 x double> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v2i128_v2f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $32, %rsp
+; CHECK-NEXT: movapd %xmm0, (%rsp) # 16-byte Spill
+; CHECK-NEXT: movq %rdi, %r14
+; CHECK-NEXT: unpckhpd {{.*#+}} xmm0 = xmm0[1,1]
+; CHECK-NEXT: movapd %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: callq __fixunsdfti at PLT
+; CHECK-NEXT: movq %rax, %r15
+; CHECK-NEXT: movq %rdx, %rbx
+; CHECK-NEXT: xorl %r12d, %r12d
+; CHECK-NEXT: xorpd %xmm0, %xmm0
+; CHECK-NEXT: movapd {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload
+; CHECK-NEXT: ucomisd %xmm0, %xmm1
+; CHECK-NEXT: cmovbq %r12, %rbx
+; CHECK-NEXT: cmovbq %r12, %r15
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: movq $-1, %r13
+; CHECK-NEXT: cmovaq %r13, %r15
+; CHECK-NEXT: cmovaq %r13, %rbx
+; CHECK-NEXT: movaps (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: callq __fixunsdfti at PLT
+; CHECK-NEXT: movapd (%rsp), %xmm0 # 16-byte Reload
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r12, %rdx
+; CHECK-NEXT: cmovbq %r12, %rax
+; CHECK-NEXT: ucomisd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r13, %rax
+; CHECK-NEXT: cmovaq %r13, %rdx
+; CHECK-NEXT: movq %rdx, 8(%r14)
+; CHECK-NEXT: movq %rax, (%r14)
+; CHECK-NEXT: movq %rbx, 24(%r14)
+; CHECK-NEXT: movq %r15, 16(%r14)
+; CHECK-NEXT: movq %r14, %rax
+; CHECK-NEXT: addq $32, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: retq
+ %x = call <2 x i128> @llvm.fptoui.sat.v2i128.v2f64(<2 x double> %f)
+ ret <2 x i128> %x
+}
+
+;
+; 16-bit float to unsigned integer
+;
+
+declare <8 x i1> @llvm.fptoui.sat.v8i1.v8f16(<8 x half>)
+declare <8 x i8> @llvm.fptoui.sat.v8i8.v8f16(<8 x half>)
+declare <8 x i16> @llvm.fptoui.sat.v8i16.v8f16(<8 x half>)
+declare <8 x i32> @llvm.fptoui.sat.v8i32.v8f16(<8 x half>)
+declare <8 x i64> @llvm.fptoui.sat.v8i64.v8f16(<8 x half>)
+declare <8 x i128> @llvm.fptoui.sat.v8i128.v8f16(<8 x half>)
+
+define <8 x i1> @test_unsigned_v8i1_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i1_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $72, %rsp
+; CHECK-NEXT: movl %r9d, %ebp
+; CHECK-NEXT: movl %r8d, %ebx
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movl %esi, %r15d
+; CHECK-NEXT: movl %edi, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: addq $72, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i1> @llvm.fptoui.sat.v8i1.v8f16(<8 x half> %f)
+ ret <8 x i1> %x
+}
+
+define <8 x i8> @test_unsigned_v8i8_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i8_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $40, %rsp
+; CHECK-NEXT: movl %r9d, %r13d
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %edx, %r14d
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %r15d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl %cx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %r12d
+; CHECK-NEXT: shll $8, %r12d
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %ebx
+; CHECK-NEXT: orl %r12d, %ebx
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebp
+; CHECK-NEXT: shll $8, %ebp
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebp, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: pinsrw $1, %ebx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebx
+; CHECK-NEXT: shll $8, %ebx
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebx, %eax
+; CHECK-NEXT: movdqa {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: pinsrw $2, %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %ebx
+; CHECK-NEXT: shll $8, %ebx
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movzbl %al, %eax
+; CHECK-NEXT: orl %ebx, %eax
+; CHECK-NEXT: movdqa {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: pinsrw $3, %eax, %xmm0
+; CHECK-NEXT: addq $40, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i8> @llvm.fptoui.sat.v8i8.v8f16(<8 x half> %f)
+ ret <8 x i8> %x
+}
+
+define <8 x i16> @test_unsigned_v8i16_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i16_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $72, %rsp
+; CHECK-NEXT: movl %r9d, %ebp
+; CHECK-NEXT: movl %r8d, %ebx
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movl %esi, %r15d
+; CHECK-NEXT: movl %edi, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: maxss %xmm0, %xmm1
+; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: minss %xmm1, %xmm0
+; CHECK-NEXT: cvttss2si %xmm0, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpcklwd {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1],xmm0[2],mem[2],xmm0[3],mem[3]
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: addq $72, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i16> @llvm.fptoui.sat.v8i16.v8f16(<8 x half> %f)
+ ret <8 x i16> %x
+}
+
+define <8 x i32> @test_unsigned_v8i32_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i32_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $88, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %edx, %r14d
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %ebx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r13d
+; CHECK-NEXT: movzwl %cx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: xorl %r15d, %r15d
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: ucomiss %xmm1, %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $-1, %r12d
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r13d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: cvttss2si %xmm0, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbl %r15d, %eax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmoval %r12d, %eax
+; CHECK-NEXT: movd %eax, %xmm1
+; CHECK-NEXT: punpckldq {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm1 = xmm1[0],mem[0]
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: addq $88, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i32> @llvm.fptoui.sat.v8i32.v8f16(<8 x half> %f)
+ ret <8 x i32> %x
+}
+
+define <8 x i64> @test_unsigned_v8i64_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i64_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $104, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %ecx, %r13d
+; CHECK-NEXT: movl %edx, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %esi, %ebp
+; CHECK-NEXT: movl %edi, %ebx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %r14d
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movaps %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: xorl %r15d, %r15d
+; CHECK-NEXT: xorps %xmm1, %xmm1
+; CHECK-NEXT: ucomiss %xmm1, %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movq $-1, %r12
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movl %r14d, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bp, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %bx, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl %r13w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm0 = xmm0[0],mem[0]
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm0
+; CHECK-NEXT: movdqa %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movdqa %xmm0, %xmm1
+; CHECK-NEXT: subss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: cvttss2si %xmm1, %rax
+; CHECK-NEXT: cvttss2si %xmm0, %rcx
+; CHECK-NEXT: movq %rcx, %rdx
+; CHECK-NEXT: sarq $63, %rdx
+; CHECK-NEXT: andq %rax, %rdx
+; CHECK-NEXT: orq %rcx, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r15, %rdx
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %r12, %rdx
+; CHECK-NEXT: movq %rdx, %xmm2
+; CHECK-NEXT: punpcklqdq {{[-0-9]+}}(%r{{[sb]}}p), %xmm2 # 16-byte Folded Reload
+; CHECK-NEXT: # xmm2 = xmm2[0],mem[0]
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Reload
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 16-byte Reload
+; CHECK-NEXT: movaps {{[-0-9]+}}(%r{{[sb]}}p), %xmm3 # 16-byte Reload
+; CHECK-NEXT: addq $104, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i64> @llvm.fptoui.sat.v8i64.v8f16(<8 x half> %f)
+ ret <8 x i64> %x
+}
+
+define <8 x i128> @test_unsigned_v8i128_v8f16(<8 x half> %f) nounwind {
+; CHECK-LABEL: test_unsigned_v8i128_v8f16:
+; CHECK: # %bb.0:
+; CHECK-NEXT: pushq %rbp
+; CHECK-NEXT: pushq %r15
+; CHECK-NEXT: pushq %r14
+; CHECK-NEXT: pushq %r13
+; CHECK-NEXT: pushq %r12
+; CHECK-NEXT: pushq %rbx
+; CHECK-NEXT: subq $88, %rsp
+; CHECK-NEXT: movl %r9d, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movl %r8d, %r15d
+; CHECK-NEXT: movl %ecx, %r14d
+; CHECK-NEXT: movl %edx, %r12d
+; CHECK-NEXT: movq %rdi, %rbx
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl {{[0-9]+}}(%rsp), %eax
+; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: movzwl %si, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: xorl %r13d, %r13d
+; CHECK-NEXT: xorps %xmm0, %xmm0
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm1 # 4-byte Reload
+; CHECK-NEXT: # xmm1 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss %xmm0, %xmm1
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: cmovbq %r13, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1
+; CHECK-NEXT: movq $-1, %rbp
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl %r12w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: cmovbq %r13, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl %r14w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: cmovbq %r13, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl %r15w, %edi
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r13, %rdx
+; CHECK-NEXT: cmovbq %r13, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %rdx
+; CHECK-NEXT: movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: movzwl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 2-byte Folded Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rdx, %r12
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r13, %r12
+; CHECK-NEXT: cmovbq %r13, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %rax
+; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT: cmovaq %rbp, %r12
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rax, %r14
+; CHECK-NEXT: movq %rdx, %r15
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovbq %r13, %r15
+; CHECK-NEXT: cmovbq %r13, %r14
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: cmovaq %rbp, %r14
+; CHECK-NEXT: cmovaq %rbp, %r15
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movq %rax, %r13
+; CHECK-NEXT: movq %rdx, %rbp
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %eax
+; CHECK-NEXT: cmovbq %rax, %rbp
+; CHECK-NEXT: cmovbq %rax, %r13
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movq $-1, %rax
+; CHECK-NEXT: cmovaq %rax, %r13
+; CHECK-NEXT: cmovaq %rax, %rbp
+; CHECK-NEXT: movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
+; CHECK-NEXT: callq __gnu_h2f_ieee at PLT
+; CHECK-NEXT: movss %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
+; CHECK-NEXT: callq __fixunssfti at PLT
+; CHECK-NEXT: movss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Reload
+; CHECK-NEXT: # xmm0 = mem[0],zero,zero,zero
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movl $0, %ecx
+; CHECK-NEXT: cmovbq %rcx, %rdx
+; CHECK-NEXT: cmovbq %rcx, %rax
+; CHECK-NEXT: ucomiss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
+; CHECK-NEXT: movq $-1, %rcx
+; CHECK-NEXT: cmovaq %rcx, %rax
+; CHECK-NEXT: cmovaq %rcx, %rdx
+; CHECK-NEXT: movq %rdx, 120(%rbx)
+; CHECK-NEXT: movq %rax, 112(%rbx)
+; CHECK-NEXT: movq %rbp, 104(%rbx)
+; CHECK-NEXT: movq %r13, 96(%rbx)
+; CHECK-NEXT: movq %r15, 88(%rbx)
+; CHECK-NEXT: movq %r14, 80(%rbx)
+; CHECK-NEXT: movq %r12, 72(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 64(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 56(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 48(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 40(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 32(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 24(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 16(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, 8(%rbx)
+; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload
+; CHECK-NEXT: movq %rax, (%rbx)
+; CHECK-NEXT: movq %rbx, %rax
+; CHECK-NEXT: addq $88, %rsp
+; CHECK-NEXT: popq %rbx
+; CHECK-NEXT: popq %r12
+; CHECK-NEXT: popq %r13
+; CHECK-NEXT: popq %r14
+; CHECK-NEXT: popq %r15
+; CHECK-NEXT: popq %rbp
+; CHECK-NEXT: retq
+ %x = call <8 x i128> @llvm.fptoui.sat.v8i128.v8f16(<8 x half> %f)
+ ret <8 x i128> %x
+}
More information about the llvm-commits
mailing list