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

   1 ; RUN: opt -indvars -stats -disable-output < %s 2>&1 | FileCheck %s --check-prefix=STATS
   2 ; RUN: opt -indvars -S < %s | FileCheck %s --check-prefix=IR
   3 ; REQUIRES: asserts
   4
   5 ; Check that IndVarSimplify's result is not influenced by stray calls to
   6 ; ScalarEvolution in debug builds. However, -verify-indvars may still do
   7 ; such calls.
   8 ; llvm.org/PR44815
   9
  10 ; STATS: 1 scalar-evolution - Number of loops with trip counts computed by force
  11 ; STATS: 2 scalar-evolution - Number of loops with predictable loop counts
  12
  13 ; In this test, adding -verify-indvars causes %tmp13 to not be optimized away.
  14 ; IR-LABEL: @foo
  15 ; IR-NOT:   phi i32
  16
  17 target triple = "x86_64-unknown-linux-gnu"
  18
  19 @b = external dso_local local_unnamed_addr global i32
  20
  21 define dso_local void @foo() {
  22 tmp0:
  23   br label %tmp12
  24
  25 tmp7:
  26   %tmp8 = add nuw nsw i32 %tmp13, 1
  27   store i32 undef, i32* @b
  28   br label %tmp12
  29
  30 tmp12:
  31   %tmp13 = phi i32 [ 2, %tmp0 ], [ %tmp8, %tmp7 ]
  32   %tmp14 = phi i32 [ 1, %tmp0 ], [ %tmp13, %tmp7 ]
  33   %tmp15 = icmp ult i32 %tmp14, undef
  34   br i1 %tmp15, label %tmp7, label %tmp16
  35
  36 tmp16:
  37   ret void
  38 }