diff options
| author | Robert Norton | 2017-09-06 16:46:14 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-06 16:46:27 +0100 |
| commit | 5207f6f2c53c9661bb4087a65f46fe6c5a74a776 (patch) | |
| tree | d651d2cbe3fb25bc84e7540f281e8a996ceb80bb | |
| parent | 75022d46352525305b4c06b4988bf2df15f9f29e (diff) | |
power is builtin in old tc so use it.
| -rw-r--r-- | x86/x64.sail | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/x86/x64.sail b/x86/x64.sail index 902a861e..2d17cf86 100644 --- a/x86/x64.sail +++ b/x86/x64.sail @@ -401,10 +401,7 @@ function unit erase_eflags () = ZF := undefined; } -(* XXXXX *) -function nat power ((nat) x, ([|64|]) y) = undefined - -function nat value_width ((wsize) sz) = power (2, size_width(sz)) +function nat value_width ((wsize) sz) = 2 ** size_width(sz) function bit word_signed_overflow_add ((wsize) sz, (qword) a, (qword) b) = (bit) (word_size_msb (sz, a) == word_size_msb (sz, b) & |