diff options
Diffstat (limited to 'aarch64_small/armV8.sail')
| -rw-r--r-- | aarch64_small/armV8.sail | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/aarch64_small/armV8.sail b/aarch64_small/armV8.sail index d8ee0bbe..5754b159 100644 --- a/aarch64_small/armV8.sail +++ b/aarch64_small/armV8.sail @@ -2142,10 +2142,12 @@ function clause execute ( Reverse((d,n,datasize as int('R),op)) ) = { assert (vsize > 0); /* FIXME: CP adding assertion to make typecheck */ foreach (base from 0 to (datasize - 1) by (2 * vsize)) { /* ARM: while base < datasize do */ assert (base+vsize*2 - 1 < datasize); /* FIXME: CP adding assertion to make typecheck */ - let a = tmp[(base+(2*vsize) - 1)..(base+vsize)]; +/* let a = tmp[(base+(2*vsize) - 1)..(base+vsize)]; result[((base+vsize) - 1)..base] = a; let b = tmp[(base+vsize - 1)..base]; - result[(base+(2*vsize) - 1)..(base+vsize)] = b; + result[(base+(2*vsize) - 1)..(base+vsize)] = b;*/ + result[((base+vsize) - 1)..base] = tmp[(base+(2*vsize) - 1)..(base+vsize)]; + result[(base+(2*vsize) - 1)..(base+vsize)] = tmp[(base+vsize - 1)..base]; /* ARM: base = base + (2 * vsize); */ }; }; |