Displaying 10 results from an estimated 10 matches for "buildgraphfrom".
2015 Jan 30
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
I'm not exactly thrilled about the size of this diff -- I'll happily break
it up into more manageable bits later today, because some of it is test
fixes, another bit is a minor bug fix, etc.
Important bit (WRT ConstantExpr): moved the loop body from buildGraphFrom
into a new function. The body has a few tweaks to call constexprToEdges on
all ConstantExprs that we encounter. constexprToEdges, naturally,
interprets a ConstantExpr (and all nested ConstantExprs) and places the
results into a SmallVector<Edge>.
I'm assuming this method of handling Cons...
2015 Jan 30
0
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...e size of this diff -- I'll happily
> break it up into more manageable bits later today, because some of
> it is test fixes, another bit is a minor bug fix, etc.
Yes, please break it into independent parts.
>
>
> Important bit (WRT ConstantExpr): moved the loop body from
> buildGraphFrom into a new function. The body has a few tweaks to
> call constexprToEdges on all ConstantExprs that we encounter.
> constexprToEdges, naturally, interprets a ConstantExpr (and all
> nested ConstantExprs) and places the results into a
> SmallVector<Edge>.
>
>
> I'm a...
2015 Jan 30
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...gt; > break it up into more manageable bits later today, because some of
> > it is test fixes, another bit is a minor bug fix, etc.
>
> Yes, please break it into independent parts.
>
> >
> >
> > Important bit (WRT ConstantExpr): moved the loop body from
> > buildGraphFrom into a new function. The body has a few tweaks to
> > call constexprToEdges on all ConstantExprs that we encounter.
> > constexprToEdges, naturally, interprets a ConstantExpr (and all
> > nested ConstantExprs) and places the results into a
> > SmallVector<Edge>.
> &...
2015 Jan 26
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...On Sun, Jan 25, 2015 at 6:37 PM, George Burgess IV <
> george.burgess.iv at gmail.com> wrote:
>
>> > Fixing that still gives a wrong result, i haven't started to track
>> down what *else* is going on here.
>>
>> Running with the attached diff + a modified buildGraphFrom to handle the
>> constexpr GEPs, we seem to flag everything in test2.ll (conservatively)
>> correctly.
>>
>> Is `store` the only place we can expect to see these constexpr analogs,
>> or is just about anywhere fair game?
>>
>
> Any Value can be a ConstantEx...
2015 Jan 26
0
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
..., 2015 at 6:37 PM, George Burgess IV <george.burgess.iv at gmail.com <mailto:george.burgess.iv at gmail.com>> wrote:
> > Fixing that still gives a wrong result, i haven't started to track down what *else* is going on here.
>
> Running with the attached diff + a modified buildGraphFrom to handle the constexpr GEPs, we seem to flag everything in test2.ll (conservatively) correctly.
>
> Is `store` the only place we can expect to see these constexpr analogs, or is just about anywhere fair game?
>
> Any Value can be a ConstantExpr, so all operands to instructions are fa...
2015 Jan 30
0
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...> break it up into more manageable bits later today, because some of
> > it is test fixes, another bit is a minor bug fix, etc.
>
> Yes, please break it into independent parts.
>
> >
> >
> > Important bit (WRT ConstantExpr): moved the loop body from
> > buildGraphFrom into a new function. The body has a few tweaks to
> > call constexprToEdges on all ConstantExprs that we encounter.
> > constexprToEdges, naturally, interprets a ConstantExpr (and all
> > nested ConstantExprs) and places the results into a
> > SmallVector<Edge>.
> &...
2015 Jan 31
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...manageable bits later today, because some of
>>> it is test fixes, another bit is a minor bug fix, etc.
>>
>> Yes, please break it into independent parts.
>>
>>>
>>>
>>> Important bit (WRT ConstantExpr): moved the loop body from
>>> buildGraphFrom into a new function. The body has a few tweaks to
>>> call constexprToEdges on all ConstantExprs that we encounter.
>>> constexprToEdges, naturally, interprets a ConstantExpr (and all
>>> nested ConstantExprs) and places the results into a
>>> SmallVector<Edge...
2015 Feb 04
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...geable bits later today, because some of
> > it is test fixes, another bit is a minor bug fix, etc.
> >
> > Yes, please break it into independent parts.
> >
> >
> >
> >
> >
> > Important bit (WRT ConstantExpr): moved the loop body from
> > buildGraphFrom into a new function. The body has a few tweaks to
> > call constexprToEdges on all ConstantExprs that we encounter.
> > constexprToEdges, naturally, interprets a ConstantExpr (and all
> > nested ConstantExprs) and places the results into a
> > SmallVector<Edge>.
> &...
2015 Jan 26
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
> Fixing that still gives a wrong result, i haven't started to track down
what *else* is going on here.
Running with the attached diff + a modified buildGraphFrom to handle the
constexpr GEPs, we seem to flag everything in test2.ll (conservatively)
correctly.
Is `store` the only place we can expect to see these constexpr analogs, or
is just about anywhere fair game?
George
On Fri, Jan 23, 2015 at 8:18 PM, Hal Finkel <hfinkel at anl.gov> wrote:
>...
2015 Jan 24
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
No, i mean the actual store instruction looks like "store i16 %conv22, i16*
getelementptr inbounds ([16 x i16]* @pA, i64 0, i64 12), align 2, !tbaa !1"
Not that the pointer operand comes from a GEP, but it is a constantexpr,
whose opcode is GEP.
It sucks that there is such a complex thing to be handled as a store
operand directly , but such is life ...
CFL-AA *should* treat this