Searched defs:ListLenRefiner (Results 1 – 1 of 1) sorted by relevance
29 struct ListLenRefiner { struct30 ListLenRefiner( in ListLenRefiner() function35 bool run() { in run()48 void collectListsToRefine( in collectListsToRefine()72 ListRefinement RefineListLens(Block* b, ListRefinement block_refinements) { in RefineListLens()131 std::optional<int64_t> tryFindRefinement(Value* v) { in tryFindRefinement()141 std::shared_ptr<Graph> graph_;142 std::unordered_set<Value*> mutated_lists_;144 std::unordered_set<Value*> lists_to_refine_;146 std::vector<ListRefinement*> active_refinements_;[all …]