OSDN Git Service

ART: New types of Checker assertions
authorDavid Brazdil <dbrazdil@google.com>
Fri, 19 Dec 2014 11:17:21 +0000 (11:17 +0000)
committerDavid Brazdil <dbrazdil@google.com>
Wed, 31 Dec 2014 13:36:55 +0000 (13:36 +0000)
commit9a6f20e0ca565f2256c59f72a2437994e15ca597
treeae8ed6d8602d2626f8aa2cc6a295bb2e946f25e8
parent5e0a9849d4e353c3726095b65ab07cefce40a636
ART: New types of Checker assertions

Checker now supports positive out-of-order assertions (CHECK-DAG),
which are useful for matching dependency graphs, and negative
assertions (CHECK-NOT) to test element removal.

ConstantFolding tests are rewritten using -DAG checks and Inliner
tests are added.

Change-Id: I5afb665f532b24683624b6d21ef4377cb441d731
compiler/optimizing/test/ConstantFolding.java
compiler/optimizing/test/Inliner.java [new file with mode: 0644]
tools/checker.py
tools/checker_test.py