Diffusion LLVM Github Monorepo 8ee410c75ec4

[Attributor][MemBehavior] Fallback to the function state for arguments
8ee410c75ec4
Actions

Authored by jdoerfert on Sun, Oct 13, 1:47 PM.

Description

[Attributor][MemBehavior] Fallback to the function state for arguments

Even if an argument is captured, we cannot have an effect the function
does not have. This is fine except for the special case of inalloca as
it does not behave by the rules.

TODO: Maybe the special rule for inalloca is wrong after all.
llvm-svn: 374736

Details

Committed

jdoerfert

Sun, Oct 13, 1:47 PM

Parents

rGdb6efb017f24: [Attributor][FIX] Use check prefix that is actually tested

Branches

Unknown

Tags

Unknown

Event Timeline

jdoerfert committed rG8ee410c75ec4: [Attributor][MemBehavior] Fallback to the function state for arguments (authored by jdoerfert).Sun, Oct 13, 1:47 PM

Changes (5)

				Path	Packages
	M			llvm/include/llvm/Transforms/IPO/Attributor.h
	M			llvm/lib/Transforms/IPO/Attributor.cpp
	M			llvm/test/Transforms/FunctionAttrs/nocapture.ll
	M			llvm/test/Transforms/FunctionAttrs/nonnull.ll
	M			llvm/test/Transforms/FunctionAttrs/readattrs.ll