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

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