The GitHub Actions job "Lint" on tvm.git/fix-arith-const-int-bound-modular-set has failed. Run started by GitHub user yongwww (triggered by spectrometerHBH).
Head commit for run: 6fc6bfcf0121ba64df5a111df291222b5612cfe7 / sbinabdullah <[email protected]> [Arith] Intersect modular-set mod bounds with interval bounds Address review feedback: returning the modular-set-based bound directly discarded the interval-based bound of the dividend, so a tight dividend range (e.g. a in [63, 127] with a == 63 (mod 64), where floormod(a, 256) is exactly {63, 127}) produced an unnecessarily loose [63, 255]. Restructure the Mod/FloorMod visitors to always compute the interval-based bound first and intersect it with the modular-set-based bound when the fast path applies. Adds tight-range regression cases for floormod, truncmod with a negative dividend range, and floormod of a negative dividend range. Report URL: https://github.com/apache/tvm/actions/runs/29136096066 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
