#
0e6628d3 |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Lazy calculations
We are going to convert this into pure analysis, so processing will be delayed up to the first safety request.
|
#
2622cfbc |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC,StackSafety] Move internal offset calculation
|
#
892c71a5 |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Don't run datafow on allocas
We need to process only parameters. Allocas access can be calculated afterwards. Also don't create fake function for aliases and just resolve them on initi
[StackSafety] Don't run datafow on allocas
We need to process only parameters. Allocas access can be calculated afterwards. Also don't create fake function for aliases and just resolve them on initialization.
show more ...
|
#
2f430f7a |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Remove SetMetadata parameter
|
#
12cd4a51 |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC,StackSafety] Add StackSafetyGlobalInfo class
|
#
a70edc2b |
| 28-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC,StackSafety] Cleanup alloca size calculation
|
#
804a39a2 |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC,StackSafety] Rename some variables
|
#
14f33575 |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Bailout more aggressively Many edge cases, e.g. wrapped ranges, can be processed precisely without bailout. However it's very unlikely that memory access with min/max integer offsets wi
[StackSafety] Bailout more aggressively Many edge cases, e.g. wrapped ranges, can be processed precisely without bailout. However it's very unlikely that memory access with min/max integer offsets will be classified as safe anyway. Early bailout may help with ThinLTO where we can drop unsafe parameters from summaries.
show more ...
|
#
f6383643 |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Bailout on some function calls
Don't miss values used in calls outside regular argument list.
|
#
b101c625 |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Ignore some use of values
We should ignore value used in MemTransferInst as other then src/dst argument.
|
#
32a1f60d |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Use SCEV to find mem operation length
|
#
d0f1f5ad |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Use getSignedRange for offsets
|
#
b5ae7004 |
| 27-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[StackSafety] Simplify SCEVRewriteVisitor
Probably NFC.
|
#
4320d4aa |
| 26-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC, StackSafety] Add some missing includes
|
#
5afef79f |
| 26-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC, StackSafety] Remove duplicate code
|
#
f20ace6f |
| 26-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC, StackSafety] Better names for internal stuff
Remove const from some parameters as upcoming changes in ScalarEvolution calls will need non const pointers.
|
#
9abb0e8d |
| 24-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC, StackSafety] Remove unnecessary data
|
#
ecb66f50 |
| 24-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC, StackSafety] Move FunctionInfo into :: namespace
|
Revision tags: llvmorg-10.0.1-rc1 |
|
#
6512cc77 |
| 15-May-2020 |
Vitaly Buka <vitalybuka@google.com> |
[NFC,StackSafety] Rename local function
|
#
a58b62b4 |
| 28-Apr-2020 |
Craig Topper <craig.topper@gmail.com> |
[IR] Replace all uses of CallBase::getCalledValue() with getCalledOperand().
This method has been commented as deprecated for a while. Remove it and replace all uses with the equivalent getCalledOpe
[IR] Replace all uses of CallBase::getCalledValue() with getCalledOperand().
This method has been commented as deprecated for a while. Remove it and replace all uses with the equivalent getCalledOperand().
I also made a few cleanups in here. For example, to removes use of getElementType on a pointer when we could just use getFunctionType from the call.
Differential Revision: https://reviews.llvm.org/D78882
show more ...
|
#
2059a6e3 |
| 23-Apr-2020 |
Mircea Trofin <mtrofin@google.com> |
[llvm][NFC][CallSite] Remove ImmutableCallSite from a few locations
Reviewers: craig.topper, dblaikie
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.
[llvm][NFC][CallSite] Remove ImmutableCallSite from a few locations
Reviewers: craig.topper, dblaikie
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D78783
show more ...
|
Revision tags: llvmorg-10.0.0, llvmorg-10.0.0-rc6, llvmorg-10.0.0-rc5, llvmorg-10.0.0-rc4, llvmorg-10.0.0-rc3 |
|
#
2a3723ef |
| 27-Feb-2020 |
Evgenii Stepanov <eugenis@google.com> |
[memtag] Plug in stack safety analysis.
Summary: Run StackSafetyAnalysis at the end of the IR pipeline and annotate proven safe allocas with !stack-safe metadata. Do not instrument such allocas in t
[memtag] Plug in stack safety analysis.
Summary: Run StackSafetyAnalysis at the end of the IR pipeline and annotate proven safe allocas with !stack-safe metadata. Do not instrument such allocas in the AArch64StackTagging pass.
Reviewers: pcc, vitalybuka, ostannard
Reviewed By: vitalybuka
Subscribers: merge_guards_bot, kristof.beyls, hiraditya, cfe-commits, gilang, llvm-commits
Tags: #clang, #llvm
Differential Revision: https://reviews.llvm.org/D73513
show more ...
|
Revision tags: llvmorg-10.0.0-rc2, llvmorg-10.0.0-rc1 |
|
#
34ab5690 |
| 25-Jan-2020 |
Evgenii Stepanov <eugenis@google.com> |
Support zero size types in StackSafetyAnalysis.
Reviewers: vitalybuka
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D73395
|
#
c3b80adc |
| 25-Jan-2020 |
Evgenii Stepanov <eugenis@google.com> |
Fix StackSafetyAnalysis crash with scalable vector types.
Summary: Treat scalable allocas as if they have storage size of 0, and scalable-typed memory accesses as if their range is unlimited.
This
Fix StackSafetyAnalysis crash with scalable vector types.
Summary: Treat scalable allocas as if they have storage size of 0, and scalable-typed memory accesses as if their range is unlimited.
This is not a proper support of scalable vector types in the analysis - we can do better, but not today.
Reviewers: vitalybuka
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D73394
show more ...
|
Revision tags: llvmorg-11-init, llvmorg-9.0.1, llvmorg-9.0.1-rc3, llvmorg-9.0.1-rc2, llvmorg-9.0.1-rc1 |
|
#
4c1a1d3c |
| 14-Nov-2019 |
Reid Kleckner <rnk@google.com> |
Add missing includes needed to prune LLVMContext.h include, NFC
These are a pre-requisite to removing #include "llvm/Support/Options.h" from LLVMContext.h: https://reviews.llvm.org/D70280
|