1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -disable-nounwind-inference=false -inline -function-attrs -indvars < %s | FileCheck %s 3 4; Check that the invalidation happens correctly and the test does not crash. 5define void @f2() { 6; CHECK-LABEL: @f2( 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br label [[FOR_COND:%.*]] 9; CHECK: for.cond: 10; CHECK-NEXT: br label [[FOR_COND]] 11; 12entry: 13 br label %for.cond 14 15for.cond: ; preds = %for.cond, %entry 16 %a.0 = phi i32 [ 1, %entry ], [ 0, %for.cond ] 17 call void @f1(i32 %a.0) 18 br label %for.cond 19} 20 21define internal void @f1(i32 %p1) noinline { 22entry: 23 ret void 24} 25