add start of flat24 support
[fw/sdcc] / src / ds390 / peeph.def
index b5a4f090cdd7af5ce4b0193c528f8c21d1b3cbb8..4f920ca33a1412bef41d812e2fa491de97255468 100644 (file)
@@ -245,7 +245,7 @@ replace {
         cjne %1,%2,%3
         setb %4
 %3:
-}
+} if labelRefCount %3 1
 
 replace {
         clr  a
@@ -262,7 +262,7 @@ replace {
         cjne %10,%11,%3
         setb %4
 %3:
-}
+} if labelRefCount %3 2
 
 replace {
         clr  a
@@ -275,7 +275,7 @@ replace {
         cjne %1,%2,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 1
 
 replace {
         clr  a
@@ -290,7 +290,7 @@ replace {
         cjne %9,%10,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 2
 
 replace {
         clr  a
@@ -307,7 +307,7 @@ replace {
         cjne %11,%12,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 3
 
 replace {
         clr  a
@@ -326,7 +326,8 @@ replace {
         cjne %13,%14,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 4
+
 replace {
         mov  a,#0x01
         cjne %1,%2,%3
@@ -337,7 +338,7 @@ replace {
         ; Peephole 119   jump optimization
         cjne %1,%2,%4
 %3:
-}
+} if labelRefCount %3 1
 
 replace {
         mov  a,#0x01
@@ -351,7 +352,8 @@ replace {
         cjne %1,%2,%4
         cjne %10,%11,%4
 %3:
-}
+} if labelRefCount %3 2
+
 replace {
         mov  a,#0x01
         cjne %1,%2,%3
@@ -366,7 +368,7 @@ replace {
         cjne %10,%11,%4
         cjne %12,%13,%4
 %3:
-}
+} if labelRefCount %3 3
 
 replace {
         mov  a,#0x01
@@ -384,7 +386,7 @@ replace {
         cjne %12,%13,%4
         cjne %14,%15,%4
 %3:
-}
+} if labelRefCount %3 4
 
 replace {
         mov  a,#0x01
@@ -397,7 +399,8 @@ replace {
         cjne %1,%2,%3
         smp  %4
 %3:
-}
+} if labelRefCount %3 1
+
 replace {
         mov  a,#0x01
         cjne %1,%2,%3
@@ -409,9 +412,9 @@ replace {
         ; Peephole 124   jump optimization
         cjne %1,%2,%3
         cjne %10,%11,%3
-        smp  %4
+        sjmp  %4
 %3:
-}
+} if labelRefCount %3 2
 
 replace {
         mov  a,#0x01
@@ -428,7 +431,7 @@ replace {
         cjne %12,%13,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 3
 
 replace {
         mov  a,#0x01
@@ -447,7 +450,7 @@ replace {
         cjne %14,%15,%3
         sjmp %4
 %3:
-}
+} if labelRefCount %3 4
 
 replace {
         push psw
@@ -462,7 +465,7 @@ replace {
 } by {
         ; Peephole 127   removed misc sequence
         ret
-}
+} if labelRefCount %3 0
 
 replace {
         clr  a
@@ -562,36 +565,37 @@ replace {
         mov  dph,%3
 }
 
-replace {
-        mov  b,#0x00
-        mov  a,%1
-        cjne %2,%3,%4
-        mov  b,#0x01
-%4:
-        mov  a,b
-        jz   %5
-} by {
-        ; Peephole 137   optimized misc jump sequence
-        mov  a,%1
-        cjne %2,%3,%5
-%4:
-}
-
-replace {
-        mov  b,#0x00
-        mov  a,%1
-        cjne %2,%3,%4
-        mov  b,#0x01
-%4:
-        mov  a,b
-        jnz  %5
-} by {
-        ; Peephole 138   optimized misc jump sequence
-        mov  a,%1
-        cjne %2,%3,%4
-        sjmp %5
-%4:
-}
+// WTF? Doesn't look sensible to me...
+//replace {
+//        mov  b,#0x00
+//        mov  a,%1
+//        cjne %2,%3,%4
+//        mov  b,#0x01
+//%4:
+//        mov  a,b
+//        jz   %5
+//} by {
+//        ; Peephole 137   optimized misc jump sequence
+//        mov  a,%1
+//        cjne %2,%3,%5
+//%4:
+//} if labelRefCount %4 1
+//
+//replace {
+//        mov  b,#0x00
+//        mov  a,%1
+//        cjne %2,%3,%4
+//        mov  b,#0x01
+//%4:
+//        mov  a,b
+//        jnz  %5
+//} by {
+//        ; Peephole 138   optimized misc jump sequence
+//        mov  a,%1
+//        cjne %2,%3,%4
+//        sjmp %5
+//%4:
+//} if labelRefCount %4 1
 
 replace {
         mov  r%1,a
@@ -915,7 +919,8 @@ replace {
 } by {
         ; Peephole 170   jump optimization
         cjne %1,%2,%4
-%3:}
+%3:
+} if labelRefCount %3 1
 
 replace {
         clr  a
@@ -928,7 +933,8 @@ replace {
         ; Peephole 171   jump optimization
         cjne %1,%2,%4
         cjne %9,%10,%4
-%3:}
+%3:
+} if labelRefCount %3 2
 
 replace {
         clr  a
@@ -943,7 +949,8 @@ replace {
         cjne %1,%2,%4
         cjne %9,%10,%4
         cjne %11,%12,%4
-%3:}
+%3:
+} if labelRefCount %3 3
 
 replace {
         clr  a
@@ -960,7 +967,8 @@ replace {
         cjne %9,%10,%4
         cjne %11,%12,%4
         cjne %13,%14,%4
-%3:}
+%3:
+} if labelRefCount %3 4
 
 replace {
         mov  r%1,%2
@@ -996,13 +1004,14 @@ replace {
         mov  %1,@r%2
 }
 
-replace {
-        mov  %1,%2
-        mov  %2,%1
-} by {
-        ; Peephole 177   removed redundant mov
-        mov  %1,%2
-}
+// this one will screw assignes to volatile/sfr's
+//replace {
+//        mov  %1,%2
+//        mov  %2,%1
+//} by {
+//        ; Peephole 177   removed redundant mov
+//        mov  %1,%2
+//}
 
 replace {
         mov  a,%1
@@ -1051,14 +1060,23 @@ replace {
         mov  dptr,#0x0000
 }
 
+replace {
+       mov dpl,#%1
+       mov dph,#(%1 >> 8)
+       mov dpx,#(%1 >> 16)
+} by {
+       ; Peephole 182b used 24 bit load of DPTR
+       mov dptr,#%1
+}
+
 // saves 2 bytes, ?? cycles.
 replace {
         mov  dpl,#%1
-        mov  dph,#(%1 >> 8)
-       mov  dpx,#(%1 >> 16)
+        mov  dph,#%2
+       mov  dpx,#%3
 } by {
         ; Peephole 182a   used 24 bit load of dptr
-        mov  dptr,#%1
+        mov  dptr,#((%3 << 16) + (%2 << 8) + %1)
 } if 24bitMode
 
 // saving 3 byte, 2 cycles, return(float_constant) profits here
@@ -1287,8 +1305,8 @@ replace {
         mov  a,%12
         cjne %13,%14,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 4
 
 replace {
         cjne %1,%2,%3
@@ -1311,8 +1329,8 @@ replace {
         mov  a,%12
         cjne %13,%14,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 4
 
 replace {
         cjne @%1,%2,%3
@@ -1335,8 +1353,8 @@ replace {
         inc  %1
         cjne @%1,%14,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 4
 
 replace {
         cjne %1,%2,%3
@@ -1353,8 +1371,8 @@ replace {
         cjne %10,%11,%8
         cjne %13,%14,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 4
 
 replace {
         jnz  %3
@@ -1373,8 +1391,8 @@ replace {
         mov  a,%9
         cjne %10,%11,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 3
 
 replace {
         cjne %1,%2,%3
@@ -1393,8 +1411,8 @@ replace {
         mov  a,%9
         cjne %10,%11,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 3
 
 replace {
         cjne @%1,%2,%3
@@ -1413,8 +1431,8 @@ replace {
         inc  %1
         cjne @%1,%11,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 3
 
 replace {
         cjne %1,%2,%3
@@ -1429,8 +1447,8 @@ replace {
         cjne %5,%6,%8
         cjne %10,%11,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 3
 
 replace {
         jnz  %3
@@ -1445,8 +1463,8 @@ replace {
         mov  a,%4
         cjne %5,%6,%8
         sjmp %7
-%3:     
-}
+;%3:     
+} if labelRefCount %3 2
 
 replace {
         cjne %1,%2,%3
@@ -1461,8 +1479,8 @@ replace {
         mov  a,%4
         cjne %5,%6,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 2
 
 replace {
         cjne @%1,%2,%3
@@ -1477,8 +1495,8 @@ replace {
         inc   %1
         cjne @%1,%6,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 2
 
 replace {
         cjne %1,%2,%3
@@ -1491,8 +1509,8 @@ replace {
         cjne %1,%2,%8
         cjne %5,%6,%8
         sjmp %7
-%3:
-}
+;%3:
+} if labelRefCount %3 2
 
 replace {
         cjne %1,%2,%3
@@ -1503,7 +1521,7 @@ replace {
         ; Peephole 199   optimized misc jump sequence
         cjne %1,%2,%5
         sjmp %4
-%3:
+;%3:
 } if labelRefCount %3 1
 
 replace {
@@ -1563,7 +1581,7 @@ replace {
         djnz %1,%4
 %2:
 %3:
-}
+} if labelRefCount %2 1
 
 replace {
         mov  %1,%1
@@ -1797,10 +1815,120 @@ replace {
 
 replace {
        mov     dps, #0x00
-       mov     dp%1,a
+       mov     %1,a
        mov     dps, #0x01
 } by {
        ; Peephole 222 removed DPS abuse.
-       mov     dp%1,a
+       mov     %1,a
+        mov     dps, #0x01
+}
+
+replace {
+       mov     dps, #0x00
+       xch     a, ap
+       mov     %1, ap
+       mov     dps, #0x01
+} by {
+       ; Peephole 222a removed DPS abuse.
+       xch     a, ap
+        mov     %1, ap
         mov     dps, #0x01
 }
+
+replace {
+       mov     dps, #0x%1
+       inc     dptr
+       movx    a,@dptr
+       mov     %2,a
+       mov     dps, #0x%1
+} by {
+       mov     dps, #0x%1
+        inc     dptr
+        movx    a,@dptr
+        mov     %2,a
+; Peephole 223: yet more DPS abuse removed.
+}
+
+replace {
+       mov     dps, #0x00
+       inc     dps
+} by {
+       mov     dps, #0x01
+}
+
+replace {
+       mov     dps, #0x0%1
+       mov     dptr, %2
+       mov     dps, #0x0%1
+} by {
+       mov     dps, #0x0%1
+        mov     dptr, %2
+}
+
+replace {
+       mov     dps, #0x01
+       mov     dptr, %1
+       mov     dps, #0x00
+       mov     dptr, %2
+       inc     dps
+} by {
+       mov     dps, #0x00
+       mov     dptr, %2
+       inc     dps
+       mov     dptr, %1
+; Peephole 224a: DPS usage re-arranged.
+}
+
+replace {
+       mov     dps, #0x0%1
+       mov     dptr, %2
+       mov     dps, #0x0%3
+       mov     dptr, %4
+       mov     dps, #0x0%1
+} by {
+       mov     dps, #0x0%3
+       mov     dptr, %4
+       mov     dps, #0x0%1
+       mov     dptr, %2
+; Peephole 224: DPS usage re-arranged.
+}
+
+replace {
+       mov     dps, #0x01
+       mov     dptr, %1
+       mov     dps, #0x00
+} by {
+       mov     dps, #0x01
+       mov     dptr, %1
+       dec     dps
+}
+
+replace {
+       xch     a, ap
+       add     a, ap
+} by {
+       add     a, ap
+}
+
+replace {
+       xch     a, ap
+       addc    a, ap
+} by {
+       addc    a, ap
+}
+
+replace {
+       inc     dps
+       mov     dps, #0x%1
+} by {
+       mov     dps, #0x%1
+}
+
+replace {
+       dec     dps
+       mov     dps, #0x%1
+} by {
+       mov     dps, #0x%1
+}
+
+