xref: /llvm-project/llvm/test/Transforms/SimplifyCFG/change-to-unreachable-matching-successor.ll (revision d1d129356909af2f6fefd6f1b9335a39fe172e9a) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
3
4declare void @llvm.assume(i1)
5
6define void @fn(i1 %c) {
7; CHECK-LABEL: @fn(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    unreachable
10;
11entry:
12  call void @llvm.assume(i1 undef)
13  br i1 %c, label %bb1, label %bb1
14bb1:
15  ret void
16}
17