Skip to content
Commit 6d839621 authored by Noah Goldstein's avatar Noah Goldstein Committed by Nikita Popov
Browse files

[InstCombine] Canonicalize (A & B_Pow2) eq/ne B_Pow2 patterns 

1. A & B_Pow2 != B_Pow2 -> A & B_Pow2 == 0
   https://alive2.llvm.org/ce/z/KVUej4

2. A & B_Pow2 == B_Pow2 -> A & B_Pow2 != 0
   https://alive2.llvm.org/ce/z/PVv9FR

This allows the patterns to more easily be analyzed elsewhere.

Differential Revision: https://reviews.llvm.org/D141090
parent 747fc27e
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment