; 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
}

