[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Inline / array_merge.ll
blobb2eafeb0456f0743098f63324249993c25179706
1 ; RUN: opt < %s -inline -S | FileCheck %s
2 ; rdar://7173846
3 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"
4 target triple = "i386-apple-darwin10.0"
6 define internal void @foo() nounwind ssp {
7 entry:
8   %A = alloca [100 x i32]
9   %B = alloca [100 x i32]
10   call void @bar([100 x i32]* %A, [100 x i32]* %B) nounwind
11   ret void
14 declare void @bar([100 x i32]*, [100 x i32]*)
16 define void @test() nounwind ssp {
17 entry:
18 ; CHECK: @test()
19 ; CHECK-NEXT: entry:
20 ; CHECK-NEXT: %A.i = alloca
21 ; CHECK-NEXT: %B.i = alloca
22 ; CHECK-NOT: alloca
23   call void @foo() nounwind
24   call void @foo() nounwind
25   ret void