From 10368df56113091020e2c611ce92feda3da94ed9 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 3 Jul 2017 22:44:12 -0400
Subject: work around GCC issues 81294 and 81300

---
 extract-function.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'extract-function.sh')

diff --git a/extract-function.sh b/extract-function.sh
index c00ae274b..b99862405 100755
--- a/extract-function.sh
+++ b/extract-function.sh
@@ -23,6 +23,12 @@ cat <<EOF
 
 typedef unsigned int uint128_t __attribute__((mode(TI)));
 
+#if (defined(__GNUC__) || defined(__GNUG__)) && !(defined(__clang__)||defined(__INTEL_COMPILER))
+// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81294
+#define _subborrow_u32 __builtin_ia32_sbb_u32
+#define _subborrow_u64 __builtin_ia32_sbb_u64
+#endif
+
 #undef force_inline
 #define force_inline __attribute__((always_inline))
 
-- 
cgit v1.2.3