diff options
Diffstat (limited to 'aarch64_small/armV8.sail')
| -rw-r--r-- | aarch64_small/armV8.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/aarch64_small/armV8.sail b/aarch64_small/armV8.sail index c7d2d480..b2f493ad 100644 --- a/aarch64_small/armV8.sail +++ b/aarch64_small/armV8.sail @@ -565,6 +565,9 @@ function decodeTestBranchImmediate ([b5]@0b011011@[op]@(b40 : bits(5))@(imm14 : } function clause execute ( TestBitAndBranch((t:reg_index,datasize as atom('R),bit_pos,bit_val,offset)) ) = { + + /* assert ('R == 32 | 'R == 64); */ + let operand : bits('R) = rX(t); if operand[bit_pos] == bit_val then |