tree 398a72cfe30a532b0ffde7483ad292c02b6afbf1
parent e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986
author Dragos Sbirlea <dragoss@google.com> 1369775652 -0700
committer Dragos Sbirlea <dragoss@google.com> 1369935733 -0700

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