-//replace restart {
-// pop %1
-// push %1
-//} by {
-// ; Peephole 1 removed pop %1 push %1 (not push pop)
-//}
-
-//replace restart {
-// pop %1
-// mov %2,%3
-// push %1
-//} by {
-// ; Peephole 2 removed pop %1 push %1 (not push pop)
-// mov %2,%3
-//}
-
-//
// added by Jean Louis VERN for
// his shift stuff
replace {
movx @dptr,a
} if notVolatile %1
+// applies to f.e. lib/src/time.c (--model-large)
+replace {
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ mov a,%1
+ movx @dptr,a
+} by {
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ ; Peephole 101.a removed redundant moves
+ movx @dptr,a
+ inc dptr
+ movx @dptr,a
+ inc dptr
+ movx @dptr,a
+} if notVolatile %1
+
+// applies to f.e. support/regression/tests/literalop.c (--model-large)
+replace {
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ mov a,%1
+ movx @dptr,a
+} by {
+ mov a,%1
+ movx @dptr,a
+ inc dptr
+ ; Peephole 101.b removed redundant moves
+ movx @dptr,a
+ inc dptr
+ movx @dptr,a
+} if notVolatile %1
+
+// applies to f.e. support/regression/tests/onebyte.c (--model-large)
replace {
mov a,%1
movx @dptr,a
mov a,%1
movx @dptr,a
inc dptr
- ; Peephole 101 removed redundant mov
+ ; Peephole 101.c removed redundant mov
movx @dptr,a
} if notVolatile %1
mov a,%1
} by {
mov %1,a
-; Peephole 105 removed redundant mov
+ ; Peephole 105 removed redundant mov
} if notVolatile %1
replace {
jc %5
} if operandsLiteral(%1)
-replace {
- clr c
- mov a,%1
- subb a,#%2
- mov %3,c
-} by {
- ; Peephole 132.d optimized genCmpGt by inverse logic
- mov a,#0x100 - %2
- add a,%1
- mov %3,c
-} if operandsNotRelated('0x00' %2), operandsLiteral(%2)
+// disabled. See bug1734654.c
+//replace {
+// clr c
+// mov a,%1
+// subb a,#%2
+// mov %3,c
+//} by {
+// ; Peephole 132.d optimized genCmpGt by inverse logic
+// mov a,#0x100 - %2
+// add a,%1
+// mov %3,c
+//} if operandsNotRelated('0x00' %2), operandsLiteral(%2)
replace {
clr c
mov %1,a
mov dpl,%2
mov dph,%3
- ; Peephole 136 removed redundant move
+ ; Peephole 136 removed redundant mov
} if notVolatile %1
// WTF? Doesn't look sensible to me...
} by {
; Peephole 139.b removed redundant mov
orl a,%2
- mov r%1,a }
+ mov r%1,a
+}
replace {
mov r%1,a
mov r%2,ar%1
mov ar%1,@r%2
} by {
- ; Peephole 142 removed redundant moves
+ ; Peephole 142 removed redundant mov
mov r%2,a
mov ar%1,@r%2
}
mov %1,%2
mov %1,%3
} by {
- ; Peephole 177.c removed redundant move
+ ; Peephole 177.c removed redundant mov
mov %1,%3
} if notVolatile %1 %2
} by {
mov %1,%2
mov %3,%4
- ; Peephole 177.d removed redundant move
+ ; Peephole 177.d removed redundant mov
} if notVolatile(%1 %2),operandsNotRelated(%1 %2 %3)
// applies to f.e. bug-607243.c
mov r%1,%2
mov ar%1,%3
} by {
- ; peephole 177.e removed redundant move
+ ; peephole 177.e removed redundant mov
mov ar%1,%3
} if notVolatile %2 %3
mov ar%1,%2
mov r%1,%3
} by {
- ; peephole 177.f removed redundant move
+ ; peephole 177.f removed redundant mov
mov r%1,%3
} if notVolatile %2
mov %1,a
} if notVolatile %2
+// applies to f.e. testfwk.c
+replace {
+ mov r%1,a
+ mov ar%2,r%1
+} by {
+ mov r%1,a
+ ; peephole 177.i optimized mov sequence
+ mov r%2,a
+}
+
replace {
mov a,%1
mov b,a
mov %1,a
} if notVolatile %1
-replace {
-// acc being incremented might cause problems
- mov %1,a
- inc %1
-} by {
- ; Peephole 185 changed order of increment (acc incremented also!)
- inc a
- mov %1,a
-} if notVolatile %1
+//replace {
+// acc being incremented might cause problems with register tracking
+// mov %1,a
+// inc %1
+//} by {
+// ; Peephole 185 changed order of increment (acc incremented also!)
+// inc a
+// mov %1,a
+//} if notVolatile %1
// char indexed access to: long code table[] = {4,3,2,1};
replace restart {
; Peephole 191 removed redundant mov
} if notVolatile %1
+// applies to f.e. regression/ports/mcs51/support.c
replace {
mov r%1,a
mov @r%2,ar%1
} by {
mov r%1,a
- ; Peephole 192 used a instead of ar%1 as source
+ ; Peephole 192.a used a instead of ar%1 as source
mov @r%2,a
}
+// applies to f.e. printf_large.c
+replace {
+ mov ar%1,@r%2
+ mov a,r%1
+} by {
+ ; Peephole 192.b used a instead of ar%1 as destination
+ mov a,@r%2
+ mov r%1,a
+}
+
replace {
jnz %3
mov a,%4
mov %1,%1
} by {
; Peephole 206 removed redundant mov %1,%1
-} if notVolatile
+} if notVolatile %1
// Does not seem to be triggered anymore
//replace {
add a,%1
} by {
mov %1,a
- ; Peephole 214 reduced some extra moves
+ ; Peephole 214.a removed redundant mov
add a,%2
} if operandsNotSame
add a,%2
mov %1,a
} by {
- ; Peephole 215 removed some moves
+ ; Peephole 214.b removed redundant mov
add a,%2
mov %1,a
} if operandsNotSame
replace {
mov %1 + %2,(%2 + %1)
} by {
- ; Peephole 221.a remove redundant move
+ ; Peephole 221.a remove redundant mov
} if notVolatile
replace {
mov (%1 + %2 + %3),((%2 + %1) + %3)
} by {
- ; Peephole 221.b remove redundant move
+ ; Peephole 221.b remove redundant mov
} if notVolatile
replace {
mov %7,%15
mov %8,%16
; Peephole 238.a removed 4 redundant moves
-} if operandsNotSame8 %1 %2 %3 %4 %5 %6 %7 %8
+} if operandsNotSame8(%1 %2 %3 %4 %5 %6 %7 %8), notVolatile(%1 %2 %3 %4 %9 %10 %11 %12)
// applies to device/lib/log10f.c
replace {
mov %3,%7
mov %4,%8
; Peephole 238.b removed 3 redundant moves
-} if operandsNotSame7 %1 %2 %3 %4 %5 %6 %7
+} if operandsNotSame7(%1 %2 %3 %4 %5 %6 %7), notVolatile(%1 %2 %3 %5 %6 %7)
// applies to f.e. device/lib/time.c
replace {
mov %3,%7
mov %4,%8
; Peephole 238.c removed 2 redundant moves
-} if operandsNotSame4 %1 %2 %3 %4
+} if operandsNotSame4(%1 %2 %3 %4), notVolatile(%1 %2 %5 %6)
// applies to f.e. support/regression/tests/bug-524209.c
replace {
mov %2,%5
mov %3,%6
; Peephole 238.d removed 3 redundant moves
-} if operandsNotSame6 %1 %2 %3 %4 %5 %6
+} if operandsNotSame6(%1 %2 %3 %4 %5 %6), notVolatile(%1 %2 %3 %4 %5 %6)
// applies to f.e. ser_ir.asm
replace {
mov r%3,a
}
-// applies to: void test( char c ) { if( c ) func1(); else func2(); }
-replace {
- lcall %1
- ret
-} by {
- ; Peephole 253.a replaced lcall/ret with ljmp
- ljmp %1
-}
-
-// applies to: void test( char c ) { if( c ) func1(); else func2(); }
-replace {
- lcall %1
-%2:
- ret
-} by {
- ; Peephole 253.b replaced lcall/ret with ljmp
- ljmp %1
- ;
-} if labelRefCount %2 0
-
-// applies to f.e. scott-bool1.c
-replace {
- lcall %1
-%2:
- ret
-} by {
- ; Peephole 253.c replaced lcall with ljmp
- ljmp %1
-%2:
- ret
-}
-
-
// applies to f.e. funptrs.c
// saves one byte if %1 is a register or @register
replace {
djnz %1,%2
} if notVolatile(%1)
-// unsigned char i=8; do{ } while(--i != 0);
-// this applies if i is kept in data memory
-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')
+//// 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;
} by {
; Peephole 263.a optimized loading const
mov %1,#(%2 + 3)
-}
+} if notVolatile(%1)
replace {
mov %1,#%2
} by {
; Peephole 263.b optimized loading const
mov %1,#(%2 + 2)
-}
+} if notVolatile(%1)
replace {
mov %1,#%2
} by {
; Peephole 263.c optimized loading const
mov %1,#(%2 + 1)
-}
+} if notVolatile(%1)
replace {
%3:
} if labelRefCount(%3 1), labelRefCountChange(%3 -1)
+
+replace restart {
+ pop ar%1
+} by {
+ ; Peephole 300 pop ar%1 removed
+} if deadMove(%1)
+
+replace {
+ mov r%1,%2
+} by {
+ ; Peephole 301 mov r%1,%2 removed
+} if notVolatile(%2), deadMove(%1)
+
+
+// applies to: void test( char c ) { if( c ) func1(); else func2(); }
+replace {
+ lcall %1
+ ret
+} by {
+ ; Peephole 400.a replaced lcall/ret with ljmp
+ ljmp %1
+}
+
+// applies to: void test( char c ) { if( c ) func1(); else func2(); }
+replace {
+ lcall %1
+%2:
+ ret
+} by {
+ ; Peephole 400.b replaced lcall/ret with ljmp
+ ljmp %1
+ ;
+} if labelRefCount %2 0
+
+// applies to f.e. scott-bool1.c
+replace {
+ lcall %1
+%2:
+ ret
+} by {
+ ; Peephole 400.c replaced lcall with ljmp
+ ljmp %1
+%2:
+ 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{
%1:
} by {
- ; Peephole 300 removed redundant label %1
+ ; Peephole 500 removed redundant label %1
} if labelRefCount(%1 0)
projects / fw / sdcc / blobdiff