1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
; 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
}
|
