commit fa7809f3da2f366317ecb0e37f39c0c7e343d567
author Ian Rogers <irogers@google.com> Thu Jun 13 11:15:15 2013 -0700
committer Ian Rogers <irogers@google.com> Thu Jun 13 11:15:15 2013 -0700
tree 078d723436d7420fc46d68c8d28d2bf6ef11a0af
parent 8afe6e0d8c4151ac74afc4ebe0dab85550821243

Mark instructions that produce non-null object arguments as non-null.

Improve null-check elimination by marking instructions that can't produce a
non-null object as non-null. Reduces the size of ThinkFree by 16kb (0.05%).

Change-Id: I43148b55a4896081fe3da37a3345814b55fa9b82

src/compiler/dex/mir_dataflow.cc

diff --git a/src/compiler/dex/mir_dataflow.cc b/src/compiler/dex/mir_dataflow.cc
index 79eac6d..3b2c1a6 100644
--- a/src/compiler/dex/mir_dataflow.cc
+++ b/src/compiler/dex/mir_dataflow.cc
@@ -70,7 +70,7 @@
   DF_DA | DF_REF_A,
 
   // 0D MOVE_EXCEPTION vAA
-  DF_DA | DF_REF_A,
+  DF_DA | DF_REF_A | DF_NON_NULL_DST,
 
   // 0E RETURN_VOID
   DF_NOP,
@@ -109,13 +109,13 @@
   DF_DA | DF_A_WIDE | DF_SETS_CONST,
 
   // 1A CONST_STRING vAA, string@BBBB
-  DF_DA | DF_REF_A,
+  DF_DA | DF_REF_A | DF_NON_NULL_DST,
 
   // 1B CONST_STRING_JUMBO vAA, string@BBBBBBBB
-  DF_DA | DF_REF_A,
+  DF_DA | DF_REF_A | DF_NON_NULL_DST,
 
   // 1C CONST_CLASS vAA, type@BBBB
-  DF_DA | DF_REF_A,
+  DF_DA | DF_REF_A | DF_NON_NULL_DST,
 
   // 1D MONITOR_ENTER vAA
   DF_UA | DF_NULL_CHK_0 | DF_REF_A,