| ; RUN: opt -passes='simple-loop-unswitch<no-trivial>' -S < %s | FileCheck %s --check-prefix=NOTRIVIAL |
| ; RUN: opt -passes='simple-loop-unswitch' -S < %s | FileCheck %s --check-prefix=TRIVIAL |
| ; RUN: opt -passes='simple-loop-unswitch<trivial>' -S < %s | FileCheck %s --check-prefix=TRIVIAL |
| declare void @some_func() noreturn |
| define i32 @test1(i32* %var, i1 %cond1, i1 %cond2) { |
| br i1 %cond1, label %continue, label %loop_exit ; first trivial condition |
| %var_val = load i32, i32* %var |
| br i1 %cond2, label %do_something, label %loop_exit ; second trivial condition |
| call void @some_func() noreturn nounwind |