xref: /llvm-project/llvm/test/Transforms/SimplifyCFG/switchToSelect-domtree-preservation-edgecase.ll (revision d1d129356909af2f6fefd6f1b9335a39fe172e9a)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -sink-common-insts=1 < %s | FileCheck %s
3
4declare void @widget(i8)
5
6define void @baz(i8 %arg, i8 %arg10, i1 %arg11) {
7; CHECK-LABEL: @baz(
8; CHECK-NEXT:  bb:
9; CHECK-NEXT:    br label [[BB12:%.*]]
10; CHECK:       bb12:
11; CHECK-NEXT:    [[TMP:%.*]] = icmp eq i8 [[ARG:%.*]], 0
12; CHECK-NEXT:    br i1 [[TMP]], label [[BB17:%.*]], label [[BB13:%.*]]
13; CHECK:       bb13:
14; CHECK-NEXT:    tail call void @widget(i8 11)
15; CHECK-NEXT:    [[SWITCH_SELECTCMP:%.*]] = icmp eq i8 [[ARG10:%.*]], 73
16; CHECK-NEXT:    [[SWITCH_SELECT:%.*]] = select i1 [[SWITCH_SELECTCMP]], i8 44, i8 22
17; CHECK-NEXT:    [[SWITCH_SELECTCMP1:%.*]] = icmp eq i8 [[ARG10]], 68
18; CHECK-NEXT:    [[SWITCH_SELECT2:%.*]] = select i1 [[SWITCH_SELECTCMP1]], i8 33, i8 [[SWITCH_SELECT]]
19; CHECK-NEXT:    tail call void @widget(i8 [[SWITCH_SELECT2]])
20; CHECK-NEXT:    br label [[BB17]]
21; CHECK:       bb17:
22; CHECK-NEXT:    br i1 [[ARG11:%.*]], label [[BB12]], label [[BB18:%.*]]
23; CHECK:       bb18:
24; CHECK-NEXT:    ret void
25;
26bb:
27  br label %bb12
28
29bb12:                                             ; preds = %bb17, %bb
30  %tmp = icmp eq i8 %arg, 0
31  br i1 %tmp, label %bb17, label %bb13
32
33bb13:                                             ; preds = %bb12
34  tail call void @widget(i8 11)
35  switch i8 %arg10, label %bb14 [
36  i8 68, label %bb15
37  i8 73, label %bb16
38  ]
39
40bb14:                                             ; preds = %bb13
41  tail call void @widget(i8 22)
42  br label %bb17
43
44bb15:                                             ; preds = %bb13
45  tail call void @widget(i8 33)
46  br label %bb17
47
48bb16:                                             ; preds = %bb13
49  tail call void @widget(i8 44)
50  br label %bb17
51
52bb17:                                             ; preds = %bb16, %bb15, %bb14, %bb12
53  br i1 %arg11, label %bb12, label %bb18
54
55bb18:                                             ; preds = %bb17
56  ret void
57}
58