llvm/test/Transforms/IndVarSimplify/pr38855.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -disable-nounwind-inference=false -passes=inline,function-attrs,indvars  < %s | FileCheck %s
   3
   4 ; Check that the invalidation happens correctly and the test does not crash.
   5 define 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 ;
  12 entry:
  13   br label %for.cond
  14
  15 for.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
  21 define internal void @f1(i32 %p1) noinline {
  22 entry:
  23   ret void
  24 }