Make sure to generate bitcasts -_-.

vellvm · Apr 13, 2024 · 8b0ccf6 · 8b0ccf6
1 parent 040b5ee
commit 8b0ccf6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq/QC/GenAST.v b/src/coq/QC/GenAST.v
@@ -3000,7 +3000,7 @@ Section InstrGenerators.
        oneOf_LLVM
          ([ op <- gen_op_instr;; t <- gen_op_typ;;
             ret [op]
-                (* ; fmap ret gen_bitcast *)
+            ; fmap ret gen_bitcast
            ]
             ++ (* TODO: generate multiple element allocas. Will involve changing initialization *)
             (* num_elems <- ret None;; (* gen_opt_LLVM (resize_LLVM 0 gen_int_texp);; *) *)