sdcc/src/hc08/peeph.def

   1 replace {
   2         pula
   3         psha
   4         lda     %1
   5 } by {
   6         ; Peephole 1a   - removed redundant pula/psha
   7         lda     %1
   8 }
   9
  10 replace {
  11         pula
  12         psha
  13         lda     %1,s
  14 } by {
  15         ; Peephole 1b   - removed redundant pula/psha
  16         lda     %1,s
  17 }
  18
  19 replace {
  20         pula
  21         psha
  22         clra
  23 } by {
  24         ; Peephole 1c   - removed redundant pula/psha
  25         clra
  26 }
  27
  28
  29 replace {
  30         bcs     %1
  31         jmp     %5
  32 %1:
  33 } by {
  34         ; Peephole 2a   - eliminated jmp
  35         bcc     %5
  36 %1:
  37 } if labelInRange(%5), labelRefCountChange(%1 -1)
  38
  39 replace {
  40         bcc     %1
  41         jmp     %5
  42 %1:
  43 } by {
  44         ; Peephole 2b   - eliminated jmp
  45         bcs     %5
  46 %1:
  47 } if labelInRange(%5), labelRefCountChange(%1 -1)
  48
  49 replace {
  50         beq     %1
  51         jmp     %5
  52 %1:
  53 } by {
  54         ; Peephole 2c   - eliminated jmp
  55         bne     %5
  56 %1:
  57 } if labelInRange(%5), labelRefCountChange(%1 -1)
  58
  59 replace {
  60         bne     %1
  61         jmp     %5
  62 %1:
  63 } by {
  64         ; Peephole 2d   - eliminated jmp
  65         beq     %5
  66 %1:
  67 } if labelInRange(%5), labelRefCountChange(%1 -1)
  68
  69 replace {
  70         brclr   %3,%2,%1
  71         jmp     %5
  72 %1:
  73 } by {
  74         ; Peephole 2e   - eliminated jmp
  75         brset   %3,%2,%5
  76 %1:
  77 } if labelInRange(%5), labelRefCountChange(%1 -1)
  78
  79 replace {
  80         brset   %3,%2,%1
  81         jmp     %5
  82 %1:
  83 } by {
  84         ; Peephole 2f   - eliminated jmp
  85         brclr   %3,%2,%5
  86 %1:
  87 } if labelInRange(%5), labelRefCountChange(%1 -1)
  88
  89 replace {
  90         bls     %1
  91         jmp     %5
  92 %1:
  93 } by {
  94         ; Peephole 2g   - eliminated jmp
  95         bhi     %5
  96 %1:
  97 } if labelInRange(%5), labelRefCountChange(%1 -1)
  98
  99 replace {
 100         bhi     %1
 101         jmp     %5
 102 %1:
 103 } by {
 104         ; Peephole 2h   - eliminated jmp
 105         bls     %5
 106 %1:
 107 } if labelInRange(%5), labelRefCountChange(%1 -1)
 108
 109 replace {
 110         ble     %1
 111         jmp     %5
 112 %1:
 113 } by {
 114         ; Peephole 2i   - eliminated jmp
 115         bgt     %5
 116 %1:
 117 } if labelInRange(%5), labelRefCountChange(%1 -1)
 118
 119 replace {
 120         bgt     %1
 121         jmp     %5
 122 %1:
 123 } by {
 124         ; Peephole 2j   - eliminated jmp
 125         ble     %5
 126 %1:
 127 } if labelInRange(%5), labelRefCountChange(%1 -1)
 128
 129 replace {
 130         bge     %1
 131         jmp     %5
 132 %1:
 133 } by {
 134         ; Peephole 2k   - eliminated jmp
 135         blt     %5
 136 %1:
 137 } if labelInRange(%5), labelRefCountChange(%1 -1)
 138
 139 replace {
 140         blt     %1
 141         jmp     %5
 142 %1:
 143 } by {
 144         ; Peephole 2l   - eliminated jmp
 145         bge     %5
 146 %1:
 147 } if labelInRange(%5), labelRefCountChange(%1 -1)
 148
 149 replace {
 150         bmi     %1
 151         jmp     %5
 152 %1:
 153 } by {
 154         ; Peephole 2m   - eliminated jmp
 155         bpl     %5
 156 %1:
 157 } if labelInRange(%5), labelRefCountChange(%1 -1)
 158
 159 replace {
 160         bpl     %1
 161         jmp     %5
 162 %1:
 163 } by {
 164         ; Peephole 2n   - eliminated jmp
 165         bmi     %5
 166 %1:
 167 } if labelInRange(%5), labelRefCountChange(%1 -1)
 168
 169 replace restart {
 170         jmp     %5
 171 } by {
 172         ; Peephole 3    - shortened jmp to bra
 173         bra     %5
 174 } if labelInRange(%5)
 175
 176 replace {
 177         lda     %1
 178         tsta
 179 } by {
 180         ; Peephole 4a   - eliminated redundant tsta
 181         lda     %1
 182 }
 183
 184 replace {
 185         ldx     %1
 186         tstx
 187 } by {
 188         ; Peephole 4b   - eliminated redundant tstx
 189         ldx     %1
 190 }
 191
 192 replace {
 193         jmp     %5
 194 } by {
 195         ; Peephole 6a  - replaced jmp to rts with rts
 196         rts
 197 } if optimizeReturn(), labelIsReturnOnly(%5), labelRefCountChange(%5 -1)
 198
 199 replace {
 200         bra     %5
 201 } by {
 202         ; Peephole 6b  - replaced jmp to rts with rts
 203         rts
 204 } if optimizeReturn(), labelIsReturnOnly(%5), labelRefCountChange(%5 -1)
 205
 206 replace {
 207         bne     %1
 208 %1:
 209 } by {
 210         ; Peephole 7a   - eliminated branch
 211 %1:
 212 } if labelRefCountChange(%1 -1)
 213
 214 replace {
 215         beq     %1
 216 %1:
 217 } by {
 218         ; Peephole 7b   - eliminated branch
 219 %1:
 220 } if labelRefCountChange(%1 -1)
 221
 222 replace restart {
 223         bra     %1
 224 %1:
 225 } by {
 226         ; Peephole 7c   - eliminated branch
 227 %1:
 228 } if labelRefCountChange(%1 -1)
 229
 230 replace restart {
 231         bra     %1
 232 %2:
 233 %1:
 234 } by {
 235         ; Peephole 7d   - eliminated branch
 236 %2:
 237 %1:
 238 } if labelRefCountChange(%1 -1)
 239
 240 replace {
 241         cmp     #%2
 242         beq     %1
 243 } by {
 244         ; Peephole 10a   - combined cmp/beq
 245         cbeqa   #%2,%1
 246 }
 247
 248 replace {
 249         cmp     *%2
 250         beq     %1
 251 } by {
 252         ; Peephole 10b   - combined cmp/beq
 253         cbeq    *%2,%1
 254 }
 255
 256 replace {
 257         dec     %2,s
 258         bne     %1
 259 } by {
 260         ; Peephole 10c   - combined dec/bne
 261         dbnz    %2,s,%1
 262 }
 263
 264 // should be one of the last peepholes
 265 replace restart {
 266 %1:
 267 } by {
 268         ; Peephole 500    removed redundant label %1
 269 } if labelRefCount(%1 0)
 270
 271 replace restart {
 272         jsr     %1
 273         rts
 274 } by {
 275         ; Peephole 501 did tail call optimization.
 276         jmp     %1
 277 } if optimizeReturn()
 278