1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
llvm-mirror/lib
Juneyoung Lee 3e94a07500 [ValueTracking] Add with.overflow intrinsics to poison analysis functions
This is a patch teaching ValueTracking that `s/u*.with.overflow` intrinsics do not
create undef/poison and they propagate poison.
I couldn't write a nice example like the one with ctpop; ValueTrackingTest.cpp were simply updated
to check these instead.
This patch helps reducing regression while fixing https://llvm.org/pr49688 .

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D99671
2021-04-01 02:41:38 +09:00
..
Analysis [ValueTracking] Add with.overflow intrinsics to poison analysis functions 2021-04-01 02:41:38 +09:00
AsmParser [DebugInfo] Upgrade DISubragne::count to accept DIExpression also 2021-03-30 09:16:55 +05:30
BinaryFormat [NFC] Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 09:47:49 -04:00
Bitcode Reapply "OpaquePtr: Turn inalloca into a type attribute" 2021-03-29 08:55:30 -04:00
Bitstream
CodeGen [GlobalISel] Fix Wint-in-bool-context warning (NFC) 2021-03-31 09:59:43 +08:00
DebugInfo [NFC] Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 09:47:49 -04:00
Demangle
DWARFLinker [dsymutil] Relocate DW_TAG_label 2021-03-29 15:45:48 -07:00
ExecutionEngine [JITLink] Switch from StringRef to ArrayRef<char>, add some generic x86-64 utils 2021-03-30 21:07:24 -07:00
Extensions
FileCheck [FileCheck] Fix PR49531: invalid use of string var 2021-03-24 18:49:58 +00:00
Frontend [OpenMP] Change OMPIRBuilder to append function attributes 2021-03-24 09:08:29 -04:00
Fuzzer
FuzzMutate [NFC] Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 09:47:49 -04:00
InterfaceStub [elfabi] Fix a bug when .dynsym contains no non-local symbol 2021-02-19 11:36:53 -08:00
IR [StructLayout] Use TrailingObjects to allocate space for MemberOffsets. 2021-03-30 17:36:50 -07:00
IRReader [NFC] Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 09:47:49 -04:00
LineEditor
Linker Reapply "OpaquePtr: Turn inalloca into a type attribute" 2021-03-29 08:55:30 -04:00
LTO [LTO][Legacy] Decouple option parsing from LTOCodeGenerator 2021-03-31 16:43:26 +00:00
MC AMDGPU: Add target id and code object v4 support 2021-03-24 11:54:05 -04:00
MCA [MCA] Support carry-over instructions for in-order processors 2021-03-26 00:06:19 +03:00
Object [WebAssembly] Encode numbers in ULEB128 in event section 2021-03-30 16:21:58 -07:00
ObjectYAML AMDGPU: Add target id and code object v4 support 2021-03-24 11:54:05 -04:00
Option [clang][cli] NFC: Remove ArgList infrastructure for recording queries 2021-02-25 13:53:24 +01:00
Passes Revert "[Passes] Add relative lookup table converter pass" 2021-03-30 14:13:37 +02:00
ProfileData Fix: Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 11:55:57 -04:00
Remarks Add intrinsics_gen as a dependency of libRemarks 2021-03-08 14:17:27 -08:00
Support [Triple][Driver] Add muslx32 environment and use /lib/ld-musl-x32.so.1 for -dynamic-linker 2021-03-25 16:25:47 -07:00
TableGen [TableGen] Add support for the 'assert' statement in class definitions. 2021-03-29 09:20:29 -04:00
Target [X86] Improve SMULO/UMULO codegen for vXi8 vectors. 2021-03-31 10:13:50 -07:00
Testing
TextAPI [lld-macho] Change loadReexport to handle the case where a TAPI re-exports to reference documents nested within other TBD. 2021-03-02 12:14:31 -05:00
ToolDrivers [NFC] Reordering parameters in getFile and getFileOrSTDIN 2021-03-25 09:47:49 -04:00
Transforms [InstCombine] fold abs(srem X, 2) 2021-03-31 11:29:20 -04:00
WindowsManifest
XRay
CMakeLists.txt