Use the correct printf format for 64-bit integers.

whitequark · whitequark · commit 86e006830cce · 2015-07-22T03:05:15.000+03:00
diff --git a/artiq/compiler/transforms/artiq_ir_generator.py b/artiq/compiler/transforms/artiq_ir_generator.py
@@ -1339,7 +1339,13 @@ def flush():
                                                   ir.Constant("True", builtins.TStr()),
                                                   ir.Constant("False", builtins.TStr()))))
             elif builtins.is_int(value.type):
-                format_string += "%d"
+                width = builtins.get_int_width(value.type)
+                if width <= 32:
+                    format_string += "%ld"
+                elif width <= 64:
+                    format_string += "%lld"
+                else:
+                    assert False
                 args.append(value)
             elif builtins.is_float(value.type):
                 format_string += "%g"
