[spirv] Fix gen_spirv_dialect.py and add spv.Unreachable
authorLei Zhang <antiagainst@google.com>
Wed, 30 Oct 2019 12:40:47 +0000 (05:40 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Wed, 30 Oct 2019 12:41:18 +0000 (05:41 -0700)
commit80213ba5f0d72f4c50ec641d40eed171bba464ad
tree4fdaf40d5e218ba88261386d713c39764c32ee35
parentf3efb60ccc1942796a006434bf5935659bb5e3fc
[spirv] Fix gen_spirv_dialect.py and add spv.Unreachable

This CL fixed gen_spirv_dialect.py to support nested delimiters when
chunking existing ODS entries in .td files and to allow ops without
correspondence in the spec. This is needed to pull in the definition
of OpUnreachable.

PiperOrigin-RevId: 277486465
mlir/include/mlir/Dialect/SPIRV/SPIRVBase.td
mlir/include/mlir/Dialect/SPIRV/SPIRVControlFlowOps.td
mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
mlir/test/Dialect/SPIRV/Serialization/terminator.mlir
mlir/test/Dialect/SPIRV/control-flow-ops.mlir
mlir/utils/spirv/gen_spirv_dialect.py