[MLIR][Shape] Derive more concrete type for `shape.shape_of`
authorFrederik Gossen <frgossen@google.com>
Wed, 28 Apr 2021 08:47:32 +0000 (10:47 +0200)
committerFrederik Gossen <frgossen@google.com>
Wed, 28 Apr 2021 08:50:53 +0000 (10:50 +0200)
commit3e037f8f0e26acab8cc784ea4c7d05da79f7c22e
tree31732f8960147d3f79cd9169d02156c98f45fec7
parent1eb81f8309be30e98e3799142f29095cbc62395b
[MLIR][Shape] Derive more concrete type for `shape.shape_of`

Also create all extent tensor constants with const_shape op.

Differential Revision: https://reviews.llvm.org/D99197
mlir/include/mlir/Dialect/Shape/IR/Shape.h
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/test/Dialect/Shape/canonicalize.mlir