Index: src/compiler/pipeline.h |
diff --git a/src/compiler/pipeline.h b/src/compiler/pipeline.h |
index 6a0253611b73ab6985f8b90e80061ede4167f0ec..4be69695e0ee002d1d8a914c7e7283e090f41db7 100644 |
--- a/src/compiler/pipeline.h |
+++ b/src/compiler/pipeline.h |
@@ -83,6 +83,8 @@ class Pipeline { |
// TODO(mstarzinger, bmeurer): This shouldn't be public! |
bool ScheduleAndSelectInstructions(Linkage* linkage); |
+ void RunPrintAndVerify(const char* phase, bool untyped = false); |
ahaas
2016/04/27 14:45:22
Could you add a TODO here that this function shoul
Clemens Hammacher
2016/04/27 14:58:55
Done (not uploaded yet).
|
+ |
private: |
// Helpers for executing pipeline phases. |
template <typename Phase> |
@@ -94,7 +96,6 @@ class Pipeline { |
void BeginPhaseKind(const char* phase_kind); |
void EndPhaseKind(); |
- void RunPrintAndVerify(const char* phase, bool untyped = false); |
Handle<Code> ScheduleAndGenerateCode(CallDescriptor* call_descriptor); |
void AllocateRegisters(const RegisterConfiguration* config, |
CallDescriptor* descriptor, bool run_verifier); |