llvm-project/llvm/test/Transforms/Reassociate/basictest4.ll

24 lines
747 B
LLVM

; RUN: opt < %s -reassociate -gvn -instcombine -S | not grep add
@a = weak global i32 0 ; <i32*> [#uses=1]
@b = weak global i32 0 ; <i32*> [#uses=1]
@c = weak global i32 0 ; <i32*> [#uses=1]
@d = weak global i32 0 ; <i32*> [#uses=0]
define i32 @foo() {
%tmp.0 = load i32* @a ; <i32> [#uses=2]
%tmp.1 = load i32* @b ; <i32> [#uses=2]
; (a+b)
%tmp.2 = add i32 %tmp.0, %tmp.1 ; <i32> [#uses=1]
%tmp.4 = load i32* @c ; <i32> [#uses=2]
; (a+b)+c
%tmp.5 = add i32 %tmp.2, %tmp.4 ; <i32> [#uses=1]
; (a+c)
%tmp.8 = add i32 %tmp.0, %tmp.4 ; <i32> [#uses=1]
; (a+c)+b
%tmp.11 = add i32 %tmp.8, %tmp.1 ; <i32> [#uses=1]
; X ^ X = 0
%RV = xor i32 %tmp.5, %tmp.11 ; <i32> [#uses=1]
ret i32 %RV
}