[polly] [Polly] Skip vectorize.enable for FP loops with dist=1 dependences (PR #205756)
Karthika Devi C via llvm-commits
llvm-commits at lists.llvm.org
Tue Jul 14 03:59:58 PDT 2026
https://github.com/kartcq updated https://github.com/llvm/llvm-project/pull/205756
>From 4b10e864fae1147f09aaa0d2cf57a25ebd112953 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <quic_kartc at quicinc.com>
Date: Fri, 29 May 2026 17:22:59 +0530
Subject: [PATCH 1/6] [Polly] Skip vectorize.enable for FP loops with dist=1
dependences
When -polly-annotate-metadata-vectorize is active, Polly marks its
generated loops with llvm.loop.vectorize.enable=true. This is harmful
for loops with a loop-carried dependence of distance 1 that involve
floating-point operations: the Loop Vectorizer reorders FP operations
(e.g. scalar reduction like q = factor*q), producing results that
differ from the sequential scalar reference and causing correctness
failures.
Two changes are made:
1. IslAst.cpp: add PollyVectorizeMetadata to the PerformParallelTest
gate so that dependence-distance computation is performed whenever
-polly-annotate-metadata-vectorize is passed, not only when
-polly-parallel or a vectorizer is active.
2. IslNodeBuilder.cpp / LoopGenerators.cpp: when a loop has a dist=1
dependence involving FP operations, omit the vectorize.enable
annotation entirely. This lets the Loop Vectorizer apply its own
cost model and legality checks decide.
---
polly/include/polly/CodeGen/LoopGenerators.h | 6 +++-
polly/lib/CodeGen/IslAst.cpp | 5 ++-
polly/lib/CodeGen/IslNodeBuilder.cpp | 38 ++++++++++++++++++--
polly/lib/CodeGen/LoopGenerators.cpp | 12 +++----
4 files changed, 51 insertions(+), 10 deletions(-)
diff --git a/polly/include/polly/CodeGen/LoopGenerators.h b/polly/include/polly/CodeGen/LoopGenerators.h
index 6076e5951fb0a..39a5bcfe44ec5 100644
--- a/polly/include/polly/CodeGen/LoopGenerators.h
+++ b/polly/include/polly/CodeGen/LoopGenerators.h
@@ -70,13 +70,17 @@ extern int PollyChunkSize;
/// assume it.
/// @param LoopVectDisabled If the Loop vectorizer should be disabled for this
/// loop.
+/// @param SkipVectorizeEnableMetadata
+/// If Polly should avoid setting
+/// llvm.loop.vectorize.enable=true for this loop.
///
/// @return Value* The newly created induction variable for this loop.
Value *createLoop(Value *LowerBound, Value *UpperBound, Value *Stride,
PollyIRBuilder &Builder, LoopInfo &LI, DominatorTree &DT,
BasicBlock *&ExitBlock, ICmpInst::Predicate Predicate,
ScopAnnotator *Annotator = nullptr, bool Parallel = false,
- bool UseGuard = true, bool LoopVectDisabled = false);
+ bool UseGuard = true, bool LoopVectDisabled = false,
+ bool SkipVectorizeEnableMetadata = false);
/// Create a DebugLoc representing generated instructions.
///
diff --git a/polly/lib/CodeGen/IslAst.cpp b/polly/lib/CodeGen/IslAst.cpp
index 0ea14ae2fc2e0..20b6440ebffb5 100644
--- a/polly/lib/CodeGen/IslAst.cpp
+++ b/polly/lib/CodeGen/IslAst.cpp
@@ -81,6 +81,8 @@ static cl::opt<bool> DetectParallel("polly-ast-detect-parallel",
cl::desc("Detect parallelism"), cl::Hidden,
cl::cat(PollyCategory));
+extern cl::opt<bool> PollyVectorizeMetadata;
+
static cl::opt<bool>
PollyPrintAst("polly-print-ast",
cl::desc("Print the ISL abstract syntax tree"),
@@ -501,7 +503,8 @@ IslAst::IslAst(IslAst &&O)
void IslAst::init(const Dependences &D) {
bool PerformParallelTest = PollyParallel || DetectParallel ||
- PollyVectorizerChoice != VECTORIZER_NONE;
+ PollyVectorizerChoice != VECTORIZER_NONE ||
+ PollyVectorizeMetadata;
auto ScheduleTree = S.getScheduleTree();
// Skip AST and code generation if there was no benefit achieved.
diff --git a/polly/lib/CodeGen/IslNodeBuilder.cpp b/polly/lib/CodeGen/IslNodeBuilder.cpp
index 924f6533b0a81..a8807a30b4e5c 100644
--- a/polly/lib/CodeGen/IslNodeBuilder.cpp
+++ b/polly/lib/CodeGen/IslNodeBuilder.cpp
@@ -28,7 +28,6 @@
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/SetVector.h"
-#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/LoopInfo.h"
@@ -75,6 +74,9 @@
using namespace llvm;
using namespace polly;
+// Declared in LoopGenerators.cpp
+extern llvm::cl::opt<bool> PollyVectorizeMetadata;
+
#define DEBUG_TYPE "polly-codegen"
STATISTIC(VersionedScops, "Number of SCoPs that required versioning.");
@@ -434,6 +436,34 @@ static bool IsLoopVectorizerDisabled(isl::ast_node_for Node) {
return false;
}
+// Returns true if the loop has a dist=1 dependence involving FP operations
+// (array-carried RAW/WAW or scalar FP reduction). In that case we omit the
+// vectorize.enable annotation and let the Loop Vectorizer decide.
+static bool hasLoopCarriedDependence(isl::ast_node_for For,
+ const Scop &S) {
+ isl::pw_aff PwaDist = IslAstInfo::getMinimalDependenceDistance(For);
+ if (PwaDist.is_null())
+ return false;
+
+ isl::set Dist = isl::manage(isl_pw_aff_domain(PwaDist.copy()));
+ isl::pw_aff PwaOne = isl::pw_aff(Dist, isl::val::one(S.getIslCtx()));
+ if (isl_pw_aff_is_equal(PwaDist.get(), PwaOne.get()) != isl_bool_true)
+ return false;
+
+ // dist=1: suppress forced vectorization if the body has FP operations.
+ for (isl::set StmtSet : IslAstInfo::getSchedule(For).domain().get_set_list()) {
+ auto *Stmt = static_cast<ScopStmt *>(StmtSet.get_tuple_id().get_user());
+ for (Instruction *Inst : Stmt->getInstructions()) {
+ if (Inst->getType()->isFloatingPointTy() ||
+ (Inst->getNumOperands() > 0 &&
+ Inst->getOperand(0)->getType()->isFloatingPointTy()))
+ return true;
+ }
+ }
+
+ return false;
+}
+
void IslNodeBuilder::createForSequential(isl::ast_node_for For,
bool MarkParallel) {
Value *ValueLB, *ValueUB, *ValueInc;
@@ -478,9 +508,13 @@ void IslNodeBuilder::createForSequential(isl::ast_node_for For,
// omit the GuardBB in front of the loop.
bool UseGuardBB = !GenSE->isKnownPredicate(Predicate, GenSE->getSCEV(ValueLB),
GenSE->getSCEV(ValueUB));
+
+ // Skip vectorize.enable for dist=1 FP loops; let the Loop Vectorizer decide.
+ bool SkipVectorizeEnableMetadata = hasLoopCarriedDependence(For, S);
+
IV = createLoop(ValueLB, ValueUB, ValueInc, Builder, *GenLI, *GenDT,
ExitBlock, Predicate, &Annotator, MarkParallel, UseGuardBB,
- LoopVectorizerDisabled);
+ LoopVectorizerDisabled, SkipVectorizeEnableMetadata);
IDToValue[IteratorID.get()] = IV;
create(Body.release());
diff --git a/polly/lib/CodeGen/LoopGenerators.cpp b/polly/lib/CodeGen/LoopGenerators.cpp
index 57e0cb6377b92..ee491d388dd39 100644
--- a/polly/lib/CodeGen/LoopGenerators.cpp
+++ b/polly/lib/CodeGen/LoopGenerators.cpp
@@ -90,7 +90,8 @@ Value *polly::createLoop(Value *LB, Value *UB, Value *Stride,
DominatorTree &DT, BasicBlock *&ExitBB,
ICmpInst::Predicate Predicate,
ScopAnnotator *Annotator, bool Parallel, bool UseGuard,
- bool LoopVectDisabled) {
+ bool LoopVectDisabled,
+ bool SkipVectorizeEnableMetadata) {
Function *F = Builder.GetInsertBlock()->getParent();
LLVMContext &Context = F->getContext();
@@ -165,15 +166,14 @@ Value *polly::createLoop(Value *LB, Value *UB, Value *Stride,
// Create the loop latch and annotate it as such.
CondBrInst *B = Builder.CreateCondBr(LoopCondition, HeaderBB, ExitBB);
- // Don't annotate vectorize metadata when both LoopVectDisabled and
- // PollyVectorizeMetadata are disabled. Annotate vectorize metadata to false
- // when LoopVectDisabled is true. Otherwise we annotate the vectorize metadata
- // to true.
+ // Emit vectorize.enable=false only for explicit user disable (LoopVectDisabled).
+ // For dist=1 FP loops (SkipVectorizeEnableMetadata), omit the annotation and let
+ // the Loop Vectorizer decide.
if (Annotator) {
std::optional<bool> EnableVectorizeMetadata;
if (LoopVectDisabled)
EnableVectorizeMetadata = false;
- else if (PollyVectorizeMetadata)
+ else if (PollyVectorizeMetadata && !SkipVectorizeEnableMetadata)
EnableVectorizeMetadata = true;
Annotator->annotateLoopLatch(B, Parallel, EnableVectorizeMetadata);
}
>From 2c6bc993619af3132d62bb947f526928f496d9f1 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <quic_kartc at quicinc.com>
Date: Fri, 29 May 2026 17:22:59 +0530
Subject: [PATCH 2/6] [Polly] Skip vectorize.enable for FP loops with dist=1
dependences
When -polly-annotate-metadata-vectorize is active, Polly marks its
generated loops with llvm.loop.vectorize.enable=true. This is harmful
for loops with a loop-carried dependence of distance 1 that involve
floating-point operations: the Loop Vectorizer reorders FP operations
(e.g. scalar reduction like q = factor*q), producing results that
differ from the sequential scalar reference and causing correctness
failures.
Two changes are made:
1. IslAst.cpp: add PollyVectorizeMetadata to the PerformParallelTest
gate so that dependence-distance computation is performed whenever
-polly-annotate-metadata-vectorize is passed, not only when
-polly-parallel or a vectorizer is active.
2. IslNodeBuilder.cpp / LoopGenerators.cpp: when a loop has a dist=1
dependence involving FP operations, omit the vectorize.enable
annotation entirely. This lets the Loop Vectorizer apply its own
cost model and legality checks decide.
---
polly/lib/CodeGen/IslNodeBuilder.cpp | 3 ++-
polly/lib/CodeGen/LoopGenerators.cpp | 6 +++---
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/polly/lib/CodeGen/IslNodeBuilder.cpp b/polly/lib/CodeGen/IslNodeBuilder.cpp
index a8807a30b4e5c..72401b4b22b64 100644
--- a/polly/lib/CodeGen/IslNodeBuilder.cpp
+++ b/polly/lib/CodeGen/IslNodeBuilder.cpp
@@ -451,7 +451,8 @@ static bool hasLoopCarriedDependence(isl::ast_node_for For,
return false;
// dist=1: suppress forced vectorization if the body has FP operations.
- for (isl::set StmtSet : IslAstInfo::getSchedule(For).domain().get_set_list()) {
+ for (isl::set StmtSet :
+ IslAstInfo::getSchedule(For).domain().get_set_list()) {
auto *Stmt = static_cast<ScopStmt *>(StmtSet.get_tuple_id().get_user());
for (Instruction *Inst : Stmt->getInstructions()) {
if (Inst->getType()->isFloatingPointTy() ||
diff --git a/polly/lib/CodeGen/LoopGenerators.cpp b/polly/lib/CodeGen/LoopGenerators.cpp
index ee491d388dd39..df6fd9df1294d 100644
--- a/polly/lib/CodeGen/LoopGenerators.cpp
+++ b/polly/lib/CodeGen/LoopGenerators.cpp
@@ -166,9 +166,9 @@ Value *polly::createLoop(Value *LB, Value *UB, Value *Stride,
// Create the loop latch and annotate it as such.
CondBrInst *B = Builder.CreateCondBr(LoopCondition, HeaderBB, ExitBB);
- // Emit vectorize.enable=false only for explicit user disable (LoopVectDisabled).
- // For dist=1 FP loops (SkipVectorizeEnableMetadata), omit the annotation and let
- // the Loop Vectorizer decide.
+ // Emit vectorize.enable=false only for explicit user disable
+ // (LoopVectDisabled). For dist=1 FP loops (SkipVectorizeEnableMetadata), omit
+ // the annotation and let the Loop Vectorizer decide.
if (Annotator) {
std::optional<bool> EnableVectorizeMetadata;
if (LoopVectDisabled)
>From 630ad1937191f58cfecd9cf9c37c4b69559eba11 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <kartc at qti.qualcomm.com>
Date: Thu, 25 Jun 2026 11:49:27 -0700
Subject: [PATCH 3/6] Fix format issue and broken test
---
polly/test/CodeGen/Metadata/basic_vec_annotate.ll | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/polly/test/CodeGen/Metadata/basic_vec_annotate.ll b/polly/test/CodeGen/Metadata/basic_vec_annotate.ll
index 344a6d0990837..e059fea707321 100644
--- a/polly/test/CodeGen/Metadata/basic_vec_annotate.ll
+++ b/polly/test/CodeGen/Metadata/basic_vec_annotate.ll
@@ -14,8 +14,8 @@
; CHECK: br {{.*}} !llvm.loop [[POLLY_LOOP:![0-9]+]]
; CHECK: [[LOOP]] = distinct !{[[LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i32 0}
-; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
-; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i1 true}
+; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], {{.*}}}
+; CHECK-DAG: !{!"llvm.loop.vectorize.enable", i1 true}
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
target triple = "aarch64-unknown-linux-gnu"
>From fa328bcfab0b86784dc4978b95f99db4fb369694 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <kartc at qti.qualcomm.com>
Date: Thu, 25 Jun 2026 12:25:14 -0700
Subject: [PATCH 4/6] Fix formatting
---
polly/lib/CodeGen/IslNodeBuilder.cpp | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/polly/lib/CodeGen/IslNodeBuilder.cpp b/polly/lib/CodeGen/IslNodeBuilder.cpp
index 72401b4b22b64..e11822ae26092 100644
--- a/polly/lib/CodeGen/IslNodeBuilder.cpp
+++ b/polly/lib/CodeGen/IslNodeBuilder.cpp
@@ -439,8 +439,7 @@ static bool IsLoopVectorizerDisabled(isl::ast_node_for Node) {
// Returns true if the loop has a dist=1 dependence involving FP operations
// (array-carried RAW/WAW or scalar FP reduction). In that case we omit the
// vectorize.enable annotation and let the Loop Vectorizer decide.
-static bool hasLoopCarriedDependence(isl::ast_node_for For,
- const Scop &S) {
+static bool hasLoopCarriedDependence(isl::ast_node_for For, const Scop &S) {
isl::pw_aff PwaDist = IslAstInfo::getMinimalDependenceDistance(For);
if (PwaDist.is_null())
return false;
>From cab82a0c74e271a4b0a377af94b679e75c74cc48 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <quic_kartc at quicinc.com>
Date: Sun, 12 Jul 2026 11:39:30 +0530
Subject: [PATCH 5/6] Add comment explaining metadata format limitation for FP
reordering
---
polly/lib/CodeGen/IslNodeBuilder.cpp | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/polly/lib/CodeGen/IslNodeBuilder.cpp b/polly/lib/CodeGen/IslNodeBuilder.cpp
index e11822ae26092..de98d58e76172 100644
--- a/polly/lib/CodeGen/IslNodeBuilder.cpp
+++ b/polly/lib/CodeGen/IslNodeBuilder.cpp
@@ -510,6 +510,12 @@ void IslNodeBuilder::createForSequential(isl::ast_node_for For,
GenSE->getSCEV(ValueUB));
// Skip vectorize.enable for dist=1 FP loops; let the Loop Vectorizer decide.
+ // Note: llvm.loop.vectorize.enable=true has an additional property beyond
+ // requesting vectorization — it implicitly allows FP operation reordering
+ // (see https://github.com/llvm/llvm-project/issues/198726). This is a
+ // limitation of the metadata format: there is no way to separate the request
+ // for vectorization from the request for reassociating FP ops. We suppress
+ // the metadata here for loops where FP reordering would be harmful.
bool SkipVectorizeEnableMetadata = hasLoopCarriedDependence(For, S);
IV = createLoop(ValueLB, ValueUB, ValueInc, Builder, *GenLI, *GenDT,
>From 3da101b9df570d1775237fa4b329e999e8f688e8 Mon Sep 17 00:00:00 2001
From: Karthika Devi C <kartc at qti.qualcomm.com>
Date: Tue, 14 Jul 2026 03:57:20 -0700
Subject: [PATCH 6/6] Update comments around the code and add test case
---
polly/lib/CodeGen/IslNodeBuilder.cpp | 23 ++++----
.../Metadata/skip_vec_annotate_fp_dist1.ll | 56 +++++++++++++++++++
2 files changed, 69 insertions(+), 10 deletions(-)
create mode 100644 polly/test/CodeGen/Metadata/skip_vec_annotate_fp_dist1.ll
diff --git a/polly/lib/CodeGen/IslNodeBuilder.cpp b/polly/lib/CodeGen/IslNodeBuilder.cpp
index de98d58e76172..7e395fd4cbd31 100644
--- a/polly/lib/CodeGen/IslNodeBuilder.cpp
+++ b/polly/lib/CodeGen/IslNodeBuilder.cpp
@@ -436,9 +436,9 @@ static bool IsLoopVectorizerDisabled(isl::ast_node_for Node) {
return false;
}
-// Returns true if the loop has a dist=1 dependence involving FP operations
-// (array-carried RAW/WAW or scalar FP reduction). In that case we omit the
-// vectorize.enable annotation and let the Loop Vectorizer decide.
+/// Returns true if the loop has a dist=1 dependence involving FP operations
+/// (array-carried RAW/WAW or scalar FP reduction). In that case we omit the
+/// vectorize.enable annotation and let the Loop Vectorizer decide.
static bool hasLoopCarriedDependence(isl::ast_node_for For, const Scop &S) {
isl::pw_aff PwaDist = IslAstInfo::getMinimalDependenceDistance(For);
if (PwaDist.is_null())
@@ -509,13 +509,16 @@ void IslNodeBuilder::createForSequential(isl::ast_node_for For,
bool UseGuardBB = !GenSE->isKnownPredicate(Predicate, GenSE->getSCEV(ValueLB),
GenSE->getSCEV(ValueUB));
- // Skip vectorize.enable for dist=1 FP loops; let the Loop Vectorizer decide.
- // Note: llvm.loop.vectorize.enable=true has an additional property beyond
- // requesting vectorization — it implicitly allows FP operation reordering
- // (see https://github.com/llvm/llvm-project/issues/198726). This is a
- // limitation of the metadata format: there is no way to separate the request
- // for vectorization from the request for reassociating FP ops. We suppress
- // the metadata here for loops where FP reordering would be harmful.
+ // FIXME: This is a workaround for
+ // https://github.com/llvm/llvm-project/issues/198726.
+ // llvm.loop.vectorize.enable=true has an additional property beyond
+ // requesting vectorization — it implicitly allows FP operation reordering.
+ // This is a limitation of the metadata format: there is no way to separate
+ // the request for vectorization from the request for reassociating FP ops.
+ // Once LoopVectorize is fixed to not reorder FP ops without explicit
+ // permission, this workaround can be removed.
+ // For now, skip vectorize.enable for dist=1 FP loops to avoid correctness
+ // failures from FP reassociation.
bool SkipVectorizeEnableMetadata = hasLoopCarriedDependence(For, S);
IV = createLoop(ValueLB, ValueUB, ValueInc, Builder, *GenLI, *GenDT,
diff --git a/polly/test/CodeGen/Metadata/skip_vec_annotate_fp_dist1.ll b/polly/test/CodeGen/Metadata/skip_vec_annotate_fp_dist1.ll
new file mode 100644
index 0000000000000..6ed41b1f64cbd
--- /dev/null
+++ b/polly/test/CodeGen/Metadata/skip_vec_annotate_fp_dist1.ll
@@ -0,0 +1,56 @@
+; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' -polly-annotate-metadata-vectorize < %s | FileCheck %s
+
+; Verify that vectorize.enable metadata is NOT added for a loop with a dist=1
+; dependence involving floating-point operations. This is a workaround for
+; https://github.com/llvm/llvm-project/issues/198726 where vectorize.enable
+; implicitly allows FP reassociation causing correctness failures.
+
+; void scale(double *A, double factor, int n) {
+; for (int i = 1; i < n; i++)
+; A[i] = factor * A[i - 1];
+; }
+
+; The Polly-generated loop should NOT have vectorize.enable metadata.
+; CHECK: polly.stmt.for.body:
+; CHECK: br {{.*}} !llvm.loop [[POLLY_LOOP:![0-9]+]]
+; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]],
+; CHECK-NOT: !"llvm.loop.vectorize.enable", i1 true
+
+target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
+target triple = "aarch64-unknown-linux-gnu"
+
+define dso_local void @scale(ptr nocapture noundef %A, double noundef %factor, i32 noundef %n) local_unnamed_addr #0 {
+entry:
+ br label %entry.split
+
+entry.split: ; preds = %entry
+ %cmp5 = icmp sgt i32 %n, 1
+ br i1 %cmp5, label %for.body.preheader, label %for.cond.cleanup
+
+for.body.preheader: ; preds = %entry.split
+ %wide.trip.count = zext nneg i32 %n to i64
+ br label %for.body
+
+for.cond.cleanup.loopexit: ; preds = %for.body
+ br label %for.cond.cleanup
+
+for.cond.cleanup: ; preds = %for.cond.cleanup.loopexit, %entry.split
+ ret void
+
+for.body: ; preds = %for.body.preheader, %for.body
+ %indvars.iv = phi i64 [ 1, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
+ %0 = add nsw i64 %indvars.iv, -1
+ %arrayidx = getelementptr inbounds double, ptr %A, i64 %0
+ %1 = load double, ptr %arrayidx, align 8
+ %mul = fmul double %factor, %1
+ %arrayidx2 = getelementptr inbounds double, ptr %A, i64 %indvars.iv
+ store double %mul, ptr %arrayidx2, align 8
+ %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
+ %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
+ br i1 %exitcond.not, label %for.cond.cleanup.loopexit, label %for.body, !llvm.loop !0
+}
+
+attributes #0 = { nofree norecurse nosync nounwind memory(argmem: readwrite) uwtable "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="cortex-a57" "target-features"="+aes,+crc,+fp-armv8,+neon,+outline-atomics,+perfmon,+sha2,+v8a,-fmv" }
+
+!0 = distinct !{!0, !1}
+!1 = !{!"llvm.loop.mustprogress"}
More information about the llvm-commits
mailing list