test/Transforms/SimpleLoopUnswitch/2011-06-02-CritSwitch.ll

   1 ; RUN: opt -simple-loop-unswitch -disable-output < %s
   2 ; RUN: opt -simple-loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output < %s
   3 ; PR10031
   4
   5 define i32 @test(i32 %command) {
   6 entry:
   7   br label %tailrecurse
   8
   9 tailrecurse:                                      ; preds = %if.then14, %tailrecurse, %entry
  10   br i1 undef, label %if.then, label %tailrecurse
  11
  12 if.then:                                          ; preds = %tailrecurse
  13   switch i32 %command, label %sw.bb [
  14     i32 2, label %land.lhs.true
  15     i32 0, label %land.lhs.true
  16   ]
  17
  18 land.lhs.true:                                    ; preds = %if.then, %if.then
  19   br i1 undef, label %sw.bb, label %if.then14
  20
  21 if.then14:                                        ; preds = %land.lhs.true
  22   switch i32 %command, label %tailrecurse [
  23     i32 0, label %sw.bb
  24     i32 1, label %sw.bb
  25   ]
  26
  27 sw.bb:                                            ; preds = %if.then14
  28   unreachable
  29 }