diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index d7f31417..24e02672 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -40,8 +40,8 @@ def rare{x & knum{x}} = x def rare{x:u1} = emit{u1, '__builtin_expect', x, 0} def assert{x & x==0} = assert{'failed assertion'} def assert{x & x==1} = 1 -def unreachable{} = emit{void, '__builtin_unreachable'} -def assert{x:u1} = { if (not x) emit{void, '__builtin_unreachable'} } +def unreachable{} = emit{void, 'si_unreachable'} +def assert{x:u1} = { if (not x) emit{void, 'si_unreachable'} } # various checks def isreg = kreg diff --git a/src/utils/includeSingeli.h b/src/utils/includeSingeli.h index 262b6191..282afd7f 100644 --- a/src/utils/includeSingeli.h +++ b/src/utils/includeSingeli.h @@ -14,6 +14,7 @@ #define SINGELI_FILE0(X) #X #define SINGELI_FILE1(X) SINGELI_FILE0(X) + #define si_unreachable() ({UD}) #endif