1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s 3 4define i32 @test1(i32 %A, i32 %B) { 5; CHECK-LABEL: @test1( 6; CHECK-NEXT: [[Z:%.*]] = add i32 [[B:%.*]], [[A:%.*]] 7; CHECK-NEXT: ret i32 [[Z]] 8; 9 %W = add i32 %B, -5 10 %Y = add i32 %A, 5 11 %Z = add i32 %W, %Y 12 ret i32 %Z 13} 14