test/Transforms/ADCE/2003-06-11-InvalidCFG.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -adce -disable-output
   2 %G = external global int*
   3
   4 implementation   ; Functions:
   5
   6 declare void %Fn(int*)
   7
   8 int %main(int %argc.1, sbyte** %argv.1) {
   9 entry:          ; No predecessors!
  10         br label %endif.42
  11
  12 endif.42:               ; preds = %entry, %shortcirc_done.12, %then.66, %endif.42
  13         br bool false, label %endif.65, label %endif.42
  14
  15 then.66:                ; preds = %shortcirc_done.12
  16         call void %Fn( int* %tmp.2846)
  17         br label %endif.42
  18
  19 endif.65:               ; preds = %endif.42
  20         %tmp.2846 = load int** %G
  21         br bool false, label %shortcirc_next.12, label %shortcirc_done.12
  22
  23 shortcirc_next.12:              ; preds = %endif.65
  24         br label %shortcirc_done.12
  25
  26 shortcirc_done.12:              ; preds = %endif.65, %shortcirc_next.12
  27         br bool false, label %then.66, label %endif.42
  28 }