diff options
Diffstat (limited to 'llvm/test/Transforms/LoopVectorize/pr37248.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopVectorize/pr37248.ll | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/pr37248.ll b/llvm/test/Transforms/LoopVectorize/pr37248.ll deleted file mode 100644 index c9d22bec660..00000000000 --- a/llvm/test/Transforms/LoopVectorize/pr37248.ll +++ /dev/null @@ -1,42 +0,0 @@ -; RUN: opt -passes='loop-vectorize' -force-vector-width=2 -S < %s | FileCheck %s -; -; Forcing VF=2 to trigger vector code gen -; -; This is a test case that let's vectorizer's code gen to generate -; more than one BasicBlocks in the loop body (emulated masked scatter) -; for those targets that do not support masked scatter. Broadcast -; code generation was previously dependent on loop body being -; a single basic block and this test case exposed incorrect code gen -; resulting in an assert in IL verification. Test passes if IL verification -; does not fail. -; -; Performing minimal check in the output to ensure the loop is actually -; vectorized. -; -; CHECK: vector.body - -@a = external global [2 x i16], align 1 - -define void @f1() { -entry: - br label %for.body - -for.body: ; preds = %land.end, %entry - %0 = phi i32 [ undef, %entry ], [ %dec, %land.end ] - br i1 undef, label %land.end, label %land.rhs - -land.rhs: ; preds = %for.body - %1 = load i32, i32* undef, align 1 - br label %land.end - -land.end: ; preds = %land.rhs, %for.body - %2 = trunc i32 %0 to i16 - %arrayidx = getelementptr inbounds [2 x i16], [2 x i16]* @a, i16 0, i16 %2 - store i16 undef, i16* %arrayidx, align 1 - %dec = add nsw i32 %0, -1 - %cmp = icmp sgt i32 %0, 1 - br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge - -for.cond.for.end_crit_edge: ; preds = %land.end - unreachable -} |
