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(licm),print<scalar-evolution>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=SCEV-EXPRS
4
5declare void @clobber()
6
7define 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
19entry:
20  br label %loop.outer
21
22loop.outer:
23  call void @clobber()
24  br label %loop.inner
25
26loop.inner:
27  %cond = load i1, i1* %loc
28  br i1 %cond, label %loop.inner, label %leave.inner
29
30leave.inner:
31  br label %loop.outer
32}
33