diff options
| author | Thomas Bauereiss | 2020-04-12 20:30:17 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | ba733dcb489ee6990bc0b5125cb5a99fc3e9b722 (patch) | |
| tree | 68d738b854b180c7a2d717ad9be9ea7a611d9ac2 /test | |
| parent | ab0fe3e7920d10d7f9ab74649df71deb47dfb97f (diff) | |
Add rewrite for constant-folding top-level letbindings
This will constant-fold letbindings such as
let LOG2_TAG_GRANULE : int(4) = 4
let TAG_GRANULE : int = (1 << LOG2_TAG_GRANULE)
which is useful for the translation to Lem if TAG_GRANULE is used in
bitvector lengths.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions