2006-12-02 05:23:10 +01:00
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | opt -reassociate -gcse | llvm-dis | grep add | wc -l | grep 6
|
2005-05-08 22:56:02 +02:00
|
|
|
; 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
|
|
|
|
}
|
|
|
|
|