Pass constant vector(which store all constants appear in original program) to sketch

chipmunk-project / chipmunk

A code generator for packet-processing pipelines based on end-to-end program synthesis

12 stars 5 forks source link

Pass constant vector(which store all constants appear in original program) to sketch #158

Closed XiangyuG closed 5 years ago

XiangyuG commented 5 years ago

So overall, this pull request is based on the assumption that we might only need to search for constants that appear in the original program instead of searching for all constants, right?

Yeah. I mean it will store the constants that appears in original program and search only for those. Compared with searching for all constants such as all integer in 10-bit size, the search space is much smaller.