llvm-project/llvm/include/llvm
Dorit Nuzman d57d73daed [LV] fold-tail predication should be respected even with assume_safety
assume_safety implies that loads under "if's" can be safely executed
speculatively (unguarded, unmasked). However this assumption holds only for the
original user "if's", not those introduced by the compiler, such as the
fold-tail "if" that guards us from loading beyond the original loop trip-count.
Currently the combination of fold-tail and assume-safety pragmas results in
ignoring the fold-tail predicate that guards the loads, generating unmasked
loads. This patch fixes this behavior.

Differential Revision: https://reviews.llvm.org/D66106

Reviewers: Ayal, hsaito, fhahn
llvm-svn: 368973
2019-08-15 07:12:14 +00:00
..
ADT Remove LVALUE / RVALUE workarounds 2019-08-14 22:48:12 +00:00
Analysis [SCEV] Rename getMaxBackedgeTakenCount to getConstantMaxBackedgeTakenCount [NFC] 2019-08-14 21:58:13 +00:00
AsmParser Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
BinaryFormat [Dwarf] Complete the list of type tags. 2019-08-13 17:00:54 +00:00
Bitcode Reland: [Remarks] Add an LLVM-bitstream-based remark serializer 2019-07-31 00:13:51 +00:00
Bitstream [BitcodeReader] Use tighter upper bound to validate forward references. 2019-07-14 12:35:50 +00:00
CodeGen InferAddressSpaces: Move target intrinsic handling to TTI 2019-08-14 18:13:00 +00:00
Config Moved everything SMT-related to LLVM and updated the cmake scripts. 2019-03-25 17:47:45 +00:00
DebugInfo [llvm-objdump] Add warning messages if disassembly + source for problematic inputs 2019-08-15 05:15:22 +00:00
Demangle Remove support for unsupported MSVC versions 2019-08-02 23:09:01 +00:00
ExecutionEngine [ORC] Refactor definition-generation, add a generator for static libraries. 2019-08-13 16:05:18 +00:00
FuzzMutate Fix misspelled filenames in file headers 2019-02-07 14:38:25 +00:00
IR Fix cppcheck + MSVC analyzer uninitialized member variable warning. NFCI. 2019-08-14 16:55:34 +00:00
IRReader [IRReader] Expose getLazyIRModule 2019-02-11 22:01:13 +00:00
LTO [Remarks] Extend -fsave-optimization-record to specify the format 2019-06-17 16:06:00 +00:00
LineEditor Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
Linker Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
MC [NFC][AIX] Use assert instead of llvm_unreachable 2019-08-13 17:04:51 +00:00
MCA [MCA] Fix MSVC 19.16 build with libc++ 2019-08-09 12:41:24 +00:00
Object Recommit r368812 "[llvm/Object] - Convert SectionRef::getName() to return Expected<>" 2019-08-14 11:10:11 +00:00
ObjectYAML [Dwarf] Complete the list of type tags. 2019-08-13 17:00:54 +00:00
Option Let unaliased Args track which Alias they were created from, and use that in Arg::getAsString() for diagnostics 2019-07-09 00:34:08 +00:00
Passes [PGO] Add PGO support at -O0 in the experimental new pass manager 2019-08-01 22:36:34 +00:00
ProfileData [llvm-profdata] Profile dump for compact binary format 2019-08-13 17:56:08 +00:00
Remarks Reland: [Remarks] Add an LLVM-bitstream-based remark serializer 2019-07-31 00:13:51 +00:00
Support Remove LVALUE / RVALUE workarounds 2019-08-14 22:48:12 +00:00
TableGen [TableGen] FieldInit: improve assertion message 2019-08-06 17:03:50 +00:00
Target GlobalISel: Change representation of shuffle masks 2019-08-13 15:34:38 +00:00
Testing/Support [Testing] Move clangd::Annotations to llvm testing support 2019-04-25 10:08:31 +00:00
TextAPI [TextAPI] Fix off-by-one error in the bit index extraction loop 2019-04-05 12:58:15 +00:00
ToolDrivers Share /machine: handling code with llvm-cvtres too 2019-06-12 11:32:43 +00:00
Transforms [LV] fold-tail predication should be respected even with assume_safety 2019-08-15 07:12:14 +00:00
WindowsManifest Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
WindowsResource Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
XRay Switch LLVM to use 64-bit offsets (2/5) 2019-08-06 10:49:40 +00:00
CMakeLists.txt
InitializePasses.h [GISel]: Add GISelKnownBits analysis 2019-08-06 17:18:29 +00:00
LinkAllIR.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
LinkAllPasses.h [CodeGen] Generic Hardware Loop Support 2019-06-07 07:35:30 +00:00
Pass.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
PassAnalysisSupport.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
PassInfo.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
PassRegistry.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
PassSupport.h Update the file headers across all of the LLVM projects in the monorepo 2019-01-19 08:50:56 +00:00
module.extern.modulemap [LLVM] Allow modulemap installation 2018-11-21 20:46:50 +00:00
module.install.modulemap [LLVM] Allow modulemap installation 2018-11-21 20:46:50 +00:00
module.modulemap [Attributor][modulemap] Revert r368064 but fix the build 2019-08-06 19:53:19 +00:00
module.modulemap.build