28 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt %s -verify-memoryssa -passes='loop-mssa(loop-deletion,loop-simplifycfg)' -S | FileCheck %s3 4; This is a case where we failed to update memory SSA correctly in5; loop-deletion which escapes local verification, but causes a crash6; in loop-simplifycfg.7define void @func_45() {8; CHECK-LABEL: @func_45(9; CHECK-NEXT: entry:10; CHECK-NEXT: br label [[FOR_BODY45:%.*]]11; CHECK: for.body45:12; CHECK-NEXT: store i32 433429641, ptr undef, align 113; CHECK-NEXT: br label [[FOR_BODY45]]14;15entry:16 br label %for.body4517 18for.body45: ; preds = %for.end72, %entry19 br label %for.body4820 21for.body48: ; preds = %for.body48, %for.body4522 store i32 433429641, ptr undef, align 123 br i1 false, label %for.body48, label %for.end7224 25for.end72: ; preds = %for.body4826 br label %for.body4527}28