43 lines · plain
1; RUN: opt -S -passes="loop-vectorize,jump-threading" -debug-pass-manager < %s 2>&1 | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4 5; Checks what analyses are invalidated after Loop Vectorization when no actual6; vectorization happens, and the only change LV makes is LCSSA formation.7 8define i32 @novect(ptr %p) {9 10; CHECK: Running pass: LoopVectorizePass on novect11; CHECK-NOT: Invalidating analysis: ScalarEvolutionAnalysis on novect12; CHECK-NOT: Invalidating analysis: BranchProbabilityAnalysis on novect13; CHECK-NOT: Invalidating analysis: BlockFrequencyAnalysis on novect14; CHECK: Invalidating analysis: DemandedBitsAnalysis on novect15; CHECK-NOT: Invalidating analysis: LoopAccessAnalysis on novect16; CHECK: Running pass: JumpThreadingPass on novect17 18; CHECK: entry:19; CHECK: br label %middle20; CHECK: middle:21; CHECK: %iv = phi i32 [ 0, %entry ], [ %iv.next, %middle ]22; CHECK: %x = load volatile i32, ptr %p23; CHECK: %iv.next = add i32 %iv, 124; CHECK: %cond = icmp slt i32 %iv, 100025; CHECK: br i1 %cond, label %exit, label %middle26; CHECK: exit:27; CHECK: %x.lcssa = phi i32 [ %x, %middle ]28; CHECK: ret i32 %x.lcssa29 30entry:31 br label %middle32 33middle:34 %iv = phi i32 [0, %entry], [%iv.next, %middle]35 %x = load volatile i32, ptr %p36 %iv.next = add i32 %iv, 137 %cond = icmp slt i32 %iv, 100038 br i1 %cond, label %exit, label %middle39 40exit:41 ret i32 %x42}43