summaryrefslogtreecommitdiff
path: root/src/util.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-08-24 18:42:33 +0100
committerAlasdair Armstrong2017-08-24 18:42:33 +0100
commit4b1b3f0e45d114592102d02fb668b6e11b526dbf (patch)
treeae4715a5c1f9b813d54c39846b2485f04343c881 /src/util.ml
parentb9810423d4eece710a276384a4664aaab6aed046 (diff)
More work on undefined elimination pass.
Also generate a function which initializes all the registers in a spec to undefined. This gives us the information we need post-rewriting to generate registers of any arbitrary type.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions