diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-03-14 13:47:40 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-03-14 13:47:40 -0400 |
| commit | 80ffb8044ab60cedfe2ce1c3025419c282cb0965 (patch) | |
| tree | 4487f38e4baa3cc4b92c0a57a4d8a41de20593d3 /builtins | |
| parent | ecf425fb9aa12a0f3dd08d23bcd74919fb11b362 (diff) | |
Better codegen for negation
Diffstat (limited to 'builtins')
| -rw-r--r-- | builtins/macros.h | 3 | ||||
| -rw-r--r-- | builtins/tomo.h | 20 |
2 files changed, 0 insertions, 23 deletions
diff --git a/builtins/macros.h b/builtins/macros.h index c6f474ec..6f9af8c9 100644 --- a/builtins/macros.h +++ b/builtins/macros.h @@ -16,9 +16,6 @@ $obj.$tag == $tag$##type_name##$##tag_name ? &$obj.tag_name : NULL; }) -#define not(x) _Generic(x, bool: (bool)!(x), int64_t: ~(x), int32_t: ~(x), int16_t: ~(x), int8_t: ~(x), \ - array_t: ((x).length == 0), table_t: ((x).entries.length == 0), CORD: ((x) == CORD_EMPTY), \ - default: _Static_assert(0, "Not supported")) #define Bool(x) _Generic(x, bool: (bool)(x), int64_t: (x != 0), int32_t: (x != 0), int16_t: (x != 0), int8_t: (x != 0), CORD: ((x) == CORD_EMPTY), \ array_t: ((x).length > 0), table_t: ((x).entries.length > 0), CORD: ((x) != CORD_EMPTY), \ default: _Static_assert(0, "Not supported")) diff --git a/builtins/tomo.h b/builtins/tomo.h index dd00c628..2676037f 100644 --- a/builtins/tomo.h +++ b/builtins/tomo.h @@ -27,24 +27,4 @@ #include "text.h" #include "types.h" -#define $heap(x) (__typeof(x)*)memcpy(GC_MALLOC(sizeof(x)), (__typeof(x)[1]){x}, sizeof(x)) -#define $stack(x) (__typeof(x)*)((__typeof(x)[1]){x}) -#define $tagged(obj_expr, type_name, tag_name) ({ __typeof(obj_expr) $obj = obj_expr; \ - $obj.$tag == $tag$##type_name##$##tag_name ? &$obj.tag_name : NULL; }) - - -#define not(x) _Generic(x, bool: (bool)!(x), int64_t: ~(x), int32_t: ~(x), int16_t: ~(x), int8_t: ~(x), \ - array_t: ((x).length == 0), table_t: ((x).entries.length == 0), CORD: ((x) == CORD_EMPTY), \ - default: _Static_assert(0, "Not supported")) -#define Bool(x) _Generic(x, bool: (bool)(x), int64_t: (x != 0), int32_t: (x != 0), int16_t: (x != 0), int8_t: (x != 0), CORD: ((x) == CORD_EMPTY), \ - array_t: ((x).length > 0), table_t: ((x).entries.length > 0), CORD: ((x) != CORD_EMPTY), \ - default: _Static_assert(0, "Not supported")) -#define and(x, y) _Generic(x, bool: (bool)((x) && (y)), default: ((x) & (y))) -#define or(x, y) _Generic(x, bool: (bool)((x) || (y)), default: ((x) | (y))) -#define xor(x, y) _Generic(x, bool: (bool)((x) ^ (y)), default: ((x) ^ (y))) -#define mod(x, n) ((x) % (n)) -#define mod1(x, n) (((x) % (n)) + (__typeof(x))1) -#define $cmp(x, y, info) (_Generic(x, int8_t: (x>0)-(y>0), int16_t: (x>0)-(y>0), int32_t: (x>0)-(y>0), int64_t: (x>0)-(y>0), bool: (x>0)-(y>0), \ - CORD: CORD_cmp((CORD)x, (CORD)y), char*: strcmp((char*)x, (char*)y), default: generic_compare($stack(x), $stack(y), info))) - // vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0 |