Go to file
Hal Finkel a3f23e3725 [LVI] Check for @llvm.assume dominating the edge branch
When LazyValueInfo uses @llvm.assume intrinsics to provide edge-value
constraints, we should check for intrinsics that dominate the edge's branch,
not just any potential context instructions. An assumption that dominates the
edge's branch represents a truth on that edge. This is specifically useful, for
example, if multiple predecessors assume a pointer to be nonnull, allowing us
to simplify a later null comparison.

The test case, and an initial patch, were provided by Philip Reames. Thanks!

llvm-svn: 219688
2014-10-14 16:04:49 +00:00
clang [SystemZ] Add test case to verify default use of integrated assembler 2014-10-14 11:45:53 +00:00
clang-tools-extra [clang-tidy] misc-braces-around-statements.ShortStatementLines option 2014-10-13 12:46:22 +00:00
compiler-rt [sanitizer] Fix a crash in FP unwinder on ARM. 2014-10-14 13:46:07 +00:00
debuginfo-tests cleanup comments and remove an obsolete workaround 2014-10-13 18:04:10 +00:00
libclc Implement log1p builtin 2014-10-07 20:22:42 +00:00
libcxx Fix for PR 19616: 'tuple_cat of nested tuples fails in noexcept specification'. Thanks to Louis Dionne for the fix. 2014-10-07 21:42:12 +00:00
libcxxabi Correctly export _Unwind_[GS]et(GR|IP) for EHABI. 2014-10-13 21:01:30 +00:00
lld [mach-o] Add Pass to create are shim Atoms for ARM interworking. 2014-10-14 01:51:42 +00:00
lldb Use PARALLEL_DIRS instead of DIRS in the Makefile 2014-10-14 06:26:33 +00:00
llvm [LVI] Check for @llvm.assume dominating the edge branch 2014-10-14 16:04:49 +00:00
openmp I apologise in advance for the size of this check-in. At Intel we do 2014-10-07 16:25:50 +00:00
polly [Refactor][NfC] Simplify and clean the handling of (new) access relations 2014-10-13 12:58:03 +00:00