1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=i686-linux -mattr=+sse2 | FileCheck %s
3
4@atomic = global double 0.000000e+00		; <double*> [#uses=1]
5@atomic2 = global double 0.000000e+00		; <double*> [#uses=1]
6@anything = global i64 0		; <i64*> [#uses=1]
7@ioport = global i32 0		; <i32*> [#uses=2]
8
9define i16 @f(i64 %x, double %y) {
10; CHECK-LABEL: f:
11; CHECK:       # %bb.0:
12; CHECK-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
13; CHECK-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
14; CHECK-NEXT:    movsd %xmm1, atomic
15; CHECK-NEXT:    xorps %xmm1, %xmm1
16; CHECK-NEXT:    movsd %xmm1, atomic2
17; CHECK-NEXT:    movsd %xmm0, anything
18; CHECK-NEXT:    movl ioport, %ecx
19; CHECK-NEXT:    movl ioport, %eax
20; CHECK-NEXT:    shrl $16, %eax
21; CHECK-NEXT:    addl %ecx, %eax
22; CHECK-NEXT:    # kill: def $ax killed $ax killed $eax
23; CHECK-NEXT:    retl
24	%b = bitcast i64 %x to double		; <double> [#uses=1]
25	store volatile double %b, double* @atomic ; one processor operation only
26	store volatile double 0.000000e+00, double* @atomic2 ; one processor operation only
27	%b2 = bitcast double %y to i64		; <i64> [#uses=1]
28	store volatile i64 %b2, i64* @anything ; may transform to store of double
29	%l = load volatile i32, i32* @ioport		; must not narrow
30	%t = trunc i32 %l to i16		; <i16> [#uses=1]
31	%l2 = load volatile i32, i32* @ioport		; must not narrow
32	%tmp = lshr i32 %l2, 16		; <i32> [#uses=1]
33	%t2 = trunc i32 %tmp to i16		; <i16> [#uses=1]
34	%f = add i16 %t, %t2		; <i16> [#uses=1]
35	ret i16 %f
36}
37