llvm/lib/Transforms at 92e8ea88cd33dc21b251ab08ea6ce72eb9ebebc2 - llvm

RPCS3/llvm

mirror of https://github.com/RPCS3/llvm.git synced 2026-07-24 12:15:51 -04:00

Files

T

Sanjay Patel 92e8ea88cd [InstCombine] reduce even more unsigned saturated add with 'not' op

We want to use the sum in the icmp to allow matching with
m_UAddWithOverflow and eliminate the 'not'. This is discussed
in D51929 and is another step towards solving PR14613:
https://bugs.llvm.org/show_bug.cgi?id=14613

  Name: uaddsat, -1 fval
  %notx = xor i32 %x, -1
  %a = add i32 %x, %y
  %c = icmp ugt i32 %notx, %y
  %r = select i1 %c, i32 %a, i32 -1
  =>
  %a = add i32 %x, %y
  %c2 = icmp ugt i32 %y, %a
  %r = select i1 %c2, i32 -1, i32 %a

  Name: uaddsat, -1 fval + ult
  %notx = xor i32 %x, -1
  %a = add i32 %x, %y
  %c = icmp ult i32 %y, %notx
  %r = select i1 %c, i32 %a, i32 -1
  =>
  %a = add i32 %x, %y
  %c2 = icmp ugt i32 %y, %a
  %r = select i1 %c2, i32 -1, i32 %a

https://rise4fun.com/Alive/nTp

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@354393 91177308-0d34-0410-b5e6-96231b3b80d8

2019-02-19 22:14:21 +00:00

AggressiveInstCombine

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

Coroutines

[opaque pointer types] Pass value type to LoadInst creation.

2019-02-01 20:44:24 +00:00

Hello

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

InstCombine

[InstCombine] reduce even more unsigned saturated add with 'not' op