test/Transforms/SimpleLoopUnswitch/nontrivial-unswitch-redundant-switch.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -passes='unswitch<nontrivial>' -disable-output -S < %s
   3 ; RUN: opt -passes='loop-mssa(unswitch<nontrivial>)' -disable-output -S < %s
   4 ; RUN: opt -simple-loop-unswitch -enable-nontrivial-unswitch -disable-output -S < %s
   5
   6 ; This loop shouldn't trigger asserts in SimpleLoopUnswitch.
   7 define void @test_redundant_switch(i1* %ptr, i32 %cond) {
   8 entry:
   9   br label %loop_begin
  10
  11 loop_begin:
  12   switch i32 %cond, label %loop_body [
  13       i32 0, label %loop_body
  14   ]
  15
  16 loop_body:
  17   br label %loop_latch
  18
  19 loop_latch:
  20   %v = load i1, i1* %ptr
  21   br i1 %v, label %loop_begin, label %loop_exit
  22
  23 loop_exit:
  24   ret void
  25 }