1 ; RUN: llc < %s -verify-machineinstrs 2 ; 3 ; This test case is transformed into a single basic block by the machine 4 ; branch folding pass. That makes a complete mess of the %EFLAGS liveness, but 5 ; we don't care about liveness this late anyway. 6 7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 8 target triple = "x86_64-apple-darwin10.2" 9 10 define i32 @main(i32 %argc, i8** nocapture %argv) ssp { 11 entry: 12 br i1 undef, label %bb, label %bb2 13 14 bb: ; preds = %entry 15 br label %bb2 16 17 bb2: ; preds = %bb, %entry 18 br i1 undef, label %bb3, label %bb5 19 20 bb3: ; preds = %bb2 21 br label %bb5 22 23 bb5: ; preds = %bb3, %bb2 24 br i1 undef, label %bb.nph239, label %bb8 25 26 bb.nph239: ; preds = %bb5 27 unreachable 28 29 bb8: ; preds = %bb5 30 br i1 undef, label %bb.nph237, label %bb47 31 32 bb.nph237: ; preds = %bb8 33 unreachable 34 35 bb47: ; preds = %bb8 36 br i1 undef, label %bb49, label %bb48 37 38 bb48: ; preds = %bb47 39 unreachable 40 41 bb49: ; preds = %bb47 42 br i1 undef, label %bb51, label %bb50 43 44 bb50: ; preds = %bb49 45 ret i32 0 46 47 bb51: ; preds = %bb49 48 ret i32 0 49 } 50