diff options
| author | John Hodge <tpg@mutabah.net> | 2019-11-23 13:24:30 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2019-11-23 13:24:30 +0800 |
| commit | bfc90119d8fdfbd2e1a4935d1d73d4b19198fe0d (patch) | |
| tree | a8a0239aa283b74ff0d36e2e7c52b67aa0fe1f59 /tools/standalone_miri/u128.hpp | |
| parent | 87df981564afc3debfe5b11842f375bfae5900ff (diff) | |
| download | mrust-bfc90119d8fdfbd2e1a4935d1d73d4b19198fe0d.tar.gz | |
Standalone MIRI - Extended windows FFI support, works for "hello, world"
Diffstat (limited to 'tools/standalone_miri/u128.hpp')
| -rw-r--r-- | tools/standalone_miri/u128.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/u128.hpp b/tools/standalone_miri/u128.hpp index 8403b94a..9a28c151 100644 --- a/tools/standalone_miri/u128.hpp +++ b/tools/standalone_miri/u128.hpp @@ -7,6 +7,7 @@ class U128 public: U128(): lo(0), hi(0) {} + explicit U128(uint64_t v): lo(v), hi(0) {} U128(uint8_t v): lo(v), hi(0) {} U128(int8_t v): lo(v), hi(v < 0 ? -1 : 0) {} |