Displaying 6 results from an estimated 6 matches for "stmt3".
Did you mean:
stmt
2013 Mar 21
2
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
...too much memory to allocate for all BitVectors.)
For STMT1, the MayDef={ALL_MEMORY}, MayUse={}
For STMT2, the MayDef={ALL_MEMORY}, MayUse={'a'}
---------------------
e.g2:
extern int A[100];
int * q;
void f2(int * p)
{
*p = 0; //STMT1
p = &A; //STMT2
p[0] = *q; //STMT3
bar(); //STMT4
}
In e.g2,
for STMT1, the MayDef={ALL_MEMORY}, MayUse={}
for STMT2, p->A, so the MayDef={'p'}, MayUse={}
for STMT3, the MayDef={'A'}, MayUse={ALL_MEMORY}
for STMT4, the MayDef={ALL_MEMORY}, MayUse={ALL_MEMORY}
Is that right? Or there are another...
2013 Mar 21
0
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
...the MayDef={ALL_MEMORY}, MayUse={'a'}
> ---------------------
> e.g2:
> extern int A[100];
> int * q;
> void f2(int * p)
> {
> *p = 0; //STMT1
> p = &A; //STMT2
> p[0] = *q; //STMT3
> bar(); //STMT4
> }
> In e.g2,
> for STMT1, the MayDef={ALL_MEMORY}, MayUse={}
> for STMT2, p->A, so the MayDef={'p'}, MayUse={}
> for STMT3, the MayDef={'A'}, MayUse={ALL_MEMORY}
> for STMT4, the M...
2013 Mar 21
2
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
...---------------------
> > e.g2:
> > extern int
> A[100];
> > int * q;
> > void f2(int * p)
> > {
> > *p
> = 0; //STMT1
> > p =
> &A; //STMT2
> >
> p[0] = *q; //STMT3
> >
> bar(); //STMT4
> > }
> > In e.g2,
> > for STMT1, the
> MayDef={ALL_MEMORY}, MayUse={}
> > for STMT2,
> p->A, so the MayDef={'p'}, MayUse={}
> > for STMT3, the
> MayDef={'A'},...
2013 Mar 22
0
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
...e.g2:
>> > extern int
>> A[100];
>> > int * q;
>> > void f2(int * p)
>> > {
>> > *p
>> = 0; //STMT1
>> > p =
>> &A; //STMT2
>> >
>> p[0] = *q; //STMT3
>> >
>> bar(); //STMT4
>> > }
>> > In e.g2,
>> > for STMT1, the
>> MayDef={ALL_MEMORY}, MayUse={}
>> > for STMT2,
>> p->A, so the MayDef={'p'}, MayUse={}
>> > for STMT3, the...
2013 Mar 13
0
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
On 3/13/13 4:06 AM, Steven Su wrote:
> Hello, could any one point me following question.
Without any context, your question is difficult to answer. Are you
building a points-to analysis and wanting to know how an alias analysis
might encode the fact that a pointer could alias any other pointer?
-- John T.
>
> e.g:
> void foo(int * p)
> {
> *p = 0;
> }
>
2013 Mar 13
2
[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?
Hello, could any one point me following question.
e.g:
void foo(int * p)
{
*p = 0;
}
Here 'p' may point to all memory location.
Could you tell me how to represent the POINT TO set of 'p'?
Here is my solution:
Introduce a memory-class named: Global_Mem, then p pointed to global_mem.
And the MOD set of '*p=0' is