Ryotaro Kasuga 5ae5f9df42

[DA] Check nsw flags for addrecs in the Exact SIV test (#186387) ...

This patch adds a check to ensure that the addrecs have nsw flags at the
beginning of the Exact SIV test. If either of them doesn't have, the
analysis bails out. This check is necessary because the subsequent
process in the Exact SIV test assumes that they don't wrap.

2026-03-19 15:07:08 +00:00

..

AA.ll

…

Banerjee.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

BasePtrBug.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

becount-couldnotcompute.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

bounds-check.ll

[DA] add testcases for bug #148435 (#154980)

2025-12-03 11:16:05 -06:00

compute-absolute-value.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

Constraints.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

DADelin.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

DifferentAccessSize.ll

…

DifferentOffsets.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

Dump.ll

…

exact-rdiv-addrec-wrap.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

exact-siv-addrec-wrap.ll

[DA] Check nsw flags for addrecs in the Exact SIV test (#186387)

2026-03-19 15:07:08 +00:00

exact-siv-large-btc.ll

[DA] Add test that represents an edge case for the Exact SIV test (NFC) (#186389)

2026-03-18 08:13:47 +00:00

exact-siv-overflow.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

ExactRDIV.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

ExactSIV.ll

…

FlipFlopBaseAddress.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

gcd-miv-overflow.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

GCD.ll

…

infer_affine_domain_ovlf.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

Invariant.ll

…

lcssa.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

MismatchingNestLevels.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

MIVCheckConst.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

MIVMaxLevelThreshold.ll

…

monotonicity-cast.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

monotonicity-delinearize.ll

…

monotonicity-invariant.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

monotonicity-loop-guard.ll

[DA] Add tests for nsw doesn't hold on entire iteration space (NFC) (#162281)

2026-01-13 17:18:05 +00:00

monotonicity-no-wrap-flags.ll

…

new-pm-invalidation.ll

…

non-monotonic.ll

[DA] Check nsw flags for addrecs in the Exact SIV test (#186387)

2026-03-19 15:07:08 +00:00

NonAffineExpr.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

NonCanonicalizedSubscript.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

PR21585.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

PR31848.ll

…

PR51512.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

PR148435.ll

[DA] add testcases for bug #148435 (#154980)

2025-12-03 11:16:05 -06:00

Preliminary.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

PreliminaryNoValidityCheckFixedSize.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

Propagating.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

rdiv-large-btc.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

rdiv-minor-algebra.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

run-specific-dependence-test.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

same-sd-for-diff-becount-type-loops.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

SameSDLoops.ll

…

SimpleSIVNoValidityCheck.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

SimpleSIVNoValidityCheckFixedSize.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

strong-siv-addrec-wrap.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

strong-siv-large-btc.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

strong-siv-overflow.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

StrongSIV.ll

[DA] Fix overflow in symbolic RDIV test (#185805)

2026-03-18 04:39:53 +00:00

symbolic-rdiv-addrec-wrap.ll

[DA] Check nsw flags for addrecs in the Exact SIV test (#186387)

2026-03-19 15:07:08 +00:00

symbolic-rdiv-overflow.ll

[DA] Regenerate assertions for the tests (NFC) (#187207)

2026-03-18 08:18:14 +00:00

SymbolicRDIV.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

SymbolicSIV.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

UsefulGEP.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

weak_zero_siv_parametric_coeff.ll

[DA] Fix the Weak Zero SIV tests when the coeff may be zero (#183736)

2026-03-06 07:28:21 +00:00

weak_zero_siv_parametric_const.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

weak-crossing-siv-addrec-wrap.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

weak-crossing-siv-delta-signed-min.ll

[DA] Add test for the Weak Crossing SIV test misses dependency (NFC) (#186355)

2026-03-17 08:55:53 +00:00

weak-crossing-siv-large-btc.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

weak-crossing-siv-overflow.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

weak-zero-siv-delta-signed-min.ll

[DA] Add tests for the Weak Zero SIV tests miss dependency (NFC) (#184998)

2026-03-11 04:39:33 +00:00

weak-zero-siv-large-btc.ll

[DA] Rewrite formula in the Weak Zero SIV tests (#183738)

2026-03-18 04:49:22 +00:00

weak-zero-siv-overflow.ll

[DA] Rewrite formula in the Weak Zero SIV tests (#183738)

2026-03-18 04:49:22 +00:00

WeakCrossingSIV.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

WeakZeroDstSIV.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

WeakZeroSrcSIV.ll

[DA] Test AddRecs are nsw before strong SIV test (#183421)

2026-03-09 12:39:37 -04:00

wrapping-addrec-1.ll

[DA] add testcases for bug #148435 (#154980)

2025-12-03 11:16:05 -06:00

wrapping-addrec.ll

[DA] add testcases for bug #148435 (#154980)

2025-12-03 11:16:05 -06:00

zero-coefficient.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00

ZIV.ll

[DA] Remove consistent flag from Dependence class (#181608)

2026-03-04 07:51:15 +00:00