diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-03 09:49:50 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 13:11:20 +0200 |
| commit | 5c02493b916eb59cd78b7f79940163b3f7755c77 (patch) | |
| tree | 158c77c945003aefe2263f58d144476177c49158 /validation/optim | |
| parent | de13e2c39b95fe234f86b932e1784512b0ee694c (diff) | |
| download | sparse-dev-5c02493b916eb59cd78b7f79940163b3f7755c77.tar.gz | |
bitfield: extract linearize_bitfield_extract()
linearize_load_gen() is complex because it not only has to do
the loading of a value from some address but it also has to
handle the extraction of bitfields.
Isolate this operation in a separate function in order to
facilitate the incoming changes there.
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions