Alex Zinenko f5e736c448 SDBM: fix the order of variables in the stripe-induced inequalities ... The initial implementation of SDBM mistakenly swapped the order of variables in the inequalities induced by a stripe equality: y = x # B actually implies y - x <= 0 and x - y <= B - 1 rather than x - y <= 0 and y - x <= B - 1 as implemented. Textual comments in the test files were correct but did not correspond to the emitted IR. Round-tripping between SDBM and expression lists was not affected because the wrong order was used in both directions of the conversion. Use the correct order. PiperOrigin-RevId: 251252980		2019-06-03 19:26:29 -07:00
..
AffineOps	Remove "size" property of affine maps.	2019-06-01 20:09:02 -07:00
Analysis	Some cleanup of ShapedType now that MemRef subclasses it.	2019-06-01 20:12:51 -07:00
Dialect	Add a templated wrapper around RewritePattern that allows for defining match/rewrite methods with an instance of the source op instead of a raw Operation*.	2019-06-01 20:03:22 -07:00
EDSC	Don't use ShapedType to indicate vector or tensor type	2019-06-01 20:12:31 -07:00
ExecutionEngine	Replace checks against numDynamicDims with hasStaticShape	2019-06-01 20:11:31 -07:00
GPU	Add operand type iterators to Operation and cleanup usages of operand->getType. This also simplifies some lingering usages of result->getType.	2019-06-01 20:00:43 -07:00
IR	Avoid failure due to incomplete type specification.	2019-06-01 20:14:39 -07:00
LLVMIR	Introduce OpOperandAdaptors and emit them from ODS	2019-06-03 19:26:12 -07:00
Linalg	Remove "size" property of affine maps.	2019-06-01 20:09:02 -07:00
Parser	Restructure the parser to support nested name scopes. This allows for regions at the same level of nesting to have values with the same SSA name. This is a necessary step for representing functions as operations.	2019-06-03 19:26:20 -07:00
Pass	Make the ParallelDiagnosticHandler used by the pass manager publicly available in Diagnostics.h. This provides a common utility for deterministically handling diagnostics in a multi-threaded environment.	2019-06-01 19:55:24 -07:00
Quantizer	Fix an msan warning for use of an uninitialized variable.	2019-06-01 20:12:21 -07:00
SDBM	SDBM: fix the order of variables in the stripe-induced inequalities	2019-06-03 19:26:29 -07:00
SPIRV	[spirv] Add ModuleOp	2019-06-01 20:07:10 -07:00
StandardOps	Allow constant of unit type.	2019-06-01 20:14:48 -07:00
Support	Remove unnecessary C++ specifier in CPP files. NFC.	2019-05-20 13:42:13 -07:00
TableGen	Introduce OpOperandAdaptors and emit them from ODS	2019-06-03 19:26:12 -07:00
Target	Fix translation of NVVM special registers to intrinsics.	2019-06-01 20:05:12 -07:00
Transforms	Loop invariant code motion - remove reliance on getForwardSlice. Add more tests.	2019-06-01 20:13:30 -07:00
Translation	Remove unnecessary C++ specifier in CPP files. NFC.	2019-05-20 13:42:13 -07:00
VectorOps	Static cast size_t -> int64_t instead of vice versa for equals comparisons	2019-06-01 20:13:49 -07:00
CMakeLists.txt	[spirv] Start the SPIR-V dialect	2019-06-01 20:03:33 -07:00