1401     Instruction *ContextInst, Module *ReproducerModule,  in checkAndReplaceCondition()  argument
1405     generateReproducer(Cmp, ReproducerModule, ReproducerCondStack, Info, DT);  in checkAndReplaceCondition()
1480                      Module *ReproducerModule,  in removeEntryFromStack()  argument
1490   if (ReproducerModule)  in removeEntryFromStack()
1497     FactOrCheck &CB, ConstraintInfo &Info, Module *ReproducerModule,  in checkOrAndOpImpliedByOther()  argument
1548     removeEntryFromStack(E, Info, ReproducerModule, ReproducerCondStack,  in checkOrAndOpImpliedByOther()
1687   std::unique_ptr<Module> ReproducerModule(  in eliminateConstraints()  local
1753       removeEntryFromStack(E, Info, ReproducerModule.get(), ReproducerCondStack,  in eliminateConstraints()
1770             ReproducerModule.get(), ReproducerCondStack, S.DT, ToRemove);  in eliminateConstraints()
1774               checkOrAndOpImpliedByOther(CB, Info, ReproducerModule.get(),  in eliminateConstraints()
1797       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size())  in eliminateConstraints()
1801       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size()) {  in eliminateConstraints()
1859   if (ReproducerModule && !ReproducerModule->functions().empty()) {  in eliminateConstraints()
1862     ReproducerModule->print(StringS, nullptr);  in eliminateConstraints()