Changes
Summary
- [NFC][InstCombine] Tests for 'rem' formation from sub-of-mul-by-'div' (PR42673) https://rise4fun.com/Alive/8Rp https://bugs.llvm.org/show_bug.cgi?id=42673
- [NFC][InstCombine] Redundant masking before left-shift: tests with assume If the legality check is `(shiftNbits-maskNbits) s>= 0`, then we can simplify it to `shiftNbits u>= maskNbits`, which is easier to check for. However, currently switching the `dropRedundantMaskingOfLeftShiftInput()` to `SimplifyICmpInst()` does not catch these cases and regresses currently-handled cases, so i'll leave it as is for now. https://rise4fun.com/Alive/25P
Change Type | Path in Repository | Path in Workspace |
---|---|---|
![]() | /llvm/trunk/test/Transforms/InstCombine/srem-via-sdiv-mul-sub.ll | llvm.src/test/Transforms/InstCombine/srem-via-sdiv-mul-sub.ll |
![]() | /llvm/trunk/test/Transforms/InstCombine/urem-via-udiv-mul-sub.ll | llvm.src/test/Transforms/InstCombine/urem-via-udiv-mul-sub.ll |
Change Type | Path in Repository | Path in Workspace |
![]() | /llvm/trunk/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-c.ll (diff) | llvm.src/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-c.ll |
![]() | /llvm/trunk/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-d.ll (diff) | llvm.src/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-d.ll |
![]() | /llvm/trunk/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-e.ll (diff) | llvm.src/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-e.ll |
![]() | /llvm/trunk/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-f.ll (diff) | llvm.src/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-f.ll |