Skip to content
Commit 0412bf6f authored by Andy Davis's avatar Andy Davis Committed by Mehdi Amini
Browse files

Add memref dimension bounds as upper/lower bounds on MemRefRegion... 

    Add memref dimension bounds as upper/lower bounds on MemRefRegion constraints, to guard against potential over-approximation from projection.

--

PiperOrigin-RevId: 247431201
parent 6254a42d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment