[PATCH] D153660: [ConstraintElim] Track and simplify conditions at use.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

The case I had in mind is something like this:

  define i1 @test(i32 %x) {
  entry:
    %cmp1 = icmp sgt i32 %x, 1
    br i1 %cmp1, label %if, label %join
  
  if:
    %cmp2 = icmp sgt i32 %x, 0
    br label %join
  
  join:
    %phi = phi i1 [ %cmp2, %if ], [ false, %entry ]
    ret i1 %phi
  }

Where the `%cmp1` fact dominates the `%cmp2` use, but not if we consider the `%cmp2` use to be in `%join`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153660