llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-llvm-transforms Author: None (llvmbot) <details> <summary>Changes</summary> Backport d14acb78065bdd331019924feaaef52e5e744529 Requested by: @<!-- -->dtcxzyw --- Full diff: https://github.com/llvm/llvm-project/pull/135291.diff 2 Files Affected: - (modified) llvm/lib/Transforms/Utils/SimplifyIndVar.cpp (+3) - (added) llvm/test/Transforms/IndVarSimplify/pr135182.ll (+27) ``````````diff diff --git a/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp b/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp index f05d32d980e5a..7e30a67397f50 100644 --- a/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp @@ -1742,6 +1742,9 @@ bool WidenIV::widenWithVariantUse(WidenIV::NarrowIVDefUse DU) { // TODO: Support case for NarrowDef = NarrowUse->getOperand(1). if (NarrowUse->getOperand(0) != NarrowDef) return false; + // We cannot use a different extend kind for the same operand. + if (NarrowUse->getOperand(1) == NarrowDef) + return false; if (!SE->isKnownNegative(RHS)) return false; bool ProvedSubNUW = SE->isKnownPredicateAt(ICmpInst::ICMP_UGE, LHS, diff --git a/llvm/test/Transforms/IndVarSimplify/pr135182.ll b/llvm/test/Transforms/IndVarSimplify/pr135182.ll new file mode 100644 index 0000000000000..1db96872cffc4 --- /dev/null +++ b/llvm/test/Transforms/IndVarSimplify/pr135182.ll @@ -0,0 +1,27 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 +; RUN: opt -S -passes=indvars < %s | FileCheck %s + +target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128" + +define i32 @pr135182() { +; CHECK-LABEL: define i32 @pr135182() { +; CHECK-NEXT: [[ENTRY:.*:]] +; CHECK-NEXT: br label %[[FOR_BODY:.*]] +; CHECK: [[FOR_BODY]]: +; CHECK-NEXT: br i1 false, label %[[FOR_BODY]], label %[[FOR_END:.*]] +; CHECK: [[FOR_END]]: +; CHECK-NEXT: ret i32 65512 +; +entry: + br label %for.body + +for.body: + %indvar = phi i16 [ -12, %entry ], [ %indvar.next, %for.body ] + %add = add i16 %indvar, %indvar + %ext = zext i16 %add to i32 + %indvar.next = add i16 %indvar, 1 + br i1 false, label %for.body, label %for.end + +for.end: + ret i32 %ext +} `````````` </details> https://github.com/llvm/llvm-project/pull/135291 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
