John Regehr 21e89f9cec [LVI] run transfer function for binary operator even when the RHS isn't a constant ...

LVI was symbolically executing binary operators only when the RHS was
constant, missing the case where we have a ConstantRange for the RHS,
but not an actual constant. Tested using check-all and by
bootstrapping. Compile time is not impacted measurably.

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@347379 91177308-0d34-0410-b5e6-96231b3b80d8

2018-11-21 05:24:12 +00:00

..

Analysis

[LVI] run transfer function for binary operator even when the RHS isn't a constant

2018-11-21 05:24:12 +00:00

AsmParser

[DebugInfo] DISubprogram flags get their own flags word. NFC.

2018-11-19 18:29:28 +00:00

BinaryFormat

[BinaryFormat] Add MsgPackTypes

2018-11-15 18:50:01 +00:00

Bitcode

[DebugInfo] DISubprogram flags get their own flags word. NFC.

2018-11-19 18:29:28 +00:00

CodeGen

[DAGCombiner] look through bitcasts when trying to narrow vector binops

2018-11-20 22:26:35 +00:00

DebugInfo

[CodeView] Add support for ref-qualified member functions.

2018-11-20 22:13:43 +00:00

Demangle

[MS Demangler] Print public:, protected:, private: if set in FunctionClass or a variable's StorageClass.

2018-11-13 20:18:26 +00:00

ExecutionEngine

[ExecutionEngine][Interpreter] Fix out-of-bounds array access.

2018-11-20 01:01:26 +00:00

Fuzzer

[libFuzzer] Delete llvm/lib/Fuzzer

2017-10-16 20:48:19 +00:00

FuzzMutate

[New PM] Introducing PassInstrumentation framework

2018-09-20 17:08:45 +00:00

IR

[IR] Add hasNPredecessors, hasNPredecessorsOrMore to BasicBlock

2018-11-19 19:54:27 +00:00

IRReader

LLParser: add an argument for overriding data layout and do not check alloca addr space

2018-01-30 22:32:39 +00:00

LineEditor

…

Linker

[ThinLTO] Internalize readonly globals

2018-11-16 07:08:00 +00:00

LTO

[ThinLTO] Internalize readonly globals

2018-11-16 07:08:00 +00:00

MC

[WebAssembly] Remove unused function return types (NFC)

2018-11-20 00:38:10 +00:00

Object

Use llvm::copy. NFC

2018-11-17 01:44:25 +00:00

ObjectYAML

[WebAssembly] Add support for dylink section in object format

2018-11-14 18:36:24 +00:00

Option

[opt] Change the parameter of OptTable::PrintHelp from Name to Usage and don't append "[options] <inputs>"

2018-10-10 00:15:31 +00:00

OptRemarks

Reland: [OptRemarks] Add library for parsing optimization remarks

2018-10-10 18:43:42 +00:00

Passes

[LTO] Load sample profile in LTO link step.

2018-11-15 18:06:42 +00:00

ProfileData

Support for remapping profile data when symbols change, for sample-based

2018-10-10 21:31:01 +00:00

Support

[APInt] Add methods for saturated add and sub

2018-11-20 16:47:59 +00:00

TableGen

Reverted r347092 due to the following build fails:

2018-11-17 02:26:34 +00:00

Target

[PowerPC] Do not use vectors to codegen bswap with Altivec turned off

2018-11-21 02:53:50 +00:00

Testing

Fix error with SmallString implicit conversion.

2018-09-06 22:47:32 +00:00

ToolDrivers

[opt] Change the parameter of OptTable::PrintHelp from Name to Usage and don't append "[options] <inputs>"

2018-10-10 00:15:31 +00:00

Transforms

[LoopSink] Add preheader to alias set

2018-11-20 16:49:07 +00:00

WindowsManifest

Convert line endings of lib/WindowsManifest/CMakeLists.txt to unix.

2018-04-07 04:28:08 +00:00

XRay

[XRay] Improve FDR trace handling and error messaging

2018-11-09 06:26:48 +00:00

CMakeLists.txt

Reland: [OptRemarks] Add library for parsing optimization remarks

2018-10-10 18:43:42 +00:00

LLVMBuild.txt

Reland: [OptRemarks] Add library for parsing optimization remarks

2018-10-10 18:43:42 +00:00