mirror/teavm
2
0
Fork 0
mirror of https://github.com/konsoletyper/teavm.git synced 2024-11-21 01:00:54 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug in GVN that prevented optimizations in same basic block

Browse Source
This commit is contained in:
Alexey Andreev 2024-10-03 19:36:44 +02:00
parent 2414d74002
commit 8ce104ae64
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
core/src/main/java/org/teavm/model/optimization/GlobalValueNumbering.java
View File

@ -219,8 +219,7 @@ public class GlobalValueNumbering implements MethodOptimization {
} }
namesCompatible = knownName.isEmpty() || name.isEmpty() || knownName.equals(name); namesCompatible = knownName.isEmpty() || name.isEmpty() || knownName.equals(name);
} }
if (known != null && domTree.dominates(known.location * 2 + 1, currentBlockIndex * 2) && known.value != var if (known != null && dominates(known.location, currentBlockIndex) && known.value != var && namesCompatible) {
&& namesCompatible) {
map[var] = known.value; map[var] = known.value;
if (!noReplace) { if (!noReplace) {
replaceMap[var] = known.value; replaceMap[var] = known.value;
@ -242,6 +241,10 @@ public class GlobalValueNumbering implements MethodOptimization {
} }
} }
private boolean dominates(int a, int b) {
return a == b || domTree.dominates(a * 2 + 1, b * 2);
}
private InstructionVisitor constantPreprocessor = new AbstractInstructionVisitor() { private InstructionVisitor constantPreprocessor = new AbstractInstructionVisitor() {
private void setConstant(int index, Number value) { private void setConstant(int index, Number value) {
numericConstants[index] = value; numericConstants[index] = value;