llvm/test/Transforms/IndVarSimplify/X86/deterministic-scev-verify.ll

   1 ; RUN: opt -passes=indvars -S < %s | FileCheck %s
   2
   3 ; Check that IndVarSimplify's result is not influenced by stray calls to
   4 ; ScalarEvolution in debug builds. However, -verify-passes=indvars may still do
   5 ; such calls.
   6 ; llvm.org/PR44815
   7
   8 ; In this test, adding -verify-passes=indvars causes %tmp13 to not be optimized away.
   9 ; CHECK-LABEL: @foo
  10 ; CHECK-NOT:   phi i32
  11
  12 target triple = "x86_64-unknown-linux-gnu"
  13
  14 @b = external dso_local local_unnamed_addr global i32
  15
  16 define dso_local void @foo() {
  17 tmp0:
  18   br label %tmp12
  19
  20 tmp7:
  21   %tmp8 = add nuw nsw i32 %tmp13, 1
  22   store i32 undef, ptr @b
  23   br label %tmp12
  24
  25 tmp12:
  26   %tmp13 = phi i32 [ 2, %tmp0 ], [ %tmp8, %tmp7 ]
  27   %tmp14 = phi i32 [ 1, %tmp0 ], [ %tmp13, %tmp7 ]
  28   %tmp15 = icmp ult i32 %tmp14, undef
  29   br i1 %tmp15, label %tmp7, label %tmp16
  30
  31 tmp16:
  32   ret void
  33 }