[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2008-12-23-dagcombine-6.ll
blob1f588934b4c936677ae03a20c830dc1337e72aec
1 ; RUN: llc < %s | grep "(%esp)" | count 4
2 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"
3 target triple = "i386-apple-darwin9.5"
4 ; a - a should be found and removed, leaving refs to only L and P
5 define i32 @test(i32 %a, i32 %L, i32 %P) nounwind {
6 entry:
7         %0 = add i32 %a, %L
8         %1 = add i32 %P, %0
9         %2 = sub i32 %1, %a
10         br label %return
12 return:         ; preds = %bb3
13         ret i32 %2
15 define i32 @test2(i32 %a, i32 %L, i32 %P) nounwind {
16 entry:
17         %0 = add i32 %L, %a
18         %1 = add i32 %P, %0
19         %2 = sub i32 %1, %a
20         br label %return
22 return:         ; preds = %bb3
23         ret i32 %2