summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Carbonneaux2024-04-09 16:47:44 +0200
committerQuentin Carbonneaux2024-04-09 16:47:44 +0200
commite31157b818085704ba2cf6dfc058c5e69b38089b (patch)
tree729591ec70f6bb4306713c46218f4a9464d55110
parentc333dd1a4335048a7f7a7738ac69e772d0619edb (diff)
-rw-r--r--tools/mgen/cgen.ml9
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 *)