Displaying 2 results from an estimated 2 matches for "test_alias".
Did you mean:
host_alias
2011 Oct 07
2
[LLVMdev] Aliasing confusion
...%ptr1
store float %val1a, float* %ptr2
%val1b = load float* %ptr1
ret float %val1b
}
define float @B(float * noalias %ptr1, float * noalias %ptr2) {
%val1a = load float* %ptr1
store float %val1a, float* %ptr2
%val1b = load float* %ptr1
ret float %val1b
}
When I throw this code into test_alias.ll and run:
opt test_alias.ll -basicaa -print-alias-sets > /dev/null
it tells me that in the first function, ptr1 and ptr2 may alias, and
in the second function they do not. The source of
BasicAliasAnalysis.cpp seems more than intelligent enough to detect
both of these cases as not aliasing....
2011 Oct 07
0
[LLVMdev] Aliasing confusion
...float* %ptr1
> ret float %val1b
> }
>
>
> define float @B(float * noalias %ptr1, float * noalias %ptr2) {
> %val1a = load float* %ptr1
> store float %val1a, float* %ptr2
> %val1b = load float* %ptr1
> ret float %val1b
> }
>
> When I throw this code into test_alias.ll and run:
>
> opt test_alias.ll -basicaa -print-alias-sets > /dev/null
>
> it tells me that in the first function, ptr1 and ptr2 may alias, and
> in the second function they do not. The source of
> BasicAliasAnalysis.cpp seems more than intelligent enough to detect
> both...