llvm-project.git/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-4.ll, branch users/nico/python-2

[RewriteStatepointsForGC] Convert some tests to opaque pointers (NFC)

2023-01-03T13:27:26+00:00

[test] Remove duplicate RUN lines in Transform tests

2022-12-08T10:47:16+00:00

[NFC] Port all RewriteStatepointsForGC tests to `-passes=` syntax

2022-12-07T19:22:08+00:00

[IRBuilder][RS4GC] Require FunctionCallee when creating statepoint

2022-02-04T08:47:32+00:00

This makes the statepoint methods in IRBuilder accept a
FunctionCallee, which carries both the callee and function type.
This is used to add the elementtype attribute to the statepoint call.

RS4GC requires an additional tweak to actually preserve that attribute
-- previously the attributes on the call were completely overwritten.

Differential Revision: https://reviews.llvm.org/D118886

[rs4gc] don't duplicate existing values which are provably base pointers

2021-03-16T19:51:21+00:00

RS4GC needs to rewrite the IR to ensure that every relocated pointer has an associated base pointer. The existing code isn't particularly smart about avoiding duplication of existing IR when it turns out the original pointer we were asked to materialize a base pointer for is itself a base pointer.

This patch adds a stage to the algorithm which prunes nodes proven (with a simple forward dataflow fixed point) to be base pointers from the list of nodes considered for duplication. This does require changing some of the later invariants slightly, that's probably the riskiest part of the change.

Differential Revision: D98122

[rs4gc/tests] Remove use of internal debug flags

2021-03-06T17:20:02+00:00

As a pragmatic tradeoff, the ease of updating the tests outweighs the slightly easier to understand test conditions.  Where revevant, debug output was converted to comments to help human understanding.

[Statepoint] Switch RS4GC to using gc-live bundle form

2020-06-04T22:49:11+00:00

Now that we have an operand based form for the GC arguments to a statepoint intrinsic, update RS4GC to use it and update tests to reflect. This is pretty straight forward. I nearly landed without review, but figured a second set of eyes didn't hurt.

Differential Revision: https://reviews.llvm.org/D81121

Default to generating statepoints with deopt and gc-transition bundles if needed

2020-05-28T17:14:23+00:00

Continues from D80598.

The key point of the change is to default to using operand bundles instead of the inline length prefix argument lists for statepoint nodes. An important subtlety to note is that the presence of a bundle has semantic meaning, even if it is empty. As such, we need to make a somewhat deeper change to the interface than is first obvious.

Existing code treats statepoint deopt arguments and the deopt bundle operands differently during inlining. The former is ignored (resulting in caller state being dropped), the later is merged.

We can't preserve the old behaviour for calls with deopt fed to RS4GC and then inlining, but we can avoid the no-deopt case changing. At least in internal testing, that seem to be the important one. (I'd argue the "stop merging after RS4GC" behaviour for the former was always "unexpected", but that the behaviour for non-deopt calls actually make sense.)

Differential Revision: https://reviews.llvm.org/D80674

Autogen a couple of test files to make a future diff easier to read

2020-05-27T00:33:32+00:00

Revert "Temporarily Revert "Add basic loop fusion pass.""

2019-04-17T04:52:47+00:00

The reversion apparently deleted the test/Transforms directory.

Will be re-reverting again.

llvm-svn: 358552