[PATCH] D77405: [AssumeBundles] adapte GVN to assume bundles

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

We need a test with an existing assume + op bundles to verify it is not eliminated.



================
Comment at: llvm/test/Analysis/BasicAA/featuretest.ll:182
+; USE_ASSUME-NEXT:    store i32 5, i32* getelementptr inbounds ({ i32 }, { i32 }* @Global, i64 0, i32 0), align 4
+; USE_ASSUME-NEXT:    call void @llvm.assume(i1 true) [ "dereferenceable"(i32* [[X]], i64 4), "nonnull"(i32* [[X]]) ]
+; USE_ASSUME-NEXT:    ret i32 0
----------------
We will need a filter during creation to avoid trivial assumes (like these ones). We also need a pass to move, eliminate and merge them.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77405