Add support for sleep intrinsic as a nop (#566)

Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 13, 2023 · 06462cb · 06462cb
1 parent b08f153
commit 06462cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/Intrinsics.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/Intrinsics.java
@@ -144,6 +144,7 @@ public enum Info {
         STD_EXIT("exit", false, false, false, true, Intrinsics::inlineExit),
         STD_ABORT("abort", false, false, false, true, Intrinsics::inlineExit),
         STD_IO(List.of("puts", "putchar", "printf"), false, false, true, true, Intrinsics::inlineAsZero),
+        STD_SLEEP("sleep", false, false, true, true, Intrinsics::inlineAsZero),
         ;
 
         private final List<String> variants;