1. [lldb][NFC] Remove wrong tests in TestCallOverriddenMethod (details)
  2. [CVP] After proving that @llvm.with.overflow()/@llvm.sat() don't (details)
Commit 5c28d49314c7bb84f08c9db3acd5ff64e1c4bc2d by Raphael Isemann
[lldb][NFC] Remove wrong tests in TestCallOverriddenMethod
We call these tests in the second test function where they are x-failed
on Windows. I forgot to remove the tests from the first test function
(which is not x-failed on Windows) when extracting these calls into
their own test function, so the test is still failing on Windows.
llvm-svn: 375271
The file was modifiedlldb/packages/Python/lldbsuite/test/commands/expression/call-overridden-method/
Commit 284b6d7f4da2260d996834fd1fabec461310bc96 by lebedev.ri
[CVP] After proving that @llvm.with.overflow()/@llvm.sat() don't
overflow, also try to prove other no-wrap
Summary: CVP, unlike InstCombine, does not run till exaustion. It only
does a single pass.
When dealing with those special binops, if we prove that they can safely
be demoted into their usual binop form, we do set the no-wrap we
deduced. But when dealing with usual binops, we try to deduce both
So if we convert e.g. @llvm.uadd.with.overflow() to `add nuw`, we won't
attempt to check whether it can be `add nuw nsw`.
This patch proposes to call `processBinOp()` on newly-created binop,
which is identical to what we do for div/rem already.
Reviewers: nikic, spatel, reames
Reviewed By: nikic
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision:
llvm-svn: 375273
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/overflows.ll
The file was modifiedllvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp