diff options
author | 2010-10-02 05:20:58 +0000 | |
---|---|---|
committer | 2010-10-02 05:20:58 +0000 | |
commit | 8752aeefdbbb1ed3524a7942243d148a2796b112 (patch) | |
tree | a5ca8335e990a9b77cbeeaa97e8990db0680b420 /Source | |
parent | af63bf0fdba13444d7aa82ac5fa84324876329a3 (diff) |
Minor fix to recursion depth in stratified inlining algorithm.
Diffstat (limited to 'Source')
-rw-r--r-- | Source/VCGeneration/VC.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index b332477f..13206c75 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2016,7 +2016,7 @@ namespace VC { List<int> toExpand = new List<int>();
foreach (int id in calls.currCandidates)
{
- if (calls.isNonTrivialCandidate(id))
+ if (calls.isNonTrivialCandidate(id) && calls.getRecursionBound(id) <= CommandLineOptions.Clo.RecursionBound)
{
toExpand.Add(id);
}
@@ -2050,7 +2050,7 @@ namespace VC { int bound = 1;
bool done = false;
- while (bound < CommandLineOptions.Clo.RecursionBound && !done)
+ while (bound <= CommandLineOptions.Clo.RecursionBound && !done)
{
while (true)
{
@@ -2652,7 +2652,7 @@ namespace VC { // recursed on proc(id)
public int getRecursionBound(int id)
{
- int ret = 0;
+ int ret = 1;
var str = getProc(id);
while (candidateParent.ContainsKey(id))
{
|