98 lines · plain
1; RUN: llc -verify-machineinstrs < %s2;3; The lowering of a switch combined with constant folding would leave spurious extra arguments on a PHI instruction.4;5target triple = "x86_64-apple-darwin10"6 7define void @foo() {8 br label %cond_true813.i9 10cond_true813.i: ; preds = %011 br i1 false, label %cond_true818.i, label %cond_next1146.i12 13cond_true818.i: ; preds = %cond_true813.i14 br i1 false, label %recog_memoized.exit52, label %cond_next1146.i15 16recog_memoized.exit52: ; preds = %cond_true818.i17 switch i32 0, label %bb886.i.preheader [18 i32 0, label %bb907.i19 i32 44, label %bb866.i20 i32 103, label %bb874.i21 i32 114, label %bb874.i22 ]23 24bb857.i: ; preds = %bb886.i, %bb866.i25 %tmp862.i494.24 = phi ptr [ null, %bb866.i ], [ %tmp862.i494.26, %bb886.i ] ; <ptr> [#uses=1]26 switch i32 0, label %bb886.i.preheader [27 i32 0, label %bb907.i28 i32 44, label %bb866.i29 i32 103, label %bb874.i30 i32 114, label %bb874.i31 ]32 33bb866.i.loopexit: ; preds = %bb874.i34 br label %bb866.i35 36bb866.i.loopexit31: ; preds = %cond_true903.i37 br label %bb866.i38 39bb866.i: ; preds = %bb866.i.loopexit31, %bb866.i.loopexit, %bb857.i, %recog_memoized.exit5240 br i1 false, label %bb907.i, label %bb857.i41 42bb874.i.preheader.loopexit: ; preds = %cond_true903.i, %cond_true903.i43 ret void44 45bb874.i: ; preds = %bb857.i, %bb857.i, %recog_memoized.exit52, %recog_memoized.exit5246 switch i32 0, label %bb886.i.preheader.loopexit [47 i32 0, label %bb907.i48 i32 44, label %bb866.i.loopexit49 i32 103, label %bb874.i.backedge50 i32 114, label %bb874.i.backedge51 ]52 53bb874.i.backedge: ; preds = %bb874.i, %bb874.i54 ret void55 56bb886.i.preheader.loopexit: ; preds = %bb874.i57 ret void58 59bb886.i.preheader: ; preds = %bb857.i, %recog_memoized.exit5260 %tmp862.i494.26 = phi ptr [ undef, %recog_memoized.exit52 ], [ %tmp862.i494.24, %bb857.i ] ; <ptr> [#uses=1]61 br label %bb886.i62 63bb886.i: ; preds = %cond_true903.i, %bb886.i.preheader64 br i1 false, label %bb857.i, label %cond_true903.i65 66cond_true903.i: ; preds = %bb886.i67 switch i32 0, label %bb886.i [68 i32 0, label %bb907.i69 i32 44, label %bb866.i.loopexit3170 i32 103, label %bb874.i.preheader.loopexit71 i32 114, label %bb874.i.preheader.loopexit72 ]73 74bb907.i: ; preds = %cond_true903.i, %bb874.i, %bb866.i, %bb857.i, %recog_memoized.exit5275 br i1 false, label %cond_next1146.i, label %cond_true910.i76 77cond_true910.i: ; preds = %bb907.i78 ret void79 80cond_next1146.i: ; preds = %bb907.i, %cond_true818.i, %cond_true813.i81 ret void82 83bb2060.i: ; No predecessors!84 br i1 false, label %cond_true2064.i, label %bb2067.i85 86cond_true2064.i: ; preds = %bb2060.i87 unreachable88 89bb2067.i: ; preds = %bb2060.i90 ret void91 92cond_next3473: ; No predecessors!93 ret void94 95cond_next3521: ; No predecessors!96 ret void97}98