diff options
| author | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
| commit | 77ade8d20906fe9ca2cf6788ff1e1437e0912868 (patch) | |
| tree | 61495e90e057bf792bb1d8ce157cef0ecc2ab696 /libnormalform_literal_cmp__.c | |
| parent | First commit (diff) | |
| download | libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.gz libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.bz2 libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to 'libnormalform_literal_cmp__.c')
| -rw-r--r-- | libnormalform_literal_cmp__.c | 126 |
1 files changed, 126 insertions, 0 deletions
diff --git a/libnormalform_literal_cmp__.c b/libnormalform_literal_cmp__.c new file mode 100644 index 0000000..8d5e152 --- /dev/null +++ b/libnormalform_literal_cmp__.c @@ -0,0 +1,126 @@ +/* See LICENSE file for copyright and license details. */ +#include "common.h" +#ifndef TEST + + +int +(libnormalform_literal_cmp__)(struct expression *a, struct expression *b) +{ + int a_class, b_class; + uintptr_t a_value, b_value; + +beginning: + switch (a->type) { + case LIBNORMALFORM_VARIABLE: + case LIBNORMALFORM_NEGATED_VARIABLE: + a_class = 0; + break; + + case LIBNORMALFORM_TRANSFORMATION: + case LIBNORMALFORM_FUNCTION: + case LIBNORMALFORM_NEGATED_FUNCTION: + a_class = 1; + break; + + case LIBNORMALFORM_FOR_ALL: + case LIBNORMALFORM_NEGATED_FOR_ALL: + case LIBNORMALFORM_FOR_ANY: + case LIBNORMALFORM_NEGATED_FOR_ANY: + a_class = 2; + break; + + case LIBNORMALFORM_FOR_ONE: + case LIBNORMALFORM_NEGATED_FOR_ONE: + a_class = 3; + break; + + default: + case LIBNORMALFORM_CONJUNCTION: + case LIBNORMALFORM_DISJUNCTION: + case LIBNORMALFORM_EXCLUSIVE_DISJUNCTION: + abort(); + } + + switch (b->type) { + case LIBNORMALFORM_VARIABLE: + case LIBNORMALFORM_NEGATED_VARIABLE: + b_class = 0; + break; + + case LIBNORMALFORM_TRANSFORMATION: + case LIBNORMALFORM_FUNCTION: + case LIBNORMALFORM_NEGATED_FUNCTION: + b_class = 1; + break; + + case LIBNORMALFORM_FOR_ALL: + case LIBNORMALFORM_NEGATED_FOR_ALL: + case LIBNORMALFORM_FOR_ANY: + case LIBNORMALFORM_NEGATED_FOR_ANY: + b_class = 2; + break; + + case LIBNORMALFORM_FOR_ONE: + case LIBNORMALFORM_NEGATED_FOR_ONE: + b_class = 3; + break; + + default: + case LIBNORMALFORM_CONJUNCTION: + case LIBNORMALFORM_DISJUNCTION: + case LIBNORMALFORM_EXCLUSIVE_DISJUNCTION: + abort(); + } + + if (a_class != b_class) + return a_class < b_class ? -2 : +2; + + a_value = (uintptr_t)a->user_item; + b_value = (uintptr_t)b->user_item; + if (a_value != b_value) + return a_value < b_value ? -2 : +2; + + switch (a->type) { + case LIBNORMALFORM_VARIABLE: + return -(b->type == LIBNORMALFORM_NEGATED_VARIABLE); + + case LIBNORMALFORM_NEGATED_VARIABLE: + return +(b->type == LIBNORMALFORM_VARIABLE); + + case LIBNORMALFORM_TRANSFORMATION: + a = a->terms[0]; + b = b->terms[0]; + goto beginning; + + case LIBNORMALFORM_FUNCTION: + return -(b->type == LIBNORMALFORM_NEGATED_FUNCTION); + + case LIBNORMALFORM_NEGATED_FUNCTION: + return +(b->type == LIBNORMALFORM_FUNCTION); + + case LIBNORMALFORM_FOR_ALL: + case LIBNORMALFORM_NEGATED_FOR_ALL: + case LIBNORMALFORM_FOR_ANY: + case LIBNORMALFORM_NEGATED_FOR_ANY: + /* TODO (not) all/any */ + return 0; + + case LIBNORMALFORM_FOR_ONE: + case LIBNORMALFORM_NEGATED_FOR_ONE: + /* TODO (not) one */ + return 0; + + default: + case LIBNORMALFORM_CONJUNCTION: + case LIBNORMALFORM_DISJUNCTION: + case LIBNORMALFORM_EXCLUSIVE_DISJUNCTION: + abort(); + } +} + + +#else + +TODO_TEST + +#endif |