6502/kickc
1
0
Fork 0
mirror of https://gitlab.com/camelot/kickc.git synced 2024-11-27 19:50:10 +00:00
Code Issues Projects Releases Wiki Activity

Added bool-ifs-min test demonstrating problem with constant loop head optimization

Browse Source
This commit is contained in:
jespergravgaard 2019-08-06 09:08:10 +02:00
parent e167f8dce8
commit 50b59555fc
3 changed files with 15 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/dk/camelot64/kickc/passes/Pass2LoopHeadConstantIdentification.java
View File

@ -34,9 +34,7 @@ public class Pass2LoopHeadConstantIdentification extends Pass2SsaOptimization {
for(NaturalLoop loop : loopSet.getLoops()) {
LabelRef loopHeadRef = loop.getHead();
ControlFlowBlock loopHeadBlock = getGraph().getBlock(loopHeadRef);
//TODO: Fix remaining errors!
//boolean modified = optimizeLoopHead(loopHeadBlock, loop, variableReferenceInfos);
boolean modified = false;
boolean modified = optimizeLoopHead(loopHeadBlock, loop, variableReferenceInfos);
if(modified) {
getProgram().clearStatementInfos();
getProgram().clearLoopSet();

4
src/test/java/dk/camelot64/kickc/test/TestPrograms.java
View File

@ -1952,8 +1952,8 @@ public class TestPrograms {
}
@Test
public void testBoolIfs() throws IOException, URISyntaxException {
compileAndCompare("bool-ifs");
public void testBoolIfsMin() throws IOException, URISyntaxException {
compileAndCompare("bool-ifs-min");
}
@Test

12
src/test/kc/bool-ifs-min.kc Normal file
View File

@ -0,0 +1,12 @@
// A test of boolean conditions using && || and !
void main() {
const char* screen = 0x400;
for( char i : 0..20) {
if( (i<10) && ((i&1)==0) ) {
screen[i] = '*';
}
}
}