diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:04:03 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:04:03 +0000 |
commit | f8af5cf600354830d4ccf59732403f0f073eccb9 (patch) | |
tree | 2ba0398b4c42ad4f55561327538044fd2c925a8b /test/Transforms/IndVarSimplify/lftr-extend-const.ll | |
parent | 59d6cff90eecf31cb3dd860c4e786674cfdd42eb (diff) | |
download | src-f8af5cf600354830d4ccf59732403f0f073eccb9.tar.gz src-f8af5cf600354830d4ccf59732403f0f073eccb9.zip |
Vendor import of llvm release_34 branch r197841 (effectively, 3.4 RC3):vendor/llvm/llvm-release_34-r197841
Notes
Notes:
svn path=/vendor/llvm/dist/; revision=259698
svn path=/vendor/llvm/llvm-release_34-r197841/; revision=259700; tag=vendor/llvm/llvm-release_34-r197841
Diffstat (limited to 'test/Transforms/IndVarSimplify/lftr-extend-const.ll')
-rw-r--r-- | test/Transforms/IndVarSimplify/lftr-extend-const.ll | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/lftr-extend-const.ll b/test/Transforms/IndVarSimplify/lftr-extend-const.ll new file mode 100644 index 000000000000..2fac4a797e29 --- /dev/null +++ b/test/Transforms/IndVarSimplify/lftr-extend-const.ll @@ -0,0 +1,44 @@ +;RUN: opt -S %s -indvars | FileCheck %s + +; CHECK-LABEL-LABEL: @foo( +; CHECK-NOT: %lftr.wideiv = trunc i32 %indvars.iv.next to i16 +; CHECK: %exitcond = icmp ne i32 %indvars.iv.next, 512 +define void @foo() #0 { +entry: + br label %for.body + +for.body: ; preds = %entry, %for.body + %i.01 = phi i16 [ 0, %entry ], [ %inc, %for.body ] + %conv2 = sext i16 %i.01 to i32 + call void @bar(i32 %conv2) #1 + %inc = add i16 %i.01, 1 + %cmp = icmp slt i16 %inc, 512 + br i1 %cmp, label %for.body, label %for.end + +for.end: ; preds = %for.body + ret void +} + +; Check that post-incrementing the backedge taken count does not overflow. +; CHECK-LABEL-LABEL: @postinc( +; CHECK: icmp eq i32 %indvars.iv.next, 256 +define i32 @postinc() #0 { +entry: + br label %do.body + +do.body: ; preds = %do.body, %entry + %first.0 = phi i8 [ 0, %entry ], [ %inc, %do.body ] + %conv = zext i8 %first.0 to i32 + call void @bar(i32 %conv) #1 + %inc = add i8 %first.0, 1 + %cmp = icmp eq i8 %first.0, -1 + br i1 %cmp, label %do.end, label %do.body + +do.end: ; preds = %do.body + ret i32 0 +} + +declare void @bar(i32) + +attributes #0 = { nounwind uwtable } +attributes #1 = { nounwind } |