This patch limits all getClobberingMemoryAccess() walks to MaxCheckLimit.
Thanks for this!
Would it be straightforward to have a lit test (or similar) that sets memssa-check-limit to something super low and checks that this all does what we want (e.g. walk limit is cumulative across all walks on OptimizePhis, the walker trivially obeys it, ...)
|557 ↗||(On Diff #191418)|
nit: please remove == 0
|910 ↗||(On Diff #191418)|
Was this intended to be unsigned &UpwardWalkLimit? Looks like we're passing it by ref everywhere else
|923 ↗||(On Diff #191418)|
Would it be better to make UpwardWalkLimit a member? This entire class is a container of query-specific state anyway.