Home
last modified time | relevance | path

Searched refs:OverlapBegin (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/
H A DRandomFunctionGenerator.cpp87 OverlapBegin(Context.int_const("OverlapBegin")), in RandomFunctionGenerator()
105 addBoundsAndAnchors(OverlapBegin, OverlapEnd); in RandomFunctionGenerator()
113 Solver.add(ContiguousEnd == OverlapBegin); in RandomFunctionGenerator()
127 Solver.add(OverlapBegin == OverlapEnd || OverlapBegin >= 2); in RandomFunctionGenerator()
221 R.Overlap = As<Overlap>(E(OverlapBegin), E(OverlapEnd)); in next()
233 (OverlapBegin == E(OverlapBegin)) && (OverlapEnd == E(OverlapEnd)) && in next()
/llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/
H A DRandomFunctionGenerator.h51 z3::expr OverlapBegin, OverlapEnd; member