Displaying 6 results from an estimated 6 matches for "provenanceanalysis".
2017 Jul 16
4
PartialAlias: different start addresses
...if (LocA.Ptr == LocB.Ptr)
> >> return LocA.Size == LocB.Size ? MustAlias : PartialAlias;
> >>
> >>
> >> I grepped for clients of MustAlias:
> >> ~/llvm/lib/Transforms $ grep -Rl MustAlias .
> >> ./ObjCARC/ObjCARCOpts.cpp
> >> ./ObjCARC/ProvenanceAnalysis.cpp
> >> ./Scalar/DeadStoreElimination.cpp
> >> ./Scalar/GVN.cpp
> >> ./Scalar/LICM.cpp
> >> ./Scalar/LoopVersioningLICM.cpp
> >> ./Scalar/MemCpyOptimizer.cpp
> >> ./Scalar/MergedLoadStoreMotion.cpp
> >> ./Scalar/NewGVN.cpp
> >>...
2017 Jul 15
2
PartialAlias: different start addresses
...e CFL AAs have this code:
>> if (LocA.Ptr == LocB.Ptr)
>> return LocA.Size == LocB.Size ? MustAlias : PartialAlias;
>>
>>
>> I grepped for clients of MustAlias:
>> ~/llvm/lib/Transforms $ grep -Rl MustAlias .
>> ./ObjCARC/ObjCARCOpts.cpp
>> ./ObjCARC/ProvenanceAnalysis.cpp
>> ./Scalar/DeadStoreElimination.cpp
>> ./Scalar/GVN.cpp
>> ./Scalar/LICM.cpp
>> ./Scalar/LoopVersioningLICM.cpp
>> ./Scalar/MemCpyOptimizer.cpp
>> ./Scalar/MergedLoadStoreMotion.cpp
>> ./Scalar/NewGVN.cpp
>> ./Utils/VNCoercion.cpp
>>
>&g...
2017 Jul 15
2
PartialAlias: different start addresses
...ompiles, IIRC, maybe you just found out why ;)
It's true that the CFL AAs have this code:
if (LocA.Ptr == LocB.Ptr)
return LocA.Size == LocB.Size ? MustAlias : PartialAlias;
I grepped for clients of MustAlias:
~/llvm/lib/Transforms $ grep -Rl MustAlias .
./ObjCARC/ObjCARCOpts.cpp
./ObjCARC/ProvenanceAnalysis.cpp
./Scalar/DeadStoreElimination.cpp
./Scalar/GVN.cpp
./Scalar/LICM.cpp
./Scalar/LoopVersioningLICM.cpp
./Scalar/MemCpyOptimizer.cpp
./Scalar/MergedLoadStoreMotion.cpp
./Scalar/NewGVN.cpp
./Utils/VNCoercion.cpp
I glanced over all the uses in these files and I couldn't find any usage
that req...
2017 Jul 16
2
PartialAlias: different start addresses
...eturn LocA.Size == LocB.Size ? MustAlias : PartialAlias;
>>>>>
>>>>>
>>>>> I grepped for clients of MustAlias:
>>>>> ~/llvm/lib/Transforms $ grep -Rl MustAlias .
>>>>> ./ObjCARC/ObjCARCOpts.cpp
>>>>> ./ObjCARC/ProvenanceAnalysis.cpp
>>>>> ./Scalar/DeadStoreElimination.cpp
>>>>> ./Scalar/GVN.cpp
>>>>> ./Scalar/LICM.cpp
>>>>> ./Scalar/LoopVersioningLICM.cpp
>>>>> ./Scalar/MemCpyOptimizer.cpp
>>>>> ./Scalar/MergedLoadStoreMotion.cpp
>...
2017 Jul 14
2
PartialAlias: different start addresses
Thank you all for your replies.
So here seems to be an agreement that the documentation for PartialAlias is
incorrect.
Daniel: now you got me wondering about MustAlias. This is what the docs say:
"The MustAlias response may only be returned if the two memory objects are
*guaranteed to always start at exactly the same location*"
This statement is regardless of the access sizes. For
2015 Jul 29
1
[LLVMdev] Error when i am using command make -j4 command in cygwin to compile safecode
...pp for Release+Asserts build
llvm[3]: Compiling LowerBitSets.cpp for Release+Asserts build
llvm[2]: Compiling IfConversion.cpp for Release+Asserts build
llvm[3]: Compiling Vectorize.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMVectorize.a
llvm[3]: Compiling ProvenanceAnalysis.cpp for Release+Asserts build
make[3]: Leaving directory '/home/NIKHILREDDY/WORK/LLVM_OBJ/lib/Transforms/Vectorize'
make[2]: Entering directory '/home/NIKHILREDDY/WORK/LLVM_OBJ/lib/LTO'
llvm[3]: Compiling MergeFunctions.cpp for Release+Asserts build
llvm[2]: Compiling LTOCodeGenerat...