This is an archive of the discontinued LLVM Phabricator instance.

[Polly] Drop overapproximation of kernel arguments
Needs ReviewPublic

Authored by philip.pfaffe on Dec 4 2017, 6:08 AM.

Details

Reviewers
grosser
bollu
Summary

When generating the GPU kernel function, we used to overapproximate
the function arguments by pre-populating them from the IDtoValue Map, and then
removing things we know statically or things that are computed in different
ways. However, right after this, we walk the entire scop and pick up SCEVs and
their unknown Values, and add them to the kernel arguments. Because of this, we
can just drop the overapproximation in the first place.