Searched refs:LoopBegin (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/ |
| H A D | RandomFunctionGenerator.cpp | 89 LoopBegin(Context.int_const("LoopBegin")), in RandomFunctionGenerator()
106 addBoundsAndAnchors(LoopBegin, LoopEnd); in RandomFunctionGenerator()
114 Solver.add(OverlapEnd == LoopBegin); in RandomFunctionGenerator()
129 addLoopConstraints(LoopBegin, LoopEnd, LoopBlockSize, kLoopMinIter); in RandomFunctionGenerator()
151 Solver.add(LoopBegin == LoopEnd); in RandomFunctionGenerator()
222 R.Loop = AsLoop(E(LoopBegin), E(LoopEnd), E(LoopBlockSize)); in next()
234 (LoopBegin == E(LoopBegin)) && (LoopEnd == E(LoopEnd)) && in next()
269 void RandomFunctionGenerator::addLoopConstraints(const z3::expr &LoopBegin, in addLoopConstraints() argument
274 Solver.add(LoopBegin == LoopEnd || in addLoopConstraints()
275 (LoopBegin > (LoopMinIter * LoopBlockSize))); in addLoopConstraints()
|
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | 43 void addLoopConstraints(const z3::expr &LoopBegin, const z3::expr &LoopEnd,
52 z3::expr LoopBegin, LoopEnd, LoopBlockSize; member
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 796 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext; in traverseCFG() local
798 intersectBackEdge(LoopBegin, LoopEnd); in traverseCFG()
|