Rahul Joshi a3ad8f92b4 [MLIR] Add type checking capability to RegionBranchOpInterface ... - Add function `verifyTypes` that Op's can call to do type checking verification along the control flow edges described the Op's RegionBranchOpInterface. - We cannot rely on the verify methods on the OpInterface because the interface functions assume valid Ops, so they may crash if invoked on unverified Ops. (For example, scf.for getSuccessorRegions() calls getRegionIterArgs(), which dereferences getBody() block. If the scf.for is invalid with no body, this can lead to a segfault). `verifyTypes` can be called post op-verification to avoid this. Differential Revision: https://reviews.llvm.org/D82829		2020-07-15 11:14:07 -07:00
..
canonicalize.mlir	[mlir] parallel loop canonicalization	2020-06-26 09:57:08 +02:00
for-loop-specialization.mlir	[mlir] Add for loop specialization	2020-06-22 10:14:17 +02:00
invalid.mlir	[MLIR] Add type checking capability to RegionBranchOpInterface	2020-07-15 11:14:07 -07:00
loop-unroll.mlir	…
ops.mlir	Change filecheck default to dump input on failure	2020-06-09 18:57:46 +00:00
parallel-loop-fusion.mlir	Rename `xla_lhlo.terminator` into `return` in SCF parallel loop test (NFC)	2020-07-08 04:05:43 +00:00
parallel-loop-specialization.mlir	[MLIR][Standard] Make the `dim` operation index an operand.	2020-06-10 13:54:47 +00:00
parallel-loop-tiling.mlir	[mlir] parallel loop tiling optimization for loops with static bounds	2020-06-25 09:21:24 +02:00