Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / InstCombine / 2009-01-08-AlignAlloca.ll
1 ; RUN: opt < %s -instcombine -S > %t
2 ; RUN: grep ", align 4" %t | count 3
3 ; RUN: grep ", align 8" %t | count 3
4 ; rdar://6480438
5 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
6 target triple = "i386-apple-darwin9.6"
7         %struct.Key = type { { i32, i32 } }
8         %struct.anon = type <{ i8, [3 x i8], i32 }>
9
10 define i32 @bar(i64 %key_token2) nounwind {
11 entry:
12         %iospec = alloca %struct.Key            ; <%struct.Key*> [#uses=3]
13         %ret = alloca i32               ; <i32*> [#uses=2]
14         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
15         %0 = getelementptr %struct.Key, %struct.Key* %iospec, i32 0, i32 0              ; <{ i32, i32 }*> [#uses=2]
16         %1 = getelementptr { i32, i32 }, { i32, i32 }* %0, i32 0, i32 0         ; <i32*> [#uses=1]
17         store i32 0, i32* %1, align 4
18         %2 = getelementptr { i32, i32 }, { i32, i32 }* %0, i32 0, i32 1         ; <i32*> [#uses=1]
19         store i32 0, i32* %2, align 4
20         %3 = getelementptr %struct.Key, %struct.Key* %iospec, i32 0, i32 0              ; <{ i32, i32 }*> [#uses=1]
21         %4 = bitcast { i32, i32 }* %3 to i64*           ; <i64*> [#uses=1]
22         store i64 %key_token2, i64* %4, align 4
23         %5 = call i32 (...) @foo(%struct.Key* byval align 4 %iospec, i32* %ret) nounwind                ; <i32> [#uses=0]
24         %6 = load i32, i32* %ret, align 4               ; <i32> [#uses=1]
25         ret i32 %6
26 }
27
28 declare i32 @foo(...)