[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Feature / packed_struct.ll
blob172cd3456c8b848b797f4bd1323bc8993731e117
1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
4 ; RUN: not grep cast %t2.ll
5 ; RUN: grep "}>" %t2.ll
6 ; END.
8 %struct.anon = type <{ i8, i32, i32, i32 }>
9 @foos = external global %struct.anon 
10 @bara = external global [2 x <{ i32, i8 }>]
12 ;initializers should work for packed and non-packed the same way
13 @E1 = global <{i8, i32, i32}> <{i8 1, i32 2, i32 3}>
14 @E2 = global {i8, i32, i32} {i8 4, i32 5, i32 6}
17 define i32 @main() 
19         %tmp = load i32, i32*  getelementptr (%struct.anon, %struct.anon* @foos, i32 0, i32 1)            ; <i32> [#uses=1]
20         %tmp3 = load i32, i32* getelementptr (%struct.anon, %struct.anon* @foos, i32 0, i32 2)            ; <i32> [#uses=1]
21         %tmp6 = load i32, i32* getelementptr (%struct.anon, %struct.anon* @foos, i32 0, i32 3)            ; <i32> [#uses=1]
22         %tmp4 = add i32 %tmp3, %tmp             ; <i32> [#uses=1]
23         %tmp7 = add i32 %tmp4, %tmp6            ; <i32> [#uses=1]
24         ret i32 %tmp7
27 define i32 @bar() {
28 entry:
29         %tmp = load i32, i32* getelementptr([2 x <{ i32, i8 }>], [2 x <{ i32, i8 }>]* @bara, i32 0, i32 0, i32 0 )            ; <i32> [#uses=1]
30         %tmp4 = load i32, i32* getelementptr ([2 x <{ i32, i8 }>], [2 x <{ i32, i8 }>]* @bara, i32 0, i32 1, i32 0)           ; <i32> [#uses=1]
31         %tmp5 = add i32 %tmp4, %tmp             ; <i32> [#uses=1]
32         ret i32 %tmp5