; RUN: llvm-as < %s | opt -reassociate -gcse -instcombine | llvm-dis | not grep add | |
%a = weak global int 0 | |
%b = weak global int 0 | |
%c = weak global int 0 | |
%d = weak global int 0 | |
implementation | |
int %foo() { | |
%tmp.0 = load int* %a | |
%tmp.1 = load int* %b | |
%tmp.2 = add int %tmp.0, %tmp.1 ; (a+b) | |
%tmp.4 = load int* %c | |
%tmp.5 = add int %tmp.2, %tmp.4 ; (a+b)+c | |
%tmp.8 = add int %tmp.0, %tmp.4 ; (a+c) | |
%tmp.11 = add int %tmp.8, %tmp.1 ; (a+c)+b | |
%RV = xor int %tmp.5, %tmp.11 ; X ^ X = 0 | |
ret int %RV | |
} |