Searched refs:AlignedLoopBlockSize (Results 1 – 2 of 2) sorted by relevance
94 AlignedLoopBlockSize(Context.int_const("AlignedLoopBlockSize")), in RandomFunctionGenerator()131 addLoopConstraints(AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, in RandomFunctionGenerator()135 Solver.add(AlignedLoopBlockSize >= AlignedAlignment); in RandomFunctionGenerator()136 Solver.add(AlignedLoopBlockSize >= LoopBlockSize); in RandomFunctionGenerator()224 E(AlignedLoopBlockSize), E(AlignedAlignment), in next()238 (AlignedLoopBlockSize == E(AlignedLoopBlockSize)) && in next()
53 z3::expr AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize, member