To verify that (e.g.) dot-product operations are generated when expected, etc
To verify that (e.g.) dot-product operations are generated when expected, etc