-dopra may break on non-convex polyhedra if non-unit STEP
Bugzilla Link | 1152 |
Created on | Apr 05, 2015 20:12 |
Version | svn |
OS | Linux |
Architecture | PC |
Extended Description
I am just beginning to learn about this polyhedral stuff, but I think there may be the potential for at least one more bug in PRA: PRA calls PolyLib, which apparently only supports convex polyhedra. As I understand it, an affine expression tree describing a consumerWL in which the producerWL has non-unit STEP (or maybe if either of them have non-unit STEP) turns into a non-convex polyhedron, essentially one with holes through it. Intersecting the PWL and CWL (or multiple partitions of the same WL) could erroneously produce an OKAY result, despite the fact that they are NOT okay. I do not have a test case to prove this. At present, it is just a conjecture.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information