tree adbeb7e5d8df6556d696a48d99ce7622bc36ab4f
parent 950e172ff9d64e87ccd06e9855dda78ddda1dd1b
author Ben Vanik <ben.vanik@gmail.com> 1685583767 -0700
committer GitHub <noreply@github.com> 1685583767 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJkd/eXCRBK7hj4Ov3rIwAAMPYIAH/MEHCvltF88iVALFpIVjEC
 hu3MHdTfE7jF13JDOkhoIIoI3X5W+xRkQ4tsx4hI5Sh77Zwl8bA2REc1ACSGlktb
 73rPnO1N0qtfkPEYlpvEYJ1dSgLP6aSvY8wIArymf1b7C/uGEJJwogZWLTHwQrcx
 0Ax0TPHZNNceU53IlF1kgoQl5VbdfHkAK/YIwfwhv1P3AJwtHF0kWvJHDrDrBNb/
 UUF107mFsnNV8evjNvWdtAvVxuTPcfbtlORQumUDWwiRNuJRV53i3wx0G3wkEYWZ
 LbXHnctA9RzRGWAR2xxBslf7T7101EpmwwGmv6BIdjMA4JLm/Iyk3jkXopBH+t8=
 =FPVI
 -----END PGP SIGNATURE-----
 

Adding iree-stream-verify-async-access-ranges pass. (#13876)

This does some basic verification that AsyncAccessOpInterface ops (like
stream.async.copy and stream.async.dispatch) are in-bounds. Currently
only doing static verification but in the future it can be extended to
use relational verification (start < end, etc).

Prints useful errors like:
```
../iree-tmp/gpt2-64-stream-emplace.mlir:1603:12: error: 'stream.async.dispatch' op has invalid Read access range [180224 to 376832 for 196608] of resource %177 with size 196608; end > resource size
```

Hopefully we never produce programs like this but while iterating on
passes I've done it a few times and it's really hard to track down
(usually only via painful runtime debugging of intermediate values).