[PATCH] D47423: Simplify recursive launder.invariant.group and strip

[Krzysztof Pszeniczny via Phabricator via llvm-commits]

amharc added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp:1220-1221
+    Result = IC.Builder.CreateLaunderInvariantGroup(StrippedInvariantGroupsArg);
+  else if (II.getIntrinsicID() == Intrinsic::strip_invariant_group)
+    Result = IC.Builder.CreateStripInvariantGroup(StrippedInvariantGroupsArg);
+  else
----------------
Prazek wrote:
> rsmith wrote:
> > I think we can do a little better for the `strip(strip(p))` case. If we have:
> > 
> > ```
> > T *p = ...;
> > T *q = strip(p);
> > T *r = strip(q);
> > ```
> > 
> > ... it would seem preferable to rewrite that as:
> > 
> > ```
> > T *r = q;
> > ```
> > 
> > rather than as:
> > 
> > ```
> > T *r = strip(p);
> > ```
> > 
> > (Will GVN rewrite the latter as the former anyway?)
> No, none of the optimization can remove strips. I don't think it is legal in our model and I don't see it how it could work
Isn't `strip` supposed to be pure, and hence two calls to `strip(p)` should be CSE'd by GVN?


Repository:
  rL LLVM

https://reviews.llvm.org/D47423