Subzero: Allow per-method controls.

src/IceClFlags.def

Index: src/IceClFlags.def
diff --git a/src/IceClFlags.def b/src/IceClFlags.def
index 58f1777af8c9fd188f6704cb5917b24dc50b06f4..0ae8e0908cc1555afbbbf975e6c16e26ed7f1041 100644
--- a/src/IceClFlags.def
+++ b/src/IceClFlags.def
@@ -149,6 +149,9 @@ struct dev_list_flag {};
   X(ForceMemIntrinOpt, bool, dev_opt_flag, "fmem-intrin-opt",                  \
     cl::desc("Force optimization of memory intrinsics."))                      \
                                                                                \
+  X(ForceO2String, std::string, dev_opt_flag, "force-O2",                      \
+    cl::desc("Force -O2 for certain functions (assumes -Om1)"), cl::init(""))  \

[Eric Holk, 2016/04/18 18:51:49]

Just to make sure I understand how to use this option, the idea is to isolate
codegen bugs by translating with -Om1 for most things and translating a single
problematic function with -O2, right? The goal is to prevent translation bugs in
other functions from affecting the one we're currently looking at.

My first instinct would have been to use -Om1 for one problematic function and
leave the rest as -O2, but after thinking some more I think -Om1 by default is
better.

[Jim Stichnoth, 2016/04/18 19:49:48]

Right.  At least in my experience, bisection debugging is easiest when you can
express it as "it breaks when I enable a feature for e.g. methods 0:50000, so
try to reduce that range to a single method that breaks it".  Thus use the
reliable Om1 by default and then for O2 for a narrower and narrower range until
a single offending method is found.

+                                                                               \
   X(FunctionSections, bool, dev_opt_flag, "ffunction-sections",                \
     cl::desc("Emit functions into separate sections"))                         \
                                                                                \
@@ -282,15 +285,18 @@ struct dev_list_flag {};
              "frame in bytes (for testing)."),                                 \
     cl::init(0))                                                               \
                                                                                \
+  X(TestStatusString, std::string, dev_opt_flag, "test-status",                \
+    cl::desc("Testing flag for -verbose=status"), cl::init(":"))               \
+                                                                               \
   X(TimeEachFunction, bool, dev_opt_flag, "timing-funcs",                      \
     cl::desc("Print total translation time for each function"))                \
                                                                                \
-  X(TimingFocusOn, std::string, dev_opt_flag, "timing-focus",                  \
-    cl::desc("Break down timing for a specific function (use '*' for all)"),   \
+  X(TimingFocusOnString, std::string, dev_opt_flag, "timing-focus",            \
+    cl::desc("Break down timing for specific functions (use ':' for all)"),    \
     cl::init(""))                                                              \
                                                                                \
-  X(TranslateOnly, std::string, dev_opt_flag, "translate-only",                \
-    cl::desc("Translate only the given function"), cl::init(""))               \
+  X(TranslateOnlyString, std::string, dev_opt_flag, "translate-only",          \
+    cl::desc("Translate only the given functions"), cl::init(":"))             \
                                                                                \
   X(UseNonsfi, bool, dev_opt_flag, "nonsfi", cl::desc("Enable Non-SFI mode"))  \
                                                                                \
@@ -335,9 +341,9 @@ struct dev_list_flag {};
                    "Use all verbose options except 'regalloc,global_init'"),   \
         clEnumValN(Ice::IceV_None, "none", "No verbosity"), clEnumValEnd))     \
                                                                                \
-  X(VerboseFocusOn, std::string, dev_opt_flag, "verbose-focus",                \
-    cl::desc("Override with -verbose=none except for the specified function"), \
-    cl::init(""))
+  X(VerboseFocusOnString, std::string, dev_opt_flag, "verbose-focus",          \
+    cl::desc("Override with -verbose=none except for specified functions"),    \
+    cl::init(":"))
 //#define X(Name, Type, ClType, ...)
 
 } // end of namespace Ice