Searched refs:addLoopConstraints (Results 1 – 2 of 2) sorted by relevance
129 addLoopConstraints(LoopBegin, LoopEnd, LoopBlockSize, kLoopMinIter); in RandomFunctionGenerator()131 addLoopConstraints(AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, in RandomFunctionGenerator()269 void RandomFunctionGenerator::addLoopConstraints(const z3::expr &LoopBegin, in addLoopConstraints() function in llvm::automemcpy::RandomFunctionGenerator
43 void addLoopConstraints(const z3::expr &LoopBegin, const z3::expr &LoopEnd,