32 lines · plain
1; RUN: opt -S -passes=licm < %s | FileCheck %s --check-prefix=IR-AFTER-TRANSFORM2; RUN: opt -passes='print<scalar-evolution>,loop-mssa(licm),print<scalar-evolution>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=SCEV-EXPRS3 4declare void @clobber()5 6define void @f_0(ptr %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, ptr %loc11; IR-AFTER-TRANSFORM-NEXT: br label %loop.inner12 13; SCEV-EXPRS: Classifying expressions for: @f_014; SCEV-EXPRS: Classifying expressions for: @f_015; SCEV-EXPRS: %cond = load i1, ptr %loc16; SCEV-EXPRS-NEXT: --> {{.*}} LoopDispositions: { %loop.outer: Variant, %loop.inner: Invariant }17 18entry:19 br label %loop.outer20 21loop.outer:22 call void @clobber()23 br label %loop.inner24 25loop.inner:26 %cond = load i1, ptr %loc27 br i1 %cond, label %loop.inner, label %leave.inner28 29leave.inner:30 br label %loop.outer31}32