Displaying 2 results from an estimated 2 matches for "pr1359".
Did you mean:
pr1350
2007 Apr 25
0
[LLVMdev] Work in progress patch to speed up andersen's implementation
Hi Danny,
I captured this as PR359: http://llvm.org/PR1359
Reid.
On Wed, 25 Apr 2007 14:09:14 -0400
"Daniel Berlin" <dberlin at dberlin.org> wrote:
> Hi guys, i'm not going to have time to work on this for
>a month or
> two, so i figured i'd post it.
>
> This patch
>
> 1. reworks the andersen's implem...
2007 Apr 25
2
[LLVMdev] Work in progress patch to speed up andersen's implementation
Hi guys, i'm not going to have time to work on this for a month or
two, so i figured i'd post it.
This patch
1. reworks the andersen's implementation to support field sensitivity
(though field-sensitive constraints are not generated directly yet),
and uses it to do indirect function call support.
2. Rewrites the solver to be state of the art in terms of speed.
kimwitu++ used to take