Displaying 5 results from an estimated 5 matches for "aaevalpass".
2009 Nov 06
2
[LLVMdev] Functions: sret and readnone
...be wrong to remove the call to
sample because it might write to a global variable.
> As you can see, the call to the sample function is still present,
> although the actual value it is supposed to return via its sret
> parameter is never used.
Quite right too, see above.
> Using the AAEvalPass I found out that the alias analysis pass I
> implemented seems to work alright (it reports mod for %5):
>
> ===== Alias Analysis Evaluator Report =====
> 3 Total Alias Queries Performed
> 3 no alias responses (100.0%)
> 0 may alias responses (0.0%)
> 0 must alias respo...
2009 Nov 06
0
[LLVMdev] Functions: sret and readnone
...work out
> that sample does not modify any global state. This cannot be done without
> knowing the definition of sample, but you only provide a declaration.
Which is why I am trying to supply this additional information in a
custom alias analysis pass, but it doesn't seem to work. (The
AAEvalPass stats are precisely for this custom pass.)
Could you take a look at the code, please? Am I missing something
here?
class VISIBILITY_HIDDEN MySretAliasAnalysis : public FunctionPass,
public AliasAnalysis
{
std::map<std::string, bool> _srets;
public:
static char ID;
MySretAliasAnalysis(...
2009 Nov 05
0
[LLVMdev] Functions: sret and readnone
...float]* %0
ret void
}
declare void @"sample$int$float2"([4 x float]* noalias nocapture sret,
i32, [2 x float]) nounwind
As you can see, the call to the sample function is still present,
although the actual value it is supposed to return via its sret
parameter is never used.
Using the AAEvalPass I found out that the alias analysis pass I
implemented seems to work alright (it reports mod for %5):
===== Alias Analysis Evaluator Report =====
3 Total Alias Queries Performed
3 no alias responses (100.0%)
0 may alias responses (0.0%)
0 must alias responses (0.0%)
Alias Analysis Evalua...
2009 Oct 06
2
[LLVMdev] Functions: sret and readnone
On 5 Okt., 23:33, Dan Gohman <goh... at apple.com> wrote:
>
> Is there a reason it needs to be an array? A vector of four floats
> wouldn't have this problem, if that's an option.
>
Unfortunately that's not an option. At the moment I'm restricting
myself to the use of scalar code only, in order to be able to
vectorize the code easily later (e.g., float4 as it is
2009 Nov 06
1
[LLVMdev] Functions: sret and readnone
...le does not modify any global state. This cannot be done without
>> knowing the definition of sample, but you only provide a declaration.
>
> Which is why I am trying to supply this additional information in a
> custom alias analysis pass, but it doesn't seem to work. (The
> AAEvalPass stats are precisely for this custom pass.)
>
> Could you take a look at the code, please? Am I missing something
> here?
I think this cannot possibly work. Imagine that I am a pass trying to
determine if the function call modifies global state. What would I have
to do? I would have to...