1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -passes=reassociate,instcombine -S | FileCheck %s
4 ; Test that we can turn things like A*B + X - A*B -> X.
6 define i32 @test1(i32 %a, i32 %b, i32 %x) {
8 ; CHECK-NEXT: ret i32 [[X:%.*]]