Searched refs:state_hash_vl (Results 1 – 1 of 1) sorted by relevance
167 std::map<int, uint32_t> state_hash_vl; in main() local254 state_hash_vl[128] = state_hash; in main()256 if (seen_states.count(state_hash_vl[128]) == 0) { in main()263 state_hash_vl[s.first] = state_hash; in main()266 seen_states.insert(state_hash_vl[128]); in main()267 useful_insts.push_back({inst, buffer, state_hash_vl[128]}); in main()277 state_hash_vl[128], in main()316 for (std::pair<int, uint32_t> h : state_hash_vl) { in main()