https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 9f8794a071e152cf128dc03d9994c884fecf5d12 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH 1/2] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysi
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 06b81a649a3ee3b4739882c7fc4cccfb4053fb7c Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 06b81a649a3ee3b4739882c7fc4cccfb4053fb7c Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 9f8794a071e152cf128dc03d9994c884fecf5d12 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH 1/2] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysi
@@ -815,8 +815,8 @@ for.end: ; preds =
%for.body
;; A[3*i - 2] = 1;
;; }
;;
-;; FIXME: DependencyAnalsysis currently detects no dependency between
-;; `A[-6*i + INT64_MAX]` and `A[3*i - 2]`, but it does exist. For example,
+;; There
https://github.com/Meinersbur approved this pull request.
LGTM
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 94b18495719b35a89ee6a18e474e8e92a4429d99 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 94b18495719b35a89ee6a18e474e8e92a4429d99 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj edited
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1716,6 +1727,7 @@ bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff,
const SCEV *DstCoeff,
// explore directions
unsigned NewDirection = Dependence::DVEntry::NONE;
APInt LowerDistance, UpperDistance;
+ // TODO: Overflow check may be needed.
kas
https://github.com/kasuga-fj commented:
For now, I've added the minimal necessary checks, but it’s unclear whether
similar checks are also needed elsewhere in this function. Apparently, such
checks aren't necessary for GCD computation
([ref](https://en.wikipedia.org/wiki/Extended_Euclidean_alg
https://github.com/kasuga-fj edited
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/kasuga-fj ready_for_review
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 7678c02d942a548219bbe66cb425a1482b7d9924 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj updated
https://github.com/llvm/llvm-project/pull/157086
>From 7678c02d942a548219bbe66cb425a1482b7d9924 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analysis/De
https://github.com/kasuga-fj edited
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
llvmbot wrote:
@llvm/pr-subscribers-llvm-analysis
Author: Ryotaro Kasuga (kasuga-fj)
Changes
This patch removes base pointers from subscripts when delinearization fails.
Previously, in such cases, the pointer type SCEVs were used instead of offset
SCEVs derived from them. For example, he
https://github.com/kasuga-fj converted_to_draft
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/kasuga-fj ready_for_review
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/kasuga-fj edited
https://github.com/llvm/llvm-project/pull/157086
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
kasuga-fj wrote:
> [!WARNING]
> This pull request is not mergeable via GitHub because a downstack PR is
> open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/157086?utm_source=stack-comment-downstack-mergeability-warning
https://github.com/kasuga-fj created
https://github.com/llvm/llvm-project/pull/157086
None
>From c774e1d840a3b771774f28c995838f4407dca2c3 Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga
Date: Fri, 5 Sep 2025 11:41:29 +
Subject: [PATCH] [DA] Add overflow check in ExactSIV
---
llvm/lib/Analy
22 matches
Mail list logo
