[all-commits] [llvm/llvm-project] 86464e: [Assignment Tracking][15/*] Account for assignment...

[Orlando Cazalet-Hyams via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 86464ed3df9b0f2f787629b54baa2262395e7784
      https://github.com/llvm/llvm-project/commit/86464ed3df9b0f2f787629b54baa2262395e7784
  Author: OCHyams <orlando.hyams at sony.com>
  Date:   2022-11-18 (Fri, 18 Nov 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    A llvm/test/DebugInfo/Generic/assignment-tracking/simplifycfg/empty-block.ll
    A llvm/test/DebugInfo/Generic/assignment-tracking/simplifycfg/speculated-store.ll

  Log Message:
  -----------
  [Assignment Tracking][15/*] Account for assignment tracking in simplifycfg

The Assignment Tracking debug-info feature is outlined in this RFC:

https://discourse.llvm.org/t/
rfc-assignment-tracking-a-better-way-of-specifying-variable-locations-in-ir

Update simplifycfg:
sinkLastInstruction - preserve debug use-before-defs.

SpeculativelyExecuteBB - replace the value component of dbg.assign intrinsics
when stores are hoisted and merged using a select, and don't delete them.

Reviewed By: jmorse

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