[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Reassociate / 2002-05-15-MissedTree.ll
blob099c394f92e178fd9737c0515dd886f313d36d19
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
4 define i32 @test1(i32 %A, i32 %B) {
5 ; CHECK-LABEL: @test1(
6 ; CHECK-NEXT:    [[Z:%.*]] = add i32 [[B:%.*]], [[A:%.*]]
7 ; CHECK-NEXT:    ret i32 [[Z]]
9   %W = add i32 %B, -5
10   %Y = add i32 %A, 5
11   %Z = add i32 %W, %Y
12   ret i32 %Z