[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / PostDominators / pr1098.ll
blob1dae0c566f055d9e707f5961f4e6f88f8f8e982e
1 ; RUN: opt < %s -postdomtree -analyze | FileCheck %s
2 ; RUN: opt < %s -passes='print<postdomtree>' 2>&1 | FileCheck %s
3 ; PR932
5 define void @foo(i1 %x) {
6 ; CHECK: entry
7 entry:
8         br i1 %x, label %bb1, label %bb0
9 bb0:            ; preds = %entry, bb0
10         br label %bb0
11 bb1:            ; preds = %entry
12         br label %bb2
13 bb2:            ; preds = %bb1
14         ret void