History log of /llvm-project/llvm/lib/Analysis/StackSafetyAnalysis.cpp (Results 76 – 100 of 113)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
# 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


12345