Elision of checks optimization.

We now sharpen types in the verifier based on instance-of followed by ifeq/ifneq pattern.
Changed comments to conform to 100 char per line limit.
Added asserts.

	modified:   src/dex_file_verifier.cc
	modified:   src/verifier/method_verifier.cc
	modified:   src/verifier/register_line.cc

Change-Id: Ide3ea09c0e60647da30226d43ae869ca612856f3
3 files changed
tree: 398a72cfe30a532b0ffde7483ad292c02b6afbf1
  1. build/
  2. jdwpspy/
  3. src/
  4. test/
  5. tools/
  6. .gitignore
  7. Android.mk