diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-08-04 15:43:11 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-08-10 21:22:06 +0200 |
| commit | 95a39e0fe58c7b95588da97b3478eafba9920281 (patch) | |
| tree | e473ca52e739805533b11b11820c251d0672bbb8 /test/Feature | |
| parent | 66b3470f4d01df50bc77d9f96e3c526e8e4cbf91 (diff) | |
| download | klee-95a39e0fe58c7b95588da97b3478eafba9920281.tar.gz | |
Extended support for assembler raising
Improved support for assembler handling. Providing additional triple information to raise assembler for supported architectures only. Implemented support for raising full assembly memory fence. Added initial support for memory fences in Executor.
Diffstat (limited to 'test/Feature')
| -rw-r--r-- | test/Feature/RaiseAsm.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Feature/RaiseAsm.c b/test/Feature/RaiseAsm.c index 6a4b7b3c..f8ba173a 100644 --- a/test/Feature/RaiseAsm.c +++ b/test/Feature/RaiseAsm.c @@ -36,5 +36,7 @@ int main() { assert(ui16 == byteswap_uint16(byteswap_uint16_asm(ui16))); assert(ui32 == byteswap_uint32(byteswap_uint32_asm(ui32))); + __asm__ __volatile__("" : : : "memory"); + return 0; } |