summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2014-03-14 10:30:30 +0000
committerGravatar Ally Donaldson <unknown>2014-03-14 10:30:30 +0000
commite0b47c8c100070b232c3c0387802ead99f28ac5e (patch)
tree87a54d1d1f0a7105b072512021dcbbba3398afe7 /Source
parenta5246ad8fee7ac4e56b844dc261c1a3ab034ae0d (diff)
More exhaustive generation of assertions during predication. Patch by Jeroen Ketema
Diffstat (limited to 'Source')
-rw-r--r--Source/Predication/SmartBlockPredicator.cs14
1 files changed, 10 insertions, 4 deletions
diff --git a/Source/Predication/SmartBlockPredicator.cs b/Source/Predication/SmartBlockPredicator.cs
index 37161f05..e31a1eb0 100644
--- a/Source/Predication/SmartBlockPredicator.cs
+++ b/Source/Predication/SmartBlockPredicator.cs
@@ -434,16 +434,22 @@ public class SmartBlockPredicator {
prevBlock.TransferCmd = new GotoCmd(Token.NoToken, new List<Block> { block });
}
- if (parentMap.ContainsKey(block)) {
- var parent = parentMap[block];
+ Block currentBlock = block;
+ Expr pCurrentExpr = pExpr;
+ while (parentMap.ContainsKey(currentBlock)) {
+ Block parent = parentMap[currentBlock];
+ Expr pParentExpr = null;
if (predMap.ContainsKey(parent)) {
var parentPred = predMap[parent];
if (parentPred != null) {
+ pParentExpr = Expr.Ident(parentPred);
block.Cmds.Add(new AssertCmd(Token.NoToken,
- pExpr != null ? (Expr)Expr.Imp(pExpr, Expr.Ident(parentPred))
- : Expr.Ident(parentPred)));
+ pCurrentExpr != null ? (Expr)Expr.Imp(pCurrentExpr, pParentExpr)
+ : pParentExpr));
}
}
+ currentBlock = parent;
+ pCurrentExpr = pParentExpr;
}
var transferCmd = block.TransferCmd;