projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bcaa31) | patch
AllocOp: drop redundant verifier check
authorAlex Zinenko <zinenko@google.com>
Thu, 4 Jul 2019 14:47:34 +0000 (07:47 -0700)
committerjpienaar <jpienaar@google.com>
Thu, 4 Jul 2019 14:53:42 +0000 (07:53 -0700)
commitbd17bd299ffdfc32593bcd8abe31f0f40cd695fa
tree3c2a9e6d36d1ff9c845ed78f00d381990838c789tree | snapshot
parent1bcaa3185d2d0c4bdf81e4bf7e2e99fe8cc8b6b4commit | diff
AllocOp: drop redundant verifier check

The equality check between the rank of a memref and the input size of the
layout affine map in AllocOp::verify is subsumed by the well-formedness check
of the memref type itself.  Drop the redundant check from the verifier since it
is never exercised (the type builder does not allow one to construct a type
that would not pass the verifier check).

PiperOrigin-RevId: 256551247
mlir/lib/StandardOps/Ops.cpp diff | blob | history
Domain: System / Toolchain;