1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
3
4; Check that simplifycfg deletes a dead 'seteq' instruction when it
5; folds a conditional branch into a switch instruction.
6
7declare void @foo()
8
9declare void @bar()
10
11define void @testcfg(i32 %V) {
12; CHECK-LABEL: @testcfg(
13; CHECK-NEXT:    [[V_OFF:%.*]] = add i32 [[V:%.*]], -15
14; CHECK-NEXT:    [[SWITCH:%.*]] = icmp ult i32 [[V_OFF]], 2
15; CHECK-NEXT:    br i1 [[SWITCH]], label [[L2:%.*]], label [[L1:%.*]]
16; CHECK:       L1:
17; CHECK-NEXT:    call void @foo()
18; CHECK-NEXT:    ret void
19; CHECK:       L2:
20; CHECK-NEXT:    call void @bar()
21; CHECK-NEXT:    ret void
22;
23  %C = icmp eq i32 %V, 18
24  %D = icmp eq i32 %V, 180
25  %E = or i1 %C, %D
26  br i1 %E, label %L1, label %Sw
27Sw:             ; preds = %0
28  switch i32 %V, label %L1 [
29  i32 15, label %L2
30  i32 16, label %L2
31  ]
32L1:             ; preds = %Sw, %0
33  call void @foo( )
34  ret void
35L2:             ; preds = %Sw, %Sw
36  call void @bar( )
37  ret void
38}
39
40