48 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=irce -S < %s | FileCheck %s3; RUN: opt -passes='require<branch-prob>,irce' -S < %s | FileCheck %s4 5@array = external global [1528 x i16], align 16 7; Make sure we do not crash here.8define void @test_01() {9; CHECK-LABEL: @test_01(10; CHECK-NEXT: entry:11; CHECK-NEXT: br label [[CONT48:%.*]]12; CHECK: cont48:13; CHECK-NEXT: [[A2_0121:%.*]] = phi ptr [ [[ADD_PTR74:%.*]], [[CONT76:%.*]] ], [ @array, [[ENTRY:%.*]] ]14; CHECK-NEXT: [[I41_0119:%.*]] = phi i16 [ [[ADD73:%.*]], [[CONT76]] ], [ 0, [[ENTRY]] ]15; CHECK-NEXT: [[ADD73]] = add nuw nsw i16 [[I41_0119]], 216; CHECK-NEXT: [[ADD_PTR74]] = getelementptr inbounds i16, ptr [[A2_0121]], i16 217; CHECK-NEXT: [[TMP0:%.*]] = icmp ult ptr [[A2_0121]], inttoptr (i16 -2 to ptr)18; CHECK-NEXT: br i1 [[TMP0]], label [[CONT76]], label [[HANDLER_POINTER_OVERFLOW75:%.*]]19; CHECK: handler.pointer_overflow75:20; CHECK-NEXT: unreachable21; CHECK: cont76:22; CHECK-NEXT: [[CMP43:%.*]] = icmp ult i16 [[ADD73]], 1623; CHECK-NEXT: br i1 [[CMP43]], label [[CONT48]], label [[FOR_END77:%.*]]24; CHECK: for.end77:25; CHECK-NEXT: unreachable26;27entry:28 br label %cont4829 30cont48: ; preds = %cont76, %entry31 %a2.0121 = phi ptr [ %add.ptr74, %cont76 ], [ @array, %entry ]32 %i41.0119 = phi i16 [ %add73, %cont76 ], [ 0, %entry ]33 %add73 = add nuw nsw i16 %i41.0119, 234 %add.ptr74 = getelementptr inbounds i16, ptr %a2.0121, i16 235 %0 = icmp ult ptr %a2.0121, inttoptr (i16 -2 to ptr)36 br i1 %0, label %cont76, label %handler.pointer_overflow7537 38handler.pointer_overflow75: ; preds = %cont4839 unreachable40 41cont76: ; preds = %cont4842 %cmp43 = icmp ult i16 %add73, 1643 br i1 %cmp43, label %cont48, label %for.end7744 45for.end77: ; preds = %cont7646 unreachable47}48