Chris Lattner | 61b8c9b | 2005-01-11 03:05:03 +0000 | [diff] [blame] | 1 | ;; 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 Spencer | d3b1f6d | 2007-04-15 22:20:47 +0000 | [diff] [blame] | 4 | ; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -stats |& \ |
| 5 | ; RUN: not grep {Number of register spills} |
Chris Lattner | 61b8c9b | 2005-01-11 03:05:03 +0000 | [diff] [blame] | 6 | |
| 7 | ;; This can be compiled to use three registers if the loads are not |
| 8 | ;; folded into the multiplies, 2 registers otherwise. |
| 9 | int %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. |
| 42 | int %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 Lattner | a8b6f68 | 2005-01-17 23:16:01 +0000 | [diff] [blame] | 74 | ;; adds should be the same as muls. |
| 75 | int %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 | |