bcm5719-llvm/mlir/lib/Conversion/LoopsToGPU, branch meklort-10.0.1

Make helper functions static or move them into anonymous namespaces. NFC.

2020-01-14T13:06:37+00:00

[mlir] NFC: Remove Value::operator* and Value::operator-> now that Value is properly value-typed.

2020-01-11T16:54:39+00:00

Summary: These were temporary methods used to simplify the transition. Reviewed By: antiagainst Differential Revision: https://reviews.llvm.org/D72548

[mlir] Fix -Wrange-loo-analysis warnings

2020-01-02T00:06:04+00:00

for (const auto &x : llvm::zip(..., ...)) -> for (auto x : llvm::zip(..., ...)) The return type of zip() is a wrapper that wraps a tuple of references. > warning: loop variable 'p' is always a copy because the range of type 'detail::zippy &, ArrayRef &>' does not return a reference [-Wrange-loop-analysis]

NFC: Replace ValuePtr with Value and remove it now that Value is value-typed.

2019-12-24T00:36:53+00:00

ValuePtr was a temporary typedef during the transition to a value-typed Value. PiperOrigin-RevId: 286945714

Adjust License.txt file to use the LLVM license

2019-12-23T23:33:37+00:00

PiperOrigin-RevId: 286906740

NFC: Introduce new ValuePtr/ValueRef typedefs to simplify the transition to Value being value-typed.

2019-12-23T06:00:23+00:00

This is an initial step to refactoring the representation of OpResult as proposed in: https://groups.google.com/a/tensorflow.org/g/mlir/c/XXzzKhqqF_0/m/v6bKb08WCgAJ This change will make it much simpler to incrementally transition all of the existing code to use value-typed semantics. PiperOrigin-RevId: 286844725

Add integer bit-shift operations to the standard dialect.

2019-12-22T18:02:13+00:00

Rename the 'shlis' operation in the standard dialect to 'shift_left'. Add tests for this operation (these have been missing so far) and add a lowering to the 'shl' operation in the LLVM dialect. Add also 'shift_right_signed' (lowered to LLVM's 'ashr') and 'shift_right_unsigned' (lowered to 'lshr'). The original plan was to name these operations 'shift.left', 'shift.right.signed' and 'shift.right.unsigned'. This works if the operations are prefixed with 'std.' in MLIR assembly. Unfortunately during import the short form is ambigous with operations from a hypothetical 'shift' dialect. The best solution seems to omit dots in standard operations for now. Closes tensorflow/mlir#226 PiperOrigin-RevId: 286803388

Replace custom getBody method with an ODS-generated in gpu::LaunchOp

2019-12-06T22:29:25+00:00

PiperOrigin-RevId: 284262981

Move Affine to Standard conversion to lib/Conversion

2019-11-14T18:35:21+00:00

This is essentially a dialect conversion and conceptually belongs to conversions. PiperOrigin-RevId: 280460034

Support lowering of imperfectly nested loops into GPU dialect.

2019-11-01T17:52:06+00:00

The current lowering of loops to GPU only supports lowering of loop nests where the loops mapped to workgroups and workitems are perfectly nested. Here a new lowering is added to handle lowering of imperfectly nested loop body with the following properties 1) The loops partitioned to workgroups are perfectly nested. 2) The loop body of the inner most loop partitioned to workgroups can contain one or more loop nests that are to be partitioned across workitems. Each individual loops nests partitioned to workitems should also be perfectly nested. 3) The number of workgroups and workitems are not deduced from the loop bounds but are passed in by the caller of the lowering as values. 4) For statements within the perfectly nested loop nest partitioned across workgroups that are not loops, it is valid to have all threads execute that statement. This is NOT verified. PiperOrigin-RevId: 277958868