diff options
author | 2013-07-22 18:05:27 +0100 | |
---|---|---|
committer | 2013-07-22 18:05:27 +0100 | |
commit | afaeb081ffcc1c258db6eb7c34ba0b04c493919a (patch) | |
tree | d0b07c3e3082f323e17523a3e695dc18ee61062d /Source/Predication/SmartBlockPredicator.cs | |
parent | 858d43ff93a0cc9bc30ce55906499fb9157124c9 (diff) |
More refactoring towards replacing PureCollections.Sequence with List
Diffstat (limited to 'Source/Predication/SmartBlockPredicator.cs')
-rw-r--r-- | Source/Predication/SmartBlockPredicator.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/Predication/SmartBlockPredicator.cs b/Source/Predication/SmartBlockPredicator.cs index 55e73161..9dc10d02 100644 --- a/Source/Predication/SmartBlockPredicator.cs +++ b/Source/Predication/SmartBlockPredicator.cs @@ -146,13 +146,13 @@ public class SmartBlockPredicator { hasPredicatedRegion = hasPredicatedRegion ||
gCmd.labelTargets.Cast<Block>().Any(b => predMap.ContainsKey(b));
- if (gCmd.labelTargets.Length == 1) {
+ if (gCmd.labelTargets.Count == 1) {
if (defMap.ContainsKey(gCmd.labelTargets[0]))
PredicateCmd(p, cmdSeq,
Cmd.SimpleAssign(Token.NoToken,
Expr.Ident(predMap[gCmd.labelTargets[0]]), Expr.True));
} else {
- Debug.Assert(gCmd.labelTargets.Length > 1);
+ Debug.Assert(gCmd.labelTargets.Count > 1);
Debug.Assert(gCmd.labelTargets.Cast<Block>().All(t => uni.IsUniform(impl.Name, t) ||
partInfo.ContainsKey(t)));
foreach (Block target in gCmd.labelTargets) {
@@ -353,9 +353,9 @@ public class SmartBlockPredicator { }
Block realDest = block;
- if (block.Cmds.Length == 0) {
+ if (block.Cmds.Count == 0) {
var gc = block.TransferCmd as GotoCmd;
- if (gc != null && gc.labelTargets.Length == 1)
+ if (gc != null && gc.labelTargets.Count == 1)
realDest = gc.labelTargets[0];
}
partInfo[block] = new PartInfo(pred, realDest);
|