[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2008-06-13-VolatileLoadStore.ll
blob5a05ec13f35b87ac8d7beee662a83238f76526f6
1 ; RUN: llc < %s -mtriple=i686-linux -mattr=+sse2 | grep movsd | count 5
2 ; RUN: llc < %s -mtriple=i686-linux -mattr=+sse2 | grep movl | count 2
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]
9 define i16 @f(i64 %x, double %y) {
10         %b = bitcast i64 %x to double           ; <double> [#uses=1]
11         store volatile double %b, double* @atomic ; one processor operation only
12         store volatile double 0.000000e+00, double* @atomic2 ; one processor operation only
13         %b2 = bitcast double %y to i64          ; <i64> [#uses=1]
14         store volatile i64 %b2, i64* @anything ; may transform to store of double
15         %l = load volatile i32, i32* @ioport            ; must not narrow
16         %t = trunc i32 %l to i16                ; <i16> [#uses=1]
17         %l2 = load volatile i32, i32* @ioport           ; must not narrow
18         %tmp = lshr i32 %l2, 16         ; <i32> [#uses=1]
19         %t2 = trunc i32 %tmp to i16             ; <i16> [#uses=1]
20         %f = add i16 %t, %t2            ; <i16> [#uses=1]
21         ret i16 %f