diff options
Diffstat (limited to 'llvm/test/Transforms/LoopVectorize/if-pred-not-when-safe.ll')
-rw-r--r-- | llvm/test/Transforms/LoopVectorize/if-pred-not-when-safe.ll | 89 |
1 files changed, 0 insertions, 89 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/if-pred-not-when-safe.ll b/llvm/test/Transforms/LoopVectorize/if-pred-not-when-safe.ll deleted file mode 100644 index b3e2a5425a0..00000000000 --- a/llvm/test/Transforms/LoopVectorize/if-pred-not-when-safe.ll +++ /dev/null @@ -1,89 +0,0 @@ -; RUN: opt -S -force-vector-width=2 -force-vector-interleave=1 -loop-vectorize -verify-loop-info -simplifycfg < %s | FileCheck %s - -target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" - -; Test no-predication of instructions that are provably safe, e.g. dividing by -; a non-zero constant. -define void @test(i32* nocapture %asd, i32* nocapture %aud, - i32* nocapture %asr, i32* nocapture %aur, - i32* nocapture %asd0, i32* nocapture %aud0, - i32* nocapture %asr0, i32* nocapture %aur0 -) { -entry: - br label %for.body - -for.cond.cleanup: ; preds = %if.end - ret void - -; CHECK-LABEL: test -; CHECK: vector.body: -; CHECK: %{{.*}} = sdiv <2 x i32> %{{.*}}, <i32 11, i32 11> -; CHECK: %{{.*}} = udiv <2 x i32> %{{.*}}, <i32 13, i32 13> -; CHECK: %{{.*}} = srem <2 x i32> %{{.*}}, <i32 17, i32 17> -; CHECK: %{{.*}} = urem <2 x i32> %{{.*}}, <i32 19, i32 19> -; CHECK-NOT: %{{.*}} = sdiv <2 x i32> %{{.*}}, <i32 0, i32 0> -; CHECK-NOT: %{{.*}} = udiv <2 x i32> %{{.*}}, <i32 0, i32 0> -; CHECK-NOT: %{{.*}} = srem <2 x i32> %{{.*}}, <i32 0, i32 0> -; CHECK-NOT: %{{.*}} = urem <2 x i32> %{{.*}}, <i32 0, i32 0> - -for.body: ; preds = %if.end, %entry - %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %if.end ] - %isd = getelementptr inbounds i32, i32* %asd, i64 %indvars.iv - %iud = getelementptr inbounds i32, i32* %aud, i64 %indvars.iv - %isr = getelementptr inbounds i32, i32* %asr, i64 %indvars.iv - %iur = getelementptr inbounds i32, i32* %aur, i64 %indvars.iv - %lsd = load i32, i32* %isd, align 4 - %lud = load i32, i32* %iud, align 4 - %lsr = load i32, i32* %isr, align 4 - %lur = load i32, i32* %iur, align 4 - %psd = add nsw i32 %lsd, 23 - %pud = add nsw i32 %lud, 24 - %psr = add nsw i32 %lsr, 25 - %pur = add nsw i32 %lur, 26 - %isd0 = getelementptr inbounds i32, i32* %asd0, i64 %indvars.iv - %iud0 = getelementptr inbounds i32, i32* %aud0, i64 %indvars.iv - %isr0 = getelementptr inbounds i32, i32* %asr0, i64 %indvars.iv - %iur0 = getelementptr inbounds i32, i32* %aur0, i64 %indvars.iv - %lsd0 = load i32, i32* %isd0, align 4 - %lud0 = load i32, i32* %iud0, align 4 - %lsr0 = load i32, i32* %isr0, align 4 - %lur0 = load i32, i32* %iur0, align 4 - %psd0 = add nsw i32 %lsd, 27 - %pud0 = add nsw i32 %lud, 28 - %psr0 = add nsw i32 %lsr, 29 - %pur0 = add nsw i32 %lur, 30 - %cmp1 = icmp slt i32 %lsd, 100 - br i1 %cmp1, label %if.then, label %if.end - -if.then: ; preds = %for.body - %rsd = sdiv i32 %psd, 11 - %rud = udiv i32 %pud, 13 - %rsr = srem i32 %psr, 17 - %rur = urem i32 %pur, 19 - %rsd0 = sdiv i32 %psd0, 0 - %rud0 = udiv i32 %pud0, 0 - %rsr0 = srem i32 %psr0, 0 - %rur0 = urem i32 %pur0, 0 - br label %if.end - -if.end: ; preds = %if.then, %for.body - %ysd.0 = phi i32 [ %rsd, %if.then ], [ %psd, %for.body ] - %yud.0 = phi i32 [ %rud, %if.then ], [ %pud, %for.body ] - %ysr.0 = phi i32 [ %rsr, %if.then ], [ %psr, %for.body ] - %yur.0 = phi i32 [ %rur, %if.then ], [ %pur, %for.body ] - %ysd0.0 = phi i32 [ %rsd0, %if.then ], [ %psd0, %for.body ] - %yud0.0 = phi i32 [ %rud0, %if.then ], [ %pud0, %for.body ] - %ysr0.0 = phi i32 [ %rsr0, %if.then ], [ %psr0, %for.body ] - %yur0.0 = phi i32 [ %rur0, %if.then ], [ %pur0, %for.body ] - store i32 %ysd.0, i32* %isd, align 4 - store i32 %yud.0, i32* %iud, align 4 - store i32 %ysr.0, i32* %isr, align 4 - store i32 %yur.0, i32* %iur, align 4 - store i32 %ysd0.0, i32* %isd0, align 4 - store i32 %yud0.0, i32* %iud0, align 4 - store i32 %ysr0.0, i32* %isr0, align 4 - store i32 %yur0.0, i32* %iur0, align 4 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond = icmp eq i64 %indvars.iv.next, 128 - br i1 %exitcond, label %for.cond.cleanup, label %for.body -} |