51 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=gvn -S | FileCheck %s3 4; This test checks that we don't hang trying to split a critical edge in loadpre5; when the control flow uses a callbr instruction.6 7%struct.pluto = type <{ i8, i8 }>8 9define void @widget(ptr %tmp1) {10; CHECK-LABEL: @widget(11; CHECK-NEXT: bb:12; CHECK-NEXT: callbr void asm sideeffect "", "!i,!i"()13; CHECK-NEXT: to label [[BB4:%.*]] [label [[BB5:%.*]], label %bb.bb8_crit_edge]14; CHECK: bb.bb8_crit_edge:15; CHECK-NEXT: [[TMP10_PRE:%.*]] = load ptr, ptr [[TMP1:%.*]], align 816; CHECK-NEXT: br label [[BB8:%.*]]17; CHECK: bb4:18; CHECK-NEXT: br label [[BB5]]19; CHECK: bb5:20; CHECK-NEXT: [[TMP6:%.*]] = load ptr, ptr [[TMP1]], align 821; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds [[STRUCT_PLUTO:%.*]], ptr [[TMP6]], i64 0, i32 122; CHECK-NEXT: br label [[BB8]]23; CHECK: bb8:24; CHECK-NEXT: [[TMP10:%.*]] = phi ptr [ [[TMP6]], [[BB5]] ], [ [[TMP10_PRE]], [[BB_BB8_CRIT_EDGE:%.*]] ]25; CHECK-NEXT: [[TMP9:%.*]] = phi ptr [ [[TMP7]], [[BB5]] ], [ null, [[BB_BB8_CRIT_EDGE]] ]26; CHECK-NEXT: [[TMP12:%.*]] = load i8, ptr [[TMP10]], align 127; CHECK-NEXT: tail call void @spam(ptr [[TMP9]], i8 [[TMP12]])28; CHECK-NEXT: ret void29;30bb:31 callbr void asm sideeffect "", "!i,!i"()32 to label %bb4 [label %bb5, label %bb8]33 34bb4: ; preds = %bb35 br label %bb536 37bb5: ; preds = %bb4, %bb38 %tmp6 = load ptr, ptr %tmp139 %tmp7 = getelementptr inbounds %struct.pluto, ptr %tmp6, i64 0, i32 140 br label %bb841 42bb8: ; preds = %bb5, %bb43 %tmp9 = phi ptr [ %tmp7, %bb5 ], [ null, %bb ]44 %tmp10 = load ptr, ptr %tmp145 %tmp12 = load i8, ptr %tmp1046 tail call void @spam(ptr %tmp9, i8 %tmp12)47 ret void48}49 50declare void @spam(ptr, i8)51