[PATCH] D41151: [analyzer] Adding LoopContext and improve loop modeling
Peter Szecsi via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Dec 12 18:32:44 PST 2017
szepet created this revision.
szepet added reviewers: dcoughlin, NoQ, zaks.anna, xazax.hun, a.sidorin.
Herald added subscribers: dkrupp, baloghadamsoftware, whisperity.
Based on the CFGLoopEntrance element, it is possible to have a CFG driven LocationContext update which contains loop information as well.
Updated the loop unrolling feature as well to use purely the LocationContext stack and not implement its own.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 25638 bytes
Desc: not available
More information about the cfe-commits