[PATCH] D145323: AMDGPU: Fix LiveVariables verifier error for values defined before SI_END_CF

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: llvm/lib/Target/AMDGPU/SILowerControlFlow.cpp:519
+      // accidentally add the original block to AliveBlocks. AliveBlocks only
+      // includes blocks which are live through, which excludes live outs and
+      // local defs.
----------------
Pierre-vh wrote:
> What does live through mean in this context?
Defined in a predecessor and used in a successor 


================
Comment at: llvm/test/CodeGen/AMDGPU/lower-control-flow-live-variables-update.xfail.mir:3
+
+# CHECK: *** Bad machine code: LiveVariables: Block missing from AliveBlocks ***
+# CHECK-NEXT: function:    live_variables_update_block_split_split_def_before_si_end_cf_live_out
----------------
Pierre-vh wrote:
> Is this a test case that will be fixed in a future patch?
Ideally yes but this turned out to be more work than I expected and I wanted to unblock the other patch 


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

https://reviews.llvm.org/D145323