diff options
| author | Alasdair Armstrong | 2017-11-27 16:33:43 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-27 16:33:43 +0000 |
| commit | 4e814bba48f8274874010f282c431d7d65e5bb0e (patch) | |
| tree | 6107ffb7ebd4ad48e14cdbea8346b3f04253bd12 /src/util.ml | |
| parent | 381071686f99aabdc8d618051b1b63d5aeb0108c (diff) | |
Compile assertions into OCaml
and_bool and or_bool now are treated specially in the ocaml backend,
so that they have the correct short-circuiting behaviour. This is
required so that assertions don't fail for the ARM spec for predicates
that shouldn't be tested in certain circumstances, for example things like:
IsAArch32() && AArch32_specific_predicate
Also fixed an issue in the sail library for ocaml where greater than
or equal to was being mapped to greater than.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions