diff options
| author | Alasdair | 2018-06-07 01:38:21 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-07 01:38:21 +0100 |
| commit | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (patch) | |
| tree | 7bcfdf8a175f402c3158a8cbfec451d3d8742dfb /aarch64/no_vector/spec.sail | |
| parent | 9cc101327450f5871749ecd797361f5b254100e5 (diff) | |
Add a constant folding optimization pass
Diffstat (limited to 'aarch64/no_vector/spec.sail')
| -rw-r--r-- | aarch64/no_vector/spec.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/no_vector/spec.sail b/aarch64/no_vector/spec.sail index 4da6fa33..8710e66b 100644 --- a/aarch64/no_vector/spec.sail +++ b/aarch64/no_vector/spec.sail @@ -2608,7 +2608,7 @@ function ComputePAC (data, modifier, key0, key1) = { val Align__0 : (int, int) -> int -val Align__1 = {c: "arm_align"} : forall ('N : Int), 'N >= 0 & 'N >= 0. (bits('N), int) -> bits('N) +val Align__1 : forall ('N : Int), 'N >= 0 & 'N >= 0. (bits('N), int) -> bits('N) overload Align = {Align__0, Align__1} |