diff options
| author | Quentin Carbonneaux | 2024-04-09 16:47:44 +0200 |
|---|---|---|
| committer | Quentin Carbonneaux | 2024-04-09 16:47:44 +0200 |
| commit | e31157b818085704ba2cf6dfc058c5e69b38089b (patch) | |
| tree | 729591ec70f6bb4306713c46218f4a9464d55110 | |
| parent | c333dd1a4335048a7f7a7738ac69e772d0619edb (diff) | |
nitstreematch
| -rw-r--r-- | tools/mgen/cgen.ml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/tools/mgen/cgen.ml b/tools/mgen/cgen.ml index adc87ae..12144ac 100644 --- a/tools/mgen/cgen.ml +++ b/tools/mgen/cgen.ml @@ -90,11 +90,8 @@ let indent oc i = let emit_swap oc i = let pf m = Printf.fprintf oc m in let pfi n m = indent oc n; pf m in - pfi i "if (l < r) {\n"; - pfi (i+1) "t = l;\n"; - pfi (i+1) "l = r;\n"; - pfi (i+1) "r = t;\n"; - pfi i "}\n" + pfi i "if (l < r)\n"; + pfi (i+1) "t = l, l = r, r = t;\n" let gen_tables oc tmp pfx nstates (op, c) = let i = 1 in @@ -311,7 +308,7 @@ let emit_numberer opts n = end; pf "\t\treturn %d;\n" con; pf "\tdefault:\n"; - pf "\t\tdie(\"unreachable\");\n"; + pf "\t\treturn INT_MIN;\n"; pf "\t}\n"; pf "}\n\n"; (* match[]: patterns per state *) |
