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