* src/pic16/device.c (pic16_dump_usection): force udata sections

[fw/sdcc] / src / mcs51 / peeph.def

diff --git a/src/mcs51/peeph.def b/src/mcs51/peeph.def
index e21e5f24b66eb4f0516b3bd633ee6b3f4636c349..6f18fc5aad4631496a3d64ed7a16d7d1042b593b 100644 (file)
--- a/src/mcs51/peeph.def
+++ b/src/mcs51/peeph.def
@@ -1317,7 +1317,7 @@ replace {
 } by {
        ;       Peephole 177.c  removed redundant mov
        mov     %1,%3
-} if notVolatile %1 %2
+} if notVolatile(%1 %2),operandsNotRelated(%1 %3)
 
 // applies to f.e. bug-408972.c
 // not before peephole 177.c
@@ -3734,6 +3734,29 @@ replace {
        mov     r%3,a
 }
 
+// unsigned char i=8; do{ } while(--i != 0);
+// this applies if i is kept in a register
+replace {
+       dec     %1
+       cjne    %1,#0x00,%2
+} by {
+       ;       Peephole 253.a  optimized decrement with compare
+       djnz    %1,%2
+} if notVolatile(%1)
+
+// unsigned char i=8; do{ } while(--i != 0);
+// this applies if i is kept in data memory
+// must come before 256, see bug 1721024
+replace {
+       dec     %1
+       mov     a,%1
+       jnz     %2
+} by {
+       ;       Peephole 253.b  optimized decrement with compare
+       djnz    %1,%2
+} if notVolatile(%1), operandsNotRelated(%1 '@r0' '@r1')
+
+
 // applies to f.e. funptrs.c
 // saves one byte if %1 is a register or @register
 replace {
@@ -3852,29 +3875,6 @@ replace {
 } if labelRefCount(%2 0),operandsNotRelated('a' %4 %6 %8)
 
 
-// unsigned char i=8; do{ } while(--i != 0);
-// this applies if i is kept in a register
-replace {
-       dec     %1
-       cjne    %1,#0x00,%2
-} by {
-       ;       Peephole 257.a  optimized decrement with compare
-       djnz    %1,%2
-} if notVolatile(%1)
-
-//// unsigned char i=8; do{ } while(--i != 0);
-//// this applies if i is kept in data memory
-// Disabled because together with 256.c it causes bug #1721024
-//replace {
-//     dec     %1
-//     mov     a,%1
-//     jnz     %2
-//} by {
-//     ;       Peephole 257.b  optimized decrement with compare
-//     djnz    %1,%2
-//} if notVolatile(%1), operandsNotRelated(%1 '@r0' '@r1')
-
-
 // in_byte<<=1; if(in_bit) in_byte|=1;
 // helps f.e. reading data on a 3-wire (SPI) bus
 replace {
@@ -4582,6 +4582,103 @@ replace {
 } if labelRefCount(%3 1), labelRefCountChange(%3 -1)
 
 
+replace {
+       mov     %1,c
+       cpl     %1
+} by {
+       ;       Peephole 265    optimized mov/cpl sequence (carry differs)
+       cpl     c
+       mov     %1,c
+} if notVolatile(%1)
+
+replace {
+       mov     %1,c
+       jb      %1,%2
+} by {
+       ;       Peephole 266.a  optimized mov/jump sequence
+       mov     %1,c
+        jc     %2
+} if notVolatile(%1)
+
+replace {
+       mov     %1,c
+       jnb     %1,%2
+} by {
+       ;       Peephole 266.b  optimized mov/jump sequence
+       mov     %1,c
+        jnc    %2
+} if notVolatile(%1)
+
+replace {
+       jnc     %1
+       setb    %2
+       sjmp    %3
+%1:
+       clr     %2
+%3:
+} by {
+       ;       Peephole 267.a  optimized mov bit sequence
+       mov     %2,c
+%1:
+%3:
+} if labelRefCount(%1 1), labelRefCountChange(%1 -1), labelRefCountChange(%3 -1)
+
+replace {
+       jc      %1
+       clr     %2
+       sjmp    %3
+%1:
+       setb    %2
+%3:
+} by {
+       ;       Peephole 267.b  optimized mov bit sequence
+       mov     %2,c
+%1:
+%3:
+} if labelRefCount(%1 1), labelRefCountChange(%1 -1), labelRefCountChange(%3 -1)
+
+replace {
+       mov     %1,c
+       mov     %1,c
+} by {
+       ;       Peephole 268    removed redundant mov
+       mov     %1,c
+} if notVolatile(%1)
+
+replace {
+       mov     %1,c
+       mov     c,%1
+} by {
+       ;       Peephole 269    removed redundant mov
+       mov     %1,c
+} if notVolatile(%1)
+
+//accessing struct/array on stack
+replace {
+       add     a,#%1
+       add     a,#%2
+} by {
+       ;       Peephole 270    removed redundant add
+       add     a,#%1+%2
+}
+
+replace {
+       jz      %1
+       mov     %2,%4
+       sjmp    %3
+%1:
+       mov     %2,#0x00
+%3:
+} by {
+       jz      %1
+       ;       Peephole 271    optimized ternary operation (acc different)
+       mov     a,%4
+%1:
+       mov     %2,a
+%3:
+} if operandsNotRelated('a' 'dptr' %2), labelRefCount(%1 1), labelRefCountChange(%3 -1)
+
+
 replace restart {
        pop     ar%1
 } by {
@@ -4627,6 +4724,22 @@ replace {
        ret
 }
 
+// for programs less than 2k
+replace {
+       lcall   %1
+} by {
+       ;       Peephole 400.d  replaced lcall with acall
+       acall   %1
+} if useAcallAjmp
+
+// for programs less than 2k
+replace {
+       ljmp    %1
+} by {
+       ;       Peephole 400.e  replaced ljmp with ajmp
+       ajmp    %1
+} if useAcallAjmp
+
 
 // should be one of the last peepholes
 replace{