1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-linux -mattr=+sse2 | FileCheck %s
4 @atomic = global double 0.000000e+00 ; <ptr> [#uses=1]
5 @atomic2 = global double 0.000000e+00 ; <ptr> [#uses=1]
6 @anything = global i64 0 ; <ptr> [#uses=1]
7 @ioport = global i32 0 ; <ptr> [#uses=2]
9 define i16 @f(i64 %x, double %y) {
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
24 %b = bitcast i64 %x to double ; <double> [#uses=1]
25 store volatile double %b, ptr @atomic ; one processor operation only
26 store volatile double 0.000000e+00, ptr @atomic2 ; one processor operation only
27 %b2 = bitcast double %y to i64 ; <i64> [#uses=1]
28 store volatile i64 %b2, ptr @anything ; may transform to store of double
29 %l = load volatile i32, ptr @ioport ; must not narrow
30 %t = trunc i32 %l to i16 ; <i16> [#uses=1]
31 %l2 = load volatile i32, ptr @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]