Searched refs:AlignedLoopEnd (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/ |
| H A D | RandomFunctionGenerator.cpp | 93 AlignedLoopEnd(Context.int_const("AlignedLoopEnd")), in RandomFunctionGenerator()
107 addBoundsAndAnchors(AlignedLoopBegin, AlignedLoopEnd); in RandomFunctionGenerator()
116 Solver.add(AlignedLoopEnd == AcceleratorBegin); 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()
237 (AlignedLoopEnd == E(AlignedLoopEnd)) && in next()
|
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | 53 z3::expr AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, member
|