test/CodeGen/X86/regpressure.ll

   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
   4 ; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -stats |& \
   5 ; RUN:   not grep {Number of register spills}
   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
  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