[InstCombine] fold sub of low-bit masked value from offset of same value
authorSanjay Patel <spatel@rotateright.com>
Fri, 13 Nov 2020 00:59:56 +0000 (19:59 -0500)
committerSanjay Patel <spatel@rotateright.com>
Fri, 13 Nov 2020 01:10:28 +0000 (20:10 -0500)
commit0abde4bc9273374bbef68b2d24b0158f8fb338c2
treedab71a3c19b29437efabee6cedf1809d3dfe1b4d
parent87e006bedddda977813861b4e350fd1687d5a1db
[InstCombine] fold sub of low-bit masked value from offset of same value

There might be some demanded/known bits way to generalize this,
but I'm not seeing it right now.

This came up as a regression when I was looking at a different
demanded bits improvement.

https://rise4fun.com/Alive/5fl

  Name: general
  Pre: ((-1 << countTrailingZeros(C1)) & C2) == 0
  %a1 = add i8 %x, C1
  %a2 = and i8 %x, C2
  %r = sub i8 %a1, %a2
  =>
  %r = and i8 %a1, ~C2

  Name: test 1
  %a1 = add i8 %x, 192
  %a2 = and i8 %x, 10
  %r = sub i8 %a1, %a2
  =>
  %r = and i8 %a1, -11

  Name: test 2
  %a1 = add i8 %x, -108
  %a2 = and i8 %x, 3
  %r = sub i8 %a1, %a2
  =>
  %r = and i8 %a1, -4
llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
llvm/test/Transforms/InstCombine/sub.ll