diff options
| author | Alasdair Armstrong | 2019-05-03 19:18:56 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-03 19:18:56 +0100 |
| commit | aeb4e23aeb12a99568dcc49f0d39ae86c7bd5065 (patch) | |
| tree | 6ca2e126c147ec022d5c603995aca83996b7fbeb /language | |
| parent | f6ad93e7cbbb3e43b045ae3313e556ea70e54c8f (diff) | |
Jib: Optimize set_slice for ARM v8.5
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index 058c50d2..447b25e3 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -70,6 +70,8 @@ op :: '' ::= | gteq :: :: igteq | add :: :: iadd | sub :: :: isub + | unsigned nat :: :: unsigned + | signed nat :: :: signed % Bitvector ops | bvnot :: :: bvnot | bvor :: :: bvor @@ -83,6 +85,7 @@ op :: '' ::= | sign_extend nat :: :: sign_extend | slice nat :: :: slice | sslice nat :: :: sslice + | set_slice :: :: set_slice | replicate nat :: :: replicate cval :: 'V_' ::= |