[PATCH] D60647: [InstCombine] Canonicalize (-X srem Y) to -(X srem Y)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri accepted this revision.
lebedev.ri added a comment.
This revision is now accepted and ready to land.

LGTM, thank you



================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp:1354
 
+  // -X srem Y --> -(X srem Y)
+  Value *X, *Y;
----------------
```
----------------------------------------
Optimization: tests
Precondition: true
  %o0 = sub nsw i8 0, %x
  %r = srem i8 %o0, %y
=>
  %n0 = srem i8 %x, %y
  %r = sub nsw i8 0, %n0

Done: 1
Optimization is correct!

```


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D60647/new/

https://reviews.llvm.org/D60647