android_dalvik/vm/analysis/VfyBasicBlock.c, branch cm-13.0 Unnamed repository; edit this file 'description' to name the repository. Move the verifier and parts of the interpreter into C++. 2011-04-15T22:48:54+00:00 Carl Shapiro cshapiro@google.com 2011-04-15T22:48:54+00:00 1813ab265f691e93401c7307c0b34247842ab35e Change-Id: I8ce5fb558871d9709b251512dd01206be5ca8497 
Change-Id: I8ce5fb558871d9709b251512dd01206be5ca8497
Progress on live-precise GC. 2010-12-16T23:33:00+00:00 Andy McFadden fadden@android.com 2010-12-10T23:34:00+00:00 9fd527f3258381b33365cb18fd37c7864e2bbb40 This implements computation of register liveness. This is still a work in progress. The computation is disabled by default, and when enabled it's not yet used during the generation of register maps. The code has not been thoughly tested. While working on this I fiddled around with the verifier's verbose debugging stuff a bit. This also changes some stuff in BitVector. Unsigned ints are now prevalent, and functions like dvmSetBit abort rather than returning a boolean value when an illegal operation is attempted. (Some parallel functions in the compiler were also updated.) Bug 2534655 Change-Id: Iea161c6d63a310e1dbdac2aeeb7b7aeadda8807c 
This implements computation of register liveness.  This is still a work
in progress.  The computation is disabled by default, and when enabled
it's not yet used during the generation of register maps.  The code
has not been thoughly tested.

While working on this I fiddled around with the verifier's verbose
debugging stuff a bit.

This also changes some stuff in BitVector.  Unsigned ints are now
prevalent, and functions like dvmSetBit abort rather than returning a
boolean value when an illegal operation is attempted.  (Some parallel
functions in the compiler were also updated.)

Bug 2534655

Change-Id: Iea161c6d63a310e1dbdac2aeeb7b7aeadda8807c
Progress on liveness analysis. 2010-12-10T18:50:23+00:00 Andy McFadden fadden@android.com 2010-12-02T00:18:19+00:00 701d2720fa693621a3c0c4d0bdf9e32e3eb8e731 Compute basic blocks and their predecessors, necessary for backward flow analysis. This is a work in progress and isn't yet enabled. (When enabled, verification takes 20% longer, so there's some room for improvement on performance.) Also, this changes the "generate register maps" setting to be enabled by default, and allows a "no" prefix on -Xgenregmap to disable it. Bug 2534655 Change-Id: Id2e8512f53fc454ce2184879ab663ed7121274b6 
Compute basic blocks and their predecessors, necessary for backward flow
analysis.  This is a work in progress and isn't yet enabled.

(When enabled, verification takes 20% longer, so there's some room for
improvement on performance.)

Also, this changes the "generate register maps" setting to be enabled
by default, and allows a "no" prefix on -Xgenregmap to disable it.

Bug 2534655

Change-Id: Id2e8512f53fc454ce2184879ab663ed7121274b6