[PATCH] D84264: [SCCP] Directly remove non-feasible edges

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Okay, it looks like you //can// use bugpoint with NewPM after all, you just need to use it the same way as llvm-reduce, via `-compile-custom -compile-command`. With that and some manual cleanup, here is a reduced test case:

  ; opt -passes=ipsccp
  define i32 @test() {
  entry:
    br label %for.body
  
  for.body:                                         ; preds = %entry
    br i1 true, label %if.then2, label %if.else
  
  if.then2:                                         ; preds = %for.body
    br label %for.inc
  
  if.else:                                          ; preds = %for.body
    br i1 undef, label %lor.rhs, label %if.then19.critedge
  
  lor.rhs:                                          ; preds = %if.else
    br i1 undef, label %if.then19, label %for.inc
  
  if.then19.critedge:                               ; preds = %if.else
    br label %if.then19
  
  if.then19:                                        ; preds = %if.then19.critedge, %lor.rhs
    unreachable
  
  for.inc:                                          ; preds = %lor.rhs, %if.then2
    unreachable
  }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84264