diff options
Diffstat (limited to 'aarch64_small')
| -rw-r--r-- | aarch64_small/armV8.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64_small/armV8.sail b/aarch64_small/armV8.sail index a9a78900..4b7323f6 100644 --- a/aarch64_small/armV8.sail +++ b/aarch64_small/armV8.sail @@ -2091,7 +2091,7 @@ function clause execute ( ConditionalSelect((d,n,m,datasize as int('R),condition wX(d) = result; } -val decodeData1Source : bits(32) -> option(ast) effect pure +val decodeData1Source : bits(32) -> option(ast) effect {escape} scattered function decodeData1Source /* RBIT */ @@ -2178,7 +2178,7 @@ function clause execute (CountLeading((d,n,datasize as int('R),opcode))) = { end decodeData1Source -val decodeData2Source : bits(32) -> option(ast) effect pure +val decodeData2Source : bits(32) -> option(ast) effect {escape} scattered function decodeData2Source /* SDIV o1=1 */ |