Changeset 5562 for icGREP/icgrep-devel


Ignore:
Timestamp:
Jul 12, 2017, 7:05:25 AM (2 years ago)
Author:
cameron
Message:

Add -VerifyPablo? option

Location:
icGREP/icgrep-devel/icgrep/pablo
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/pablo_toolchain.cpp

    r5510 r5562  
    3232DebugOptions(cl::values(clEnumVal(ShowPablo, "Print generated Pablo code"),
    3333                        clEnumVal(ShowOptimizedPablo, "Print optimizeed Pablo code"),
     34                        clEnumVal(VerifyPablo, "Run the Pablo verifier"),
    3435                        clEnumVal(DumpTrace, "Generate dynamic traces of executed Pablo assignments."),
    3536                        clEnumValEnd), cl::cat(PabloOptions));
     
    5758    }
    5859
    59     #ifndef NDEBUG
    60     PabloVerifier::verify(kernel, "creation");
    61     #endif
     60#ifdef NDEBUG
     61    if (DebugOptions.isSet(VerifyPablo)) {
     62#endif
     63        PabloVerifier::verify(kernel, "creation");
     64#ifdef NDEBUG
     65    }
     66#endif
    6267
    6368    // Scan through the pablo code and perform DCE and CSE
  • icGREP/icgrep-devel/icgrep/pablo/pablo_toolchain.h

    r5510 r5562  
    1414
    1515enum PabloDebugFlags {
    16     ShowPablo, ShowOptimizedPablo, DumpTrace,
     16    ShowPablo, ShowOptimizedPablo, VerifyPablo, DumpTrace,
    1717};
    1818
Note: See TracChangeset for help on using the changeset viewer.