Ignore:
Timestamp:
Jan 29, 2016, 3:38:47 PM (3 years ago)
Author:
nmedfort
Message:

Incorporated a few common case boolean optimizations in the Simplifier.

File:
1 edited

Legend:

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

    r4919 r4922  
    1717#include <IDISA/idisa_builder.h>
    1818#include <IDISA/idisa_avx_builder.h>
    19 #include <llvm/IR/Verifier.h>
    2019#include <llvm/Pass.h>
    2120#include <llvm/PassManager.h>
     
    4948#include <llvm/Support/raw_ostream.h>
    5049#include <llvm/Support/FileSystem.h>
     50#ifndef NDEBUG
     51#include <llvm/IR/Verifier.h>
     52#endif
    5153
    5254//#include <llvm/PassManager.h>
     
    144146    const timestamp_t pablo_compilation_end = read_cycle_counter();
    145147    std::cerr << "PABLO COMPILATION TIME: " << (pablo_compilation_end - pablo_compilation_start) << std::endl;
     148    #endif
     149
     150    #ifndef NDEBUG
     151    raw_os_ostream err(std::cerr);
     152    verifyModule(*mMod, &err);
    146153    #endif
    147154
     
    258265    mCarryManager->initializeCarryDataAtIfEntry();
    259266    compileBlock(ifBody);
     267    BasicBlock * ifBodyFinalBlock = iBuilder->GetInsertBlock();
     268
    260269    if (mCarryManager->blockHasCarries()) {
    261270        mCarryManager->generateCarryOutSummaryCodeIfNeeded();
    262271    }
    263     BasicBlock * ifBodyFinalBlock = iBuilder->GetInsertBlock();
     272
    264273    mCarryManager->ensureCarriesStoredLocal();
    265274    iBuilder->CreateBr(ifEndBlock);
Note: See TracChangeset for help on using the changeset viewer.