llvm-project/llvm/test/Instrumentation/AddressSanitizer
Philip Reames de71056a7d [ASAN] Initial support memory checks on scalable vector typed allocas
This patch adjusts the memory instrumentation to account for scalable vector types in allocas. Note that we don't allow scalable vector globals, so we don't need to update that codepath.

A couple points.

First, this simply disables the optimization for scalable allocas. We can revisit this in the future, but it requires a bit of plumbing to get scalable object sizes through the visitor to be useful.

Second, I am simply disabling stack poisoning for scalable vector allocas. This is mostly for staging the change as I can't write a working test for memory instrumentation without doing so. I don't think it's unreasonable to do on it's own basis as without the bailout, we crash the compiler.

Differential Revision: https://reviews.llvm.org/D145259
2023-03-15 07:59:42 -07:00
..
AMDGPU
X86
adaptive_global_redzones.ll
alloca-offset-lifetime.ll
asan_address_space_attr.ll
asan-detect-invalid-pointer-pair.ll
asan-disable-sanitizer-instrumentation.ll
asan-masked-load-store.ll
asan-optimize-callbacks.ll
asan-stack-safety.ll
asan-vs-gvn.ll
basic-msvc64.ll
basic.ll
byref-args.ll
byval-args.ll
calls-only.ll
debug_info_noninstrumented_alloca.ll
debug_info_noninstrumented_alloca2.ll
debug_info.ll
debug-info-alloca.ll
debug-info-global-var.ll
do-not-instrument-globals-darwin.ll
do-not-instrument-globals-linux.ll
do-not-instrument-internal-globals.ll
do-not-instrument-netbsd-link_set.ll
do-not-instrument-profiling-globals.ll
do-not-instrument-promotable-allocas.ll
do-not-instrument-sanitizers.ll
do-not-touch-comdat-global.ll
do-not-touch-odr-global.ll
do-not-touch-threadlocal.ll
dynamic-shadow-darwin.ll
experiment-call.ll
experiment.ll
fake-stack.ll
force-dynamic-shadow.ll
freebsd.ll
global_addrspace.ll
global_cstring_darwin.ll
global_lto_merge.ll
global_metadata_array.ll
global_metadata_bitcasts.ll
global_metadata_darwin.ll
global_metadata_external_comdat.ll
global_metadata_windows.ll
global_metadata.ll
global_with_comdat.ll
hoist-argument-init-insts.ll
instrument_global.ll
instrument_initializer_metadata.ll
instrument_load_then_store.ll
instrument-dynamic-allocas.ll
instrument-no-return.ll
instrument-section-invalid-c-ident.ll
instrument-stack.ll
instrumentation-with-call-threshold.ll
kcfi-offset.ll
kcfi.ll
keep_going.ll
lifetime-throw.ll
lifetime-uar-uas.ll
lifetime.ll
local_alias.ll
local_stack_base.ll
localescape.ll
mem-intrinsics.ll
module-flags.ll
musttail.ll
no_global_dtors.ll
no-global-ctors.ll
no-globals.ll
odr-check-ignore.ll
program-addrspace.ll
ps4.ll
scale-offset.ll
stack_dynamic_alloca.ll
stack_layout.ll
stack-poisoning-and-lifetime-be.ll
stack-poisoning-and-lifetime.ll
stack-poisoning-byval-args.ll
stack-poisoning.ll
str-nobuiltin.ll
test64.ll
twice.ll
ubsan.ll
vector-load-store.ll [ASAN] Initial support memory checks on scalable vector typed allocas 2023-03-15 07:59:42 -07:00
version-mismatch-check.ll
win-sorted-sections.ll
win-string-literal.ll
with-ifunc.ll