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