---

yaml
---
r: 695
b: refs/heads/master
c: 28b9357
h: refs/heads/master
i:
  693: 528af30
  691: 288c528
  687: c256bc7
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 71d49a20a7f76602501e274cc089758b58d225ce
+refs/heads/master: 28b9357a0cb427b3d2bae439d393ca6bf73ad8d5

trunk/src/boot/me/trans.ml

@@ -2719,19 +2719,29 @@ let trans_visitor
           if Array.length ttup <> 0
           then
             begin
+              let pc0 = (emitter()).Il.emit_pc in
               (iflog (fun _ ->
                         annotate (Printf.sprintf "tag case #%i" i)));
               let jmps =
                 trans_compare_simple Il.JNE
                   (Il.Cell tmp) (imm (Int64.of_int i))
               in
               let ttup = get_nth_tag_tup cx ttag i in
+              let pc1 = (emitter()).Il.emit_pc in
                 iter_tup_parts
                   (get_element_ptr_dyn ty_params)
                   (get_variant_ptr dst_union i)
                   (get_variant_ptr src_union i)
                   ttup f;
-                List.iter patch jmps
+
+                (* Hack: if this variant is all dead code, blank it out. *)
+                if pc1 = (emitter()).Il.emit_pc
+                then
+                  begin
+                    for j = pc0 to (pc1-1)
+                    do (emitter()).Il.emit_quads.(j) <- Il.deadq done
+                  end;
+                List.iter patch jmps;
             end
       done;