diff options
| author |  Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-08-10 23:56:06 +0530 |
|---|---|---|
| committer | Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-08-10 23:56:06 +0530 |
| commit | cc95308361d22131bb2fbb11903c30b9dba68300 (patch) | |
| tree | 5951291f88df5b3ff236bcd78542b461ea3c8140 /Source/Core | |
| parent | e077ac13722a361c82196e141435f9af23c7e23a (diff) | |
Added "procedure-copy bounding" for lazy inlining
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index edca934c..c6b8e493 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -353,6 +353,7 @@ namespace Microsoft.Boogie { public bool PrintInlined = false;
public bool ExtractLoops = false;
public int LazyInlining = 0;
+ public int ProcedureCopyBound = 1;
public int StratifiedInlining = 0;
public int StratifiedInliningOption = 0;
public bool UseUnsatCoreForInlining = false;
@@ -1127,20 +1128,15 @@ namespace Microsoft.Boogie { case "-lazyInline":
case "/lazyInline":
if (ps.ConfirmArgumentCount(1)) {
- switch (args[ps.i]) {
- case "0":
- LazyInlining = 0;
- break;
- case "1":
- LazyInlining = 1;
- break;
- case "2":
- LazyInlining = 2;
- break;
- default:
- ps.Error("Invalid argument \"{0}\" to option {1}", args[ps.i], ps.s);
- break;
- }
+ LazyInlining = Int32.Parse(args[ps.i]);
+ if (LazyInlining > 3) ps.Error("Invalid argument \"{0}\" to option {1}", args[ps.i], ps.s);
+ }
+ break;
+ case "-procCopyBound":
+ case "/procCopyBound":
+ if (ps.ConfirmArgumentCount(1))
+ {
+ ProcedureCopyBound = Int32.Parse(args[ps.i]);
}
break;
case "-stratifiedInline":
|