diff options
| -rw-r--r-- | x86/x64.sail | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/x86/x64.sail b/x86/x64.sail index 2f75f540..9630a873 100644 --- a/x86/x64.sail +++ b/x86/x64.sail @@ -666,6 +666,15 @@ function clause execute (DIV (sz,r)) = } (* ========================================================================== + HLT -- halt instruction used to end test in RMEM + ========================================================================== *) + +union ast member unit HLT + +function clause execute (HLT) = () + + +(* ========================================================================== Jcc ========================================================================== *) |