[llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)

via llvm-commits llvm-commits at lists.llvm.org
Sun Feb 9 08:47:55 PST 2025

Previous message: [llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)
Next message: [llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

goldsteinn wrote:

What are your proofs proving? The tgt and src seem to be duplicated...

https://github.com/llvm/llvm-project/pull/126414

Previous message: [llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)
Next message: [llvm] [ValueTracking] Handle trunc to i1 as condition in dominating condition. (PR #126414)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list