[PATCH] D123846: [RS4GC] Prune inputs of BDV if they are BDV themselves

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/RewriteStatepointsForGC.cpp:939
+        // BDV itself, we'd return false. So explicitly check this case.
+        if (V == BDV)
+          return true;
----------------
mkazantsev wrote:
> What if `V->stripPointerCasts() == BDV`, will this still return false?
One possible way to get that is
```
  %ph = phi i8* [ %ph2, %loop ], [ %b, %block ]
  %ph1 = bitcast %ph to i32*
  %ph2 = bitcast %ph1 to i8*

```


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D123846/new/

https://reviews.llvm.org/D123846