[PATCH] D140404: Patch for dbg variable instrinsics to point towards cloned values in JumpThreading

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

Hi,

It looks like this patch makes jump-threading yield different results with/without debug info.
With

  opt -passes=jump-threading bbi-78731_red.ll -S -o -

We get e.g

  for.cond:                                         ; preds = %lor.end51, %entry
    %cond4130 = phi i32 [ undef, %entry ], [ %cond4131, %lor.end51 ]
    %e.0 = phi i32 [ 0, %entry ], [ %cond3111226, %lor.end51 ]
   

and if we comment out the call to llvm.dbg.value we instead get

  for.cond:                                         ; preds = %lor.end51, %entry
    %e.0 = phi i32 [ 0, %entry ], [ %cond3111226, %lor.end51 ]

F26393627: bbi-78731_red.ll <https://reviews.llvm.org/F26393627>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140404