Searched refs:AlignedLoopBegin (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/ |
| H A D | RandomFunctionGenerator.cpp | 92 AlignedLoopBegin(Context.int_const("AlignedLoopBegin")), in RandomFunctionGenerator()
107 addBoundsAndAnchors(AlignedLoopBegin, AlignedLoopEnd); in RandomFunctionGenerator()
115 Solver.add(LoopEnd == AlignedLoopBegin); in RandomFunctionGenerator()
131 addLoopConstraints(AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, in RandomFunctionGenerator()
134 Solver.add(AlignedLoopBegin == AlignedLoopEnd || AlignedLoopBegin >= 64); in RandomFunctionGenerator()
153 Solver.add(AlignedLoopBegin == AlignedLoopEnd); in RandomFunctionGenerator()
223 R.AlignedLoop = AsAlignedLoop(E(AlignedLoopBegin), E(AlignedLoopEnd), in next()
236 (AlignedLoopBegin == E(AlignedLoopBegin)) && in next()
|
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | 53 z3::expr AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, member
|