Displaying 2 results from an estimated 2 matches for "test6_mem2reg".
2003 Nov 10
0
[LLVMdev] Re: Alias Analysis Design & Implementation and LLVM
...o virtual registers (what people typically think of as scalars) to
generate an SSA representation. Any virtual register use satisfies the
SSA requirements that only one definition reaches that use.
llvmgcc test6.c -o test6.ll -S
llvm-as < test6.ll | opt -mem2reg -simplifycfg | llvm-dis >
test6_mem2reg.ll
In a sense llvm is doing a simple type of alias analysis when they do
a mem2reg pass using no other analyses. It appears that the
following memory references are assumed to possibly be aliased and
therefore are not treated as scalar variables (ie. they are always
loaded
and stored to memory)...
2003 Nov 06
2
[LLVMdev] Re: Alias Analysis Design & Implementation and LLVM
On Thu, 6 Nov 2003, Michelle Strout wrote:
> I think some clarifications and examples would be helpful.
No problem. :)
> - LLVM is in SSA. It is in SSA before alias analysis has been
> >>>> performed. With OA, it has been mentioned that the SSA generation
> >>>> is
> >>>> incorrect because it doesn't take alias analysis information into