llvm/test/Transforms/LICM/update-scev.ll

   1 ; RUN: opt -S -licm < %s | FileCheck %s --check-prefix=IR-AFTER-TRANSFORM
   2 ; RUN: opt -analyze -scalar-evolution -licm -scalar-evolution -enable-new-pm=0 < %s | FileCheck %s --check-prefix=SCEV-EXPRS
   3 ; RUN: opt -passes='print<scalar-evolution>,loop-mssa(licm),print<scalar-evolution>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=SCEV-EXPRS
   4
   5 declare void @clobber()
   6
   7 define void @f_0(i1* %loc) {
   8 ; IR-AFTER-TRANSFORM-LABEL: @f_0(
   9 ; IR-AFTER-TRANSFORM: loop.outer:
  10 ; IR-AFTER-TRANSFORM-NEXT:  call void @clobber()
  11 ; IR-AFTER-TRANSFORM-NEXT:  %cond = load i1, i1* %loc
  12 ; IR-AFTER-TRANSFORM-NEXT:  br label %loop.inner
  13
  14 ; SCEV-EXPRS: Classifying expressions for: @f_0
  15 ; SCEV-EXPRS: Classifying expressions for: @f_0
  16 ; SCEV-EXPRS:  %cond = load i1, i1* %loc
  17 ; SCEV-EXPRS-NEXT:   -->  {{.*}} LoopDispositions: { %loop.outer: Variant, %loop.inner: Invariant }
  18
  19 entry:
  20   br label %loop.outer
  21
  22 loop.outer:
  23   call void @clobber()
  24   br label %loop.inner
  25
  26 loop.inner:
  27   %cond = load i1, i1* %loc
  28   br i1 %cond, label %loop.inner, label %leave.inner
  29
  30 leave.inner:
  31   br label %loop.outer
  32 }