blob: 056756432008e89c9ef34fce3e3d7c1c37adec39 [file] [log] [blame]
Chris Lattner61b8c9b2005-01-11 03:05:03 +00001;; Both functions in this testcase should codegen to the same function, and
2;; neither of them should require spilling anything to the stack.
3
Reid Spencerd3b1f6d2007-04-15 22:20:47 +00004; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -stats |& \
5; RUN: not grep {Number of register spills}
Chris Lattner61b8c9b2005-01-11 03:05:03 +00006
7;; This can be compiled to use three registers if the loads are not
8;; folded into the multiplies, 2 registers otherwise.
9int %regpressure1(int* %P) {
10 %A = load int* %P
11 %Bp = getelementptr int* %P, int 1
12 %B = load int* %Bp
13 %s1 = mul int %A, %B
14 %Cp = getelementptr int* %P, int 2
15 %C = load int* %Cp
16 %s2 = mul int %s1, %C
17 %Dp = getelementptr int* %P, int 3
18 %D = load int* %Dp
19 %s3 = mul int %s2, %D
20 %Ep = getelementptr int* %P, int 4
21 %E = load int* %Ep
22 %s4 = mul int %s3, %E
23 %Fp = getelementptr int* %P, int 5
24 %F = load int* %Fp
25 %s5 = mul int %s4, %F
26 %Gp = getelementptr int* %P, int 6
27 %G = load int* %Gp
28 %s6 = mul int %s5, %G
29 %Hp = getelementptr int* %P, int 7
30 %H = load int* %Hp
31 %s7 = mul int %s6, %H
32 %Ip = getelementptr int* %P, int 8
33 %I = load int* %Ip
34 %s8 = mul int %s7, %I
35 %Jp = getelementptr int* %P, int 9
36 %J = load int* %Jp
37 %s9 = mul int %s8, %J
38 ret int %s9
39}
40
41;; This testcase should produce identical code to the test above.
42int %regpressure2(int* %P) {
43 %A = load int* %P
44 %Bp = getelementptr int* %P, int 1
45 %B = load int* %Bp
46 %Cp = getelementptr int* %P, int 2
47 %C = load int* %Cp
48 %Dp = getelementptr int* %P, int 3
49 %D = load int* %Dp
50 %Ep = getelementptr int* %P, int 4
51 %E = load int* %Ep
52 %Fp = getelementptr int* %P, int 5
53 %F = load int* %Fp
54 %Gp = getelementptr int* %P, int 6
55 %G = load int* %Gp
56 %Hp = getelementptr int* %P, int 7
57 %H = load int* %Hp
58 %Ip = getelementptr int* %P, int 8
59 %I = load int* %Ip
60 %Jp = getelementptr int* %P, int 9
61 %J = load int* %Jp
62 %s1 = mul int %A, %B
63 %s2 = mul int %s1, %C
64 %s3 = mul int %s2, %D
65 %s4 = mul int %s3, %E
66 %s5 = mul int %s4, %F
67 %s6 = mul int %s5, %G
68 %s7 = mul int %s6, %H
69 %s8 = mul int %s7, %I
70 %s9 = mul int %s8, %J
71 ret int %s9
72}
73
Chris Lattnera8b6f682005-01-17 23:16:01 +000074;; adds should be the same as muls.
75int %regpressure3(short* %P, bool %Cond, int* %Other) {
76 %A = load short* %P
77 %Bp = getelementptr short* %P, int 1
78 %B = load short* %Bp
79 %Cp = getelementptr short* %P, int 2
80 %C = load short* %Cp
81 %Dp = getelementptr short* %P, int 3
82 %D = load short* %Dp
83 %Ep = getelementptr short* %P, int 4
84 %E = load short* %Ep
85 %Fp = getelementptr short* %P, int 5
86 %F = load short* %Fp
87 %Gp = getelementptr short* %P, int 6
88 %G = load short* %Gp
89 %Hp = getelementptr short* %P, int 7
90 %H = load short* %Hp
91 %Ip = getelementptr short* %P, int 8
92 %I = load short* %Ip
93 %Jp = getelementptr short* %P, int 9
94 %J = load short* %Jp
95
96 ;; These casts prevent folding the loads into the adds.
97 %A = cast short %A to int
98 %B = cast short %B to int
99 %D = cast short %D to int
100 %C = cast short %C to int
101 %E = cast short %E to int
102 %F = cast short %F to int
103 %G = cast short %G to int
104 %H = cast short %H to int
105 %I = cast short %I to int
106 %J = cast short %J to int
107 %s1 = add int %A, %B
108 %s2 = add int %C, %s1
109 %s3 = add int %D, %s2
110 %s4 = add int %E, %s3
111 %s5 = add int %F, %s4
112 %s6 = add int %G, %s5
113 %s7 = add int %H, %s6
114 %s8 = add int %I, %s7
115 %s9 = add int %J, %s8
116 ret int %s9
117}
118