diff options
Diffstat (limited to 'x86')
| -rw-r--r-- | x86/Asmexpand.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/x86/Asmexpand.ml b/x86/Asmexpand.ml index 14cbb373..d757d7c2 100644 --- a/x86/Asmexpand.ml +++ b/x86/Asmexpand.ml @@ -487,9 +487,12 @@ let expand_builtin_inline name args res = (* Synchronization *) | "__builtin_membar", [], _ -> () - (* no operation *) + (* No operation *) | "__builtin_nop", [], _ -> emit Pnop + (* Optimization hint *) + | "__builtin_unreachable", [], _ -> + () (* Catch-all *) | _ -> raise (Error ("unrecognized builtin " ^ name)) |