mov %1,a
}
-replace {
+replace restart {
// saving 1 byte, loosing 1 cycle but maybe allowing peephole 3.b to start
mov %1,#0x00
mov %2,#0x00
} by {
; Peephole 107 removed redundant ljmp
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jc %1
; Peephole 115.b jump optimization
jz %3
%2:
-} labelRefCountChange(%2 -1)
+} if labelRefCountChange(%2 -1)
replace {
clr a
mov a,%2
add a,#0xff - %1
mov %3,c
-}
+} if operandsLiteral(%1)
replace {
clr c
mov a,%2
add a,#0xff - %1
jnc %5
-}
+} if operandsLiteral(%1)
replace {
clr c
mov a,%2
add a,#0xff - %1
jc %5
-}
+} if operandsLiteral(%1)
replace {
clr c
mov a,#0x100 - %2
add a,%1
mov %3,c
-} if operandsNotRelated('0x00' %2)
+} if operandsNotRelated('0x00' %2), operandsLiteral(%2)
replace {
clr c
mov a,#0x100 - %2
add a,%1
jc %5
-} if operandsNotRelated('0x00' %2)
+} if operandsNotRelated('0x00' %2), operandsLiteral(%2)
replace {
clr c
mov a,#0x100 - %2
add a,%1
jnc %5
-} if operandsNotRelated('0x00' %2)
+} if operandsNotRelated('0x00' %2), operandsLiteral(%2)
replace {
add a,%2
}
-// what are #147-#149 for?
+// 147: Fix compiler output to comply with 8051 instruction set.
replace {
orl r%1,a
} by {
- ; Peephole 147 changed target address mode r%1 to ar%1
+ ; Peephole 147.a changed target address mode r%1 to ar%1
orl ar%1,a
}
replace {
anl r%1,a
} by {
- ; Peephole 148 changed target address mode r%1 to ar%1
+ ; Peephole 147.b changed target address mode r%1 to ar%1
anl ar%1,a
}
replace {
xrl r%1,a
} by {
- ; Peephole 149 changed target address mode r%1 to ar%1
+ ; Peephole 147.c changed target address mode r%1 to ar%1
xrl ar%1,a
}
; Peephole 160.a removed sjmp by inverse jump logic
jc %2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jc %1
; Peephole 160.b removed sjmp by inverse jump logic
jnc %2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jnz %1
; Peephole 160.c removed sjmp by inverse jump logic
jz %2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jz %1
; Peephole 160.d removed sjmp by inverse jump logic
jnz %2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jnb %3,%1
; Peephole 160.e removed sjmp by inverse jump logic
jb %3,%2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
jb %3,%1
; Peephole 160.f removed sjmp by inverse jump logic
jnb %3,%2
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
mov %1,%2
; Peephole 168 jump optimization
jb %1,%3
%2:
-} labelRefCountChange(%2 -1)
+} if labelRefCountChange(%2 -1)
replace {
jb %1,%2
; Peephole 169 jump optimization
jnb %1,%3
%2:
-} labelRefCountChange(%2 -1)
+} if labelRefCountChange(%2 -1)
replace {
clr a
mov %1,%2
mov %3,%4
; Peephole 177.d removed redundant move
-} if notVolatile(%1 %2),operandsNotRelated(%1 %3)
+} if notVolatile(%1 %2),operandsNotRelated(%1 %2 %3)
// applies to f.e. bug-607243.c
// also check notVolatile %3, as it will return FALSE if it's @r%1
inc dptr
}
-// char indexed access to: char code table[] = {4,3,2,1};
-replace {
- add a,#%1
- mov dpl,a
- clr a
- addc a,#(%1 >> 8)
- mov dph,a
- clr a
- movc a,@a+dptr
-} by {
- ; Peephole 186.d optimized movc sequence
- mov dptr,#%1
- movc a,@a+dptr
-}
+// disabled due to bug #1434401
+//// char indexed access to: char code table[] = {4,3,2,1};
+//replace {
+// add a,#%1
+// mov dpl,a
+// clr a
+// addc a,#(%1 >> 8)
+// mov dph,a
+// clr a
+// movc a,@a+dptr
+//} by {
+// ; Peephole 186.d optimized movc sequence
+// mov dptr,#%1
+// movc a,@a+dptr
+//}
// char indexed access to: int code table[] = {4,3,2,1};
replace {
} by {
; Peephole 200.a removed redundant sjmp
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
sjmp %1
; Peephole 200.b removed redundant sjmp
%2:
%1:
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
push acc
inc r%1
}
-// reverts peephole 159?
+// reverts peephole 159? asx8051 cannot handle, too complex?
replace {
mov %1,#(( %2 >> 8 ) ^ 0x80)
} by {
; Peephole 225 removed redundant move to acc
} if notVolatile %1
+replace {
+ clr a
+ movx @%1,a
+ inc %1
+ clr a
+} by {
+ clr a
+ movx @%1,a
+ inc %1
+ ; Peephole 226.a removed unnecessary clr
+}
+
replace {
clr a
movx @%1,a
inc %1
movx @%1,a
inc %1
- ; Peephole 226 removed unnecessary clr
+ ; Peephole 226.b removed unnecessary clr
}
replace {
mov %3,%4
%1:
ret
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
replace {
sjmp %1
mov dph,%6
%1:
ret
-} labelRefCountChange(%1 -1)
+} if labelRefCountChange(%1 -1)
// applies to f.e. device/lib/log10f.c
replace {
addc a,%1
}
-// peepholes 241.a to 241.c and 241.d to 241.f need to be in order
+// peepholes 241.a to 241.d and 241.e to 241.h need to be in order
replace {
- cjne r%1,#%2,%3
- cjne r%4,#%5,%3
- cjne r%6,#%7,%3
- cjne r%8,#%9,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
+ cjne r%6,#%7,%0
+ cjne r%8,#%9,%0
mov a,#0x01
- sjmp %10
-%3:
+ sjmp %1
+%0:
clr a
-%10:
+%1:
} by {
; Peephole 241.a optimized compare
clr a
- cjne r%1,#%2,%3
- cjne r%4,#%5,%3
- cjne r%6,#%7,%3
- cjne r%8,#%9,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
+ cjne r%6,#%7,%0
+ cjne r%8,#%9,%0
inc a
-%3:
-%10:
-} labelRefCountChange(%10 -1)
+%0:
+%1:
+} if labelRefCountChange(%1 -1)
-// applies to f.e. time.c
+// applies to generic pointer compare
replace {
- cjne r%1,#%2,%3
- cjne r%4,#%5,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
+ cjne r%6,#%7,%0
mov a,#0x01
- sjmp %6
-%3:
+ sjmp %1
+%0:
clr a
-%6:
+%1:
} by {
; Peephole 241.b optimized compare
clr a
- cjne r%1,#%2,%3
- cjne r%4,#%5,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
+ cjne r%6,#%7,%0
inc a
-%3:
-%6:
-} labelRefCountChange(%6 -1)
+%0:
+%1:
+} if labelRefCountChange(%1 -1)
-// applies to f.e. malloc.c
+// applies to f.e. time.c
replace {
- cjne r%1,#%2,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
mov a,#0x01
- sjmp %4
-%3:
+ sjmp %1
+%0:
clr a
-%4:
+%1:
} by {
; Peephole 241.c optimized compare
clr a
- cjne r%1,#%2,%3
+ cjne r%2,#%3,%0
+ cjne r%4,#%5,%0
inc a
-%3:
-%4:
-} labelRefCountChange(%4 -1)
+%0:
+%1:
+} if labelRefCountChange(%1 -1)
+
+// applies to f.e. malloc.c
+replace {
+ cjne r%2,#%3,%0
+ mov a,#0x01
+ sjmp %1
+%0:
+ clr a
+%1:
+} by {
+ ; Peephole 241.d optimized compare
+ clr a
+ cjne r%2,#%3,%0
+ inc a
+%0:
+%1:
+} if labelRefCountChange(%1 -1)
// applies to f.e. j = (k!=0x1000);
// with volatile idata long k;
replace {
- cjne @r%1,#%2,%3
- inc r%1
- cjne @r%1,#%4,%3
- inc r%1
- cjne @r%1,#%5,%3
- inc r%1
- cjne @r%1,#%6,%3
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
+ inc r%0
+ cjne @r%0,#%5,%1
+ inc r%0
+ cjne @r%0,#%6,%1
mov a,#0x01
- sjmp %7
-%3:
+ sjmp %2
+%1:
clr a
-%7:
+%2:
} by {
- ; Peephole 241.d optimized compare
+ ; Peephole 241.e optimized compare
clr a
- cjne @r%1,#%2,%3
- inc r%1
- cjne @r%1,#%4,%3
- inc r%1
- cjne @r%1,#%5,%3
- inc r%1
- cjne @r%1,#%6,%3
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
+ inc r%0
+ cjne @r%0,#%5,%1
+ inc r%0
+ cjne @r%0,#%6,%1
inc a
-%3:
-%7:
-} labelRefCountChange(%7 -1)
+%1:
+%2:
+} if labelRefCountChange(%2 -1)
+
+// applies to f.e. j = (p!=NULL);
+// with volatile idata char *p;
+replace {
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
+ inc r%0
+ cjne @r%0,#%5,%1
+ mov a,#0x01
+ sjmp %2
+%1:
+ clr a
+%2:
+} by {
+ ; Peephole 241.f optimized compare
+ clr a
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
+ inc r%0
+ cjne @r%0,#%5,%1
+ inc a
+%1:
+%2:
+} if labelRefCountChange(%2 -1)
// applies to f.e. j = (k!=0x1000);
// with volatile idata int k;
replace {
- cjne @r%1,#%2,%3
- inc r%1
- cjne @r%1,#%4,%3
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
mov a,#0x01
- sjmp %7
-%3:
+ sjmp %2
+%1:
clr a
-%7:
+%2:
} by {
- ; Peephole 241.e optimized compare
+ ; Peephole 241.g optimized compare
clr a
- cjne @r%1,#%2,%3
- inc r%1
- cjne @r%1,#%4,%3
+ cjne @r%0,#%3,%1
+ inc r%0
+ cjne @r%0,#%4,%1
inc a
-%3:
-%7:
-} labelRefCountChange(%7 -1)
+%1:
+%2:
+} if labelRefCountChange(%2 -1)
// applies to f.e. vprintf.asm (--stack-auto)
replace {
- cjne @r%1,#%2,%3
+ cjne @r%0,#%3,%1
mov a,#0x01
- sjmp %7
-%3:
+ sjmp %2
+%1:
clr a
-%7:
+%2:
} by {
- ; Peephole 241.f optimized compare
+ ; Peephole 241.h optimized compare
clr a
- cjne @r%1,#%2,%3
+ cjne @r%0,#%3,%1
inc a
-%3:
-%7:
-} labelRefCountChange(%7 -1)
+%1:
+%2:
+} if labelRefCountChange(%2 -1)
// applies to f.e. scott-bool1.c
replace {
mov r%1,a
%4:
%3:
-} labelRefCountChange(%3 -1)
+} if labelRefCountChange(%3 -1)
// in_byte>>=1; if(in_bit) in_byte|=0x80;
replace {
mov r%1,a
%4:
%3:
-} labelRefCountChange(%3 -1)
+} if labelRefCountChange(%3 -1)
// out_bit=out_byte&0x80; out_byte<<=1;
// helps f.e. writing data on a 3-wire (SPI) bus
mov %1,a
} if notVolatile %1
-// Peepholes 259.x rely on the correct labelRefCount. Otherwise they are
+// Peepholes 259.x rely on the correct labelRefCount. Otherwise they are
// not compatible with peepholes 250.x
-// Peepholes 250.x add jumps to a previously unused label. If the
+// Peepholes 250.x add jumps to a previously unused label. If the
// labelRefCount is not increased, peepholes 259.x are (mistakenly) applied.
// (Mail on sdcc-devel 2004-10-25)
//
// applies to f.e. vprintf.c
replace {
sjmp %1
-%2:
+%2:
ret
} by {
sjmp %1
// applies to f.e. gets.c
replace {
ljmp %1
-%2:
+%2:
ret
} by {
ljmp %1
mov %1,a
}
+replace {
+ cpl c
+ cpl c
+} by {
+ ; Peephole 262 removed redundant cpl c
+}
+
+replace {
+ mov %1,#%2
+ inc %1
+ inc %1
+ inc %1
+} by {
+ ; Peephole 263.a optimized loading const
+ mov %1,#(%2 + 3)
+}
+
+replace {
+ mov %1,#%2
+ inc %1
+ inc %1
+} by {
+ ; Peephole 263.b optimized loading const
+ mov %1,#(%2 + 2)
+}
+
+replace {
+ mov %1,#%2
+ inc %1
+} by {
+ ; Peephole 263.c optimized loading const
+ mov %1,#(%2 + 1)
+}
+
// should be one of the last peepholes
replace{
%1:
projects / fw / sdcc / blobdiff