diff options
| author | Lei Zhang <antiagainst@google.com> | 2019-06-04 14:03:30 -0700 |
|---|---|---|
| committer | Mehdi Amini <joker.eph@gmail.com> | 2019-06-09 16:17:34 -0700 |
| commit | 23cf3b39e0a88975039fb173eb3befd46e13fe60 (patch) | |
| tree | 6f22e447d0d242245dad0cdca6195688299c28c1 /mlir/bindings/python/pybind.cpp | |
| parent | 11d18a4a5e0b9d242722b2c57660ce34b52cb517 (diff) | |
| download | bcm5719-llvm-23cf3b39e0a88975039fb173eb3befd46e13fe60.tar.gz bcm5719-llvm-23cf3b39e0a88975039fb173eb3befd46e13fe60.zip | |
[spirv] Basic validity of SPV_ModuleOp
This CL adds SPV_ModuleEndOp for terminating the only block inside a
SPV_ModuleOp's only region. Verification now enforces a spv.module only
contains func or spv.* ops and no external or nested functions are
present. Because of the structural requirement of a block, spv.Return
is also added in this CL.
PiperOrigin-RevId: 251510706
Diffstat (limited to 'mlir/bindings/python/pybind.cpp')
0 files changed, 0 insertions, 0 deletions
