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 < %s | FileCheck %s --check-prefix=SCEV-EXPRS
   3
   4 declare void @clobber()
   5
   6 define void @f_0(i1* %loc) {
   7 ; IR-AFTER-TRANSFORM-LABEL: @f_0(
   8 ; IR-AFTER-TRANSFORM: loop.outer:
   9 ; IR-AFTER-TRANSFORM-NEXT:  call void @clobber()
  10 ; IR-AFTER-TRANSFORM-NEXT:  %cond = load i1, i1* %loc
  11 ; IR-AFTER-TRANSFORM-NEXT:  br label %loop.inner
  12
  13 ; SCEV-EXPRS: Classifying expressions for: @f_0
  14 ; SCEV-EXPRS: Classifying expressions for: @f_0
  15 ; SCEV-EXPRS:  %cond = load i1, i1* %loc
  16 ; SCEV-EXPRS-NEXT:   -->  {{.*}} LoopDispositions: { %loop.outer: Variant, %loop.inner: Invariant }
  17
  18 entry:
  19   br label %loop.outer
  20
  21 loop.outer:
  22   call void @clobber()
  23   br label %loop.inner
  24
  25 loop.inner:
  26   %cond = load i1, i1* %loc
  27   br i1 %cond, label %loop.inner, label %leave.inner
  28
  29 leave.inner:
  30   br label %loop.outer
  31 }