Philip Reames f549176ad9 [funcattrs] Add the maximal set of implied attributes to definitions ... Have funcattrs expand all implied attributes into the IR. This expands the infrastructure from D100400, but for definitions not declarations this time. Somewhat subtly, this mostly isn't semantic. Because the accessors did the inference, any client which used the accessor was already getting the stronger result. Clients that directly checked presence of attributes (there are some), will see a stronger result now. The old behavior can end up quite confusing for two reasons: * Without this change, we have situations where function-attrs appears to fail when inferring an attribute (as seen by a human reading IR), but that consuming code will see that it should have been implied. As a human trying to sanity check test results and study IR for optimization possibilities, this is exceeding error prone and confusing. (I'll note that I wasted several hours recently because of this.) * We can have transforms which trigger without the IR appearing (on inspection) to meet the preconditions. This change doesn't prevent this from happening (as the accessors still involve multiple checks), but it should make it less frequent. I'd argue in favor of deleting the extra checks out of the accessors after this lands, but I want that in it's own review as a) it's purely stylistic, and b) I already know there's some disagreement. Once this lands, I'm also going to do a cleanup change which will delete some now redundant duplicate predicates in the inference code, but again, that deserves to be a change of it's own. Differential Revision: https://reviews.llvm.org/D100226		2021-04-16 14:22:19 -07:00
..
2011-04-15-vec-init-from-vec.cl	…
addr-space-struct-arg.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
address-space-constant-initializers.cl	…
address-spaces-conversions.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
address-spaces-mangling.cl	…
address-spaces.cl	[OpenCL] Add global_device and global_host address spaces	2020-07-29 17:24:53 +03:00
amdgcn-automatic-variable.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgcn-flat-scratch-name.cl	…
amdgcn-large-globals.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-abi-struct-coerce.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-alignment.cl	…
amdgpu-attrs.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-call-kernel.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-calling-conv.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-debug-info-pointer-address-space.cl	Fix lit test failure due to 0b81d9	2020-12-07 19:50:21 -05:00
amdgpu-debug-info-variable-expression.cl	Fix lit test failure due to 0b81d9	2020-12-07 19:50:21 -05:00
amdgpu-enqueue-kernel.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
amdgpu-env-amdgcn.cl	[AMDGPU] Set the default globals address space to 1	2020-11-20 15:46:53 +00:00
amdgpu-features.cl	[AMDGPU] Split dot2-insts feature	2021-03-17 09:42:21 +00:00
amdgpu-nullptr.cl	Reland "[Libcalls, Attrs] Annotate libcalls with noundef"	2021-02-20 06:18:48 +01:00
amdgpu-sizeof-alignof.cl	…
arm-integer-dot-product.cl	[OpenCL] Use -fdeclare-opencl-builtins for some tests	2021-03-22 09:46:28 +00:00
as_type.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
atomic-ops-libcall.cl	…
atomic-ops.cl	Let clang atomic builtins fetch add/sub support floating point types	2021-04-06 15:44:00 -04:00
backend-unsupported-warning.ll	Fix test without built AMDGPU	2020-04-27 13:32:00 -04:00
blocks.cl	[OpenCL] Reject block arguments	2020-06-29 14:13:12 +01:00
bool_cast.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
builtins-amdgcn-ci.cl	[AMDGPU] require s-memtime-inst for __builtin_amdgcn_s_memtime	2021-02-25 08:31:59 -08:00
builtins-amdgcn-dl-insts-err-clamp.cl	…
builtins-amdgcn-dl-insts-err.cl	[AMDGPU] Split dot2-insts feature	2021-03-17 09:42:21 +00:00
builtins-amdgcn-dl-insts.cl	…
builtins-amdgcn-gfx9.cl	[AMDGPU] require s-memtime-inst for __builtin_amdgcn_s_memtime	2021-02-25 08:31:59 -08:00
builtins-amdgcn-gfx10.cl	[AMDGPU] require s-memtime-inst for __builtin_amdgcn_s_memtime	2021-02-25 08:31:59 -08:00
builtins-amdgcn-interp.cl	…
builtins-amdgcn-mfma.cl	[AMDGPU] gfx90a support	2021-02-17 16:01:32 -08:00
builtins-amdgcn-vi.cl	[AMDGPU] require s-memtime-inst for __builtin_amdgcn_s_memtime	2021-02-25 08:31:59 -08:00
builtins-amdgcn.cl	Reapply "[InferAttributes] Materialize all infered attributes for declaration"" and follow on patches.	2021-04-14 16:38:07 -07:00
builtins-f16.cl	[test] Add {{.*}} to make tests immune to dso_local/dso_preemptable/(none) differences	2020-12-30 20:52:01 -08:00
builtins-generic-amdgcn.cl	…
builtins-r600.cl	…
builtins.cl	[OpenCL] Use -fdeclare-opencl-builtins for some tests	2021-03-22 09:46:28 +00:00
byval.cl	…
cast_image.cl	…
cl-strict-aliasing.cl	…
cl-uniform-wg-size.cl	…
cl20-device-side-enqueue.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
const-str-array-decay.cl	…
constant-addr-space-globals.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
convergent.cl	[funcattrs] Add the maximal set of implied attributes to definitions	2021-04-16 14:22:19 -07:00
enqueue-kernel-non-entry-block.cl	[Driver] Pass -gno-column-info instead of -dwarf-column-info	2020-07-05 11:50:38 -07:00
event_t.cl	…
ext-int-shift.cl	Reland Implement _ExtInt as an extended int type specifier.	2020-04-17 10:45:48 -07:00
ext-vector-shuffle.cl	…
extension-begin.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
fdeclare-opencl-builtins.cl	[OpenCL] Set calling convention for -fdeclare-opencl-builtins	2021-03-10 10:03:57 +00:00
fpmath.cl	[OpenCL, test] Fix use of undef FileCheck var	2021-04-05 21:11:39 +01:00
func-call-dbg-loc.cl	[Driver] Pass -gno-column-info instead of -dwarf-column-info	2020-07-05 11:50:38 -07:00
half.cl	…
images.cl	…
inline-asm-amdgcn.cl	[AMDGPU] Added support of new inline assembler constraints	2020-07-03 18:01:12 +03:00
intel-subgroups-avc-ext-types.cl	…
kernel-arg-info-single-as.cl	…
kernel-arg-info.cl	[OpenCL] Fix types with signed prefix in arginfo metadata.	2021-02-09 15:13:19 +00:00
kernel-attributes.cl	…
kernel-metadata.cl	…
kernels-have-spir-cc-by-default.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
lifetime.cl	…
local-initializer-undef.cl	…
local.cl	…
logical-ops.cl	…
memcpy.cl	…
no-half.cl	…
no-signed-zeros.cl	Reduce the number of attributes attached to each function	2021-02-16 16:19:54 +01:00
norecurse.cl	[OpenCL][CUDA][HIP][SYCL] Add norecurse	2020-02-16 20:41:00 -05:00
null_queue.cl	…
numbered-address-space.cl	…
opencl_types.cl	…
overload.cl	…
partial_initializer.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
pipe_builtin.cl	…
pipe_types.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
pipe_types_mangling.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
preserve_vec3.cl	Use unary CreateShuffleVector if possible	2020-12-30 22:36:08 +09:00
printf.cl	…
private-array-initialization.cl	…
ptx-calls.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
ptx-kernels.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
relaxed-fpmath.cl	Reduce the number of attributes attached to each function	2021-02-16 16:19:54 +01:00
sampler.cl	[OpenCL] Respect calling convention for builtin	2021-03-15 17:26:51 +00:00
shifts.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
single-precision-constant.cl	[clang] FastMathFlags.allowContract should be initialized only from FPFeatures.allowFPContractAcrossStatement	2020-05-20 06:19:10 -07:00
size_t.cl	[OpenCL] Use -fdeclare-opencl-builtins for some tests	2021-03-22 09:46:28 +00:00
spir-calling-conv.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
spir32_target.cl	…
spir64_target.cl	…
spir_version.cl	…
str_literals.cl	…
to_addr_builtin.cl	Create SPIRABIInfo to enable SPIR_FUNC calling convention.	2020-12-12 05:48:20 -08:00
unroll-hint.cl	…
vectorLoadStore.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
vector_literals.cl	[clang] Fix signedness in vector bitcast evaluation	2021-01-27 09:30:26 +00:00
vector_logops.cl	…
vector_odd.cl	…
vector_shufflevector.cl	[OpenCL][NFC] Improve OpenCL test file naming	2021-01-06 14:16:44 +00:00
visibility.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00
vla.cl	[test] Add {{.*}} to make ELF tests immune to dso_local/dso_preemptable/(none) differences	2020-12-31 00:27:11 -08:00