diff options
| author | Robert Norton | 2017-09-13 15:33:47 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-13 15:33:59 +0100 |
| commit | 8c143d2aaebaa210e4d4778a0bcfd5326908bdf8 (patch) | |
| tree | eb0a6a993755c548ebaf4b329e00b76eb7779a24 | |
| parent | 53f13aeb3ff1289d92211aec6181cf178df82993 (diff) | |
add HLT instruction for RMEM integration.
| -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 ========================================================================== *) |