Searched defs:RandomFunctionGenerator (Results 1 – 2 of 2) sorted by relevance
26 struct RandomFunctionGenerator { struct46 z3::context Context;47 z3::solver Solver;49 z3::expr Type;50 z3::expr ContiguousBegin, ContiguousEnd;51 z3::expr OverlapBegin, OverlapEnd;52 z3::expr LoopBegin, LoopEnd, LoopBlockSize;53 z3::expr AlignedLoopBegin, AlignedLoopEnd, AlignedLoopBlockSize,54 AlignedAlignment, AlignedArg;55 z3::expr AcceleratorBegin, AcceleratorEnd;[all …]
83 RandomFunctionGenerator::RandomFunctionGenerator() in RandomFunctionGenerator() function in llvm::automemcpy::RandomFunctionGenerator