llvm_ir_generator: handle no-op coercions.

whitequark · sbourdeauducq · commit 372e8f9b2b11 · 2016-11-21T10:58:42.000+08:00
diff --git a/artiq/compiler/transforms/llvm_ir_generator.py b/artiq/compiler/transforms/llvm_ir_generator.py
@@ -849,6 +849,8 @@ def process_SetElem(self, insn):
 
     def process_Coerce(self, insn):
         typ, value_typ = insn.type, insn.value().type
+        if typ == value_typ:
+            return self.map(insn.value())
         if builtins.is_int(typ) and builtins.is_float(value_typ):
             return self.llbuilder.fptosi(self.map(insn.value()), self.llty_of_type(typ),
                                          name=insn.name)
diff --git a/artiq/test/lit/codegen/noop_coercion.py b/artiq/test/lit/codegen/noop_coercion.py
@@ -0,0 +1,4 @@
+# RUN: %python -m artiq.compiler.testbench.llvmgen %s
+
+def f():
+    return float(1.0)
