| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes='simple-loop-unswitch<nontrivial>' -S < %s | FileCheck %s |
| ; If we try to replace uses of `true` outside of `@foo`, we'll see it here. |
| ; CHECK-NEXT: ret i1 true |
| ; We shouldn't unswitch this loop. |
| ; CHECK-NEXT: br label [[HEADER:%.*]] |
| ; CHECK-NEXT: [[VAL:%.*]] = select i1 true, i1 true, i1 false |
| ; CHECK-NEXT: br i1 true, label [[EXIT:%.*]], label [[HEADER]] |
| %val = select i1 true, i1 true, i1 false |
| br i1 %val, label %exit, label %header |