diff options
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify/lftr-extend-const.ll')
-rw-r--r-- | llvm/test/Transforms/IndVarSimplify/lftr-extend-const.ll | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/lftr-extend-const.ll b/llvm/test/Transforms/IndVarSimplify/lftr-extend-const.ll deleted file mode 100644 index fa3166d4a3e..00000000000 --- a/llvm/test/Transforms/IndVarSimplify/lftr-extend-const.ll +++ /dev/null @@ -1,48 +0,0 @@ -;RUN: opt -S %s -indvars | FileCheck %s - -; Provide legal integer types. -target datalayout = "n8:16:32:64" - - -; CHECK-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: @postinc( -; CHECK: icmp eq i32 %indvars.iv, 255 -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 } |