diff options
| author | Brian Campbell | 2018-07-24 17:38:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-24 17:38:18 +0100 |
| commit | 8b1bbeed703da7ba78dfe2728c99b0ec9088cf47 (patch) | |
| tree | 835f9ae7fcd17b440d9a7b674ae58ee32bae0d30 /src/bytecode_util.ml | |
| parent | 8114501b7b956ee4a98fa8599c7efee62fc19206 (diff) | |
Move monomorphisation after mapping rewrites
Fixes monomorphisation on files using mappings.
Also extended constant propagation to handle pattern matches on
bitvector expressions (because an earlier rewrite replaces the literals).
Also moved L_undef rewriting because monomorphisation can handle them
but not the replacement functions.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions