From 2c16e15c92fbd7e2acbb6628f11aa97275ba1743 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 4 Sep 2020 13:38:05 -0700
Subject: [PATCH] [sledge] Add: __llair_choice intrinsic

Summary: To use for nondeterministic choice in tests.

Reviewed By: ngorogiannis

Differential Revision: D23459509

fbshipit-source-id: 318930d02
---
 sledge/model/llair_intrinsics.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sledge/model/llair_intrinsics.h b/sledge/model/llair_intrinsics.h
index 533ec1f11..daef770dc 100644
--- a/sledge/model/llair_intrinsics.h
+++ b/sledge/model/llair_intrinsics.h
@@ -16,6 +16,8 @@ __attribute__((noreturn)) void __llair_throw(void* thrown_exception);
 /* This models allocation that cannot fail. */
 void* __llair_alloc(unsigned size);
 
+int __llair_choice();
+
 #ifdef __cplusplus
 }
 #endif