llvm-6502/test/Transforms/Reassociate/basictest3.ll
2006-12-02 04:23:10 +00:00

51 lines
1.2 KiB
LLVM

; RUN: llvm-upgrade < %s | llvm-as | 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
}