llvm/test/Transforms/Reassociate/basictest3.ll
Chris Lattner f4946dff71 new testcases for PR557
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21782 91177308-0d34-0410-b5e6-96231b3b80d8
2005-05-08 20:56:02 +00:00

51 lines
1.2 KiB
LLVM

; RUN: llvm-as < %s | opt -reassociate -gcse | llvm-dis | grep add | wc -l | grep 6
; Each of these functions should turn into two adds each.
%e = external global int
%a = external global int
%b = external global int
%c = external global int
%f = external global int
implementation
void %test1() {
%A = load int* %a
%B = load int* %b
%C = load int* %c
%t1 = add int %A, %B
%t2 = add int %t1, %C
%t3 = add int %C, %A
%t4 = add int %t3, %B
store int %t2, int* %e ; e = (a+b)+c;
store int %t4, int* %f ; f = (a+c)+b
ret void
}
void %test2() {
%A = load int* %a
%B = load int* %b
%C = load int* %c
%t1 = add int %A, %B
%t2 = add int %t1, %C
%t3 = add int %C, %A
%t4 = add int %t3, %B
store int %t2, int* %e ; e = c+(a+b)
store int %t4, int* %f ; f = (c+a)+b
ret void
}
void %test3() {
%A = load int* %a
%B = load int* %b
%C = load int* %c
%t1 = add int %B, %A
%t2 = add int %t1, %C
%t3 = add int %C, %A
%t4 = add int %t3, %B
store int %t2, int* %e ; e = c+(b+a)
store int %t4, int* %f ; f = (c+a)+b
ret void
}