Searched refs:inSetConstraint (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/ |
| H A D | RandomFunctionGenerator.cpp | 101 Solver.add(inSetConstraint(Type, kFunctionTypes)); in RandomFunctionGenerator()
133 Solver.add(inSetConstraint(AlignedAlignment, kLoopAlignments)); in RandomFunctionGenerator()
141 inSetConstraint(AlignedArg, {(int)AlignArg::_1, (int)AlignArg::_2})) || in RandomFunctionGenerator()
148 Solver.add(inSetConstraint(ElementClass, kElementClasses)); in RandomFunctionGenerator()
251 z3::expr RandomFunctionGenerator::inSetConstraint(z3::expr &Variable, in inSetConstraint() function in llvm::automemcpy::RandomFunctionGenerator
262 Solver.add(inSetConstraint(Begin, kAnchors)); in addBoundsAndAnchors()
263 Solver.add(inSetConstraint(End, kAnchors)); in addBoundsAndAnchors()
273 Solver.add(inSetConstraint(LoopBlockSize, kLoopBlockSize)); in addLoopConstraints()
|
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | 34 z3::expr inSetConstraint(z3::expr &Variable, ArrayRef<int> Values) const;
|