NotSimplifier must take into account floating types

- cmpl-x and cmpg-x do not return the same value for Nan operands.
Consequently !(a>b) can not be replace by a<=b when using floating
types otherwise the condition will not be evaluated correctly at runtime.

Bug: 21212402
Change-Id: Idfd37459b0013e1d0fba274bbc0f9acc103bb605
(cherry picked from commit 0635c13e2a4581dec9e3b3e78c4b6dcd8327a2d7)

1 files changed, 12 insertions, 0 deletions

diff --git a/jack-tests/tests/com/android/jack/optimizations/notsimplifier/NotsimplifierTests.java b/jack-tests/tests/com/android/jack/optimizations/notsimplifier/NotsimplifierTests.java
index 0962ae2f..9c55e5e9 100644
--- a/jack-tests/tests/com/android/jack/optimizations/notsimplifier/NotsimplifierTests.java
+++ b/jack-tests/tests/com/android/jack/optimizations/notsimplifier/NotsimplifierTests.java
@@ -32,18 +32,30 @@ public class NotsimplifierTests extends RuntimeTest {
     AbstractTestTools.getTestRootDir("com.android.jack.optimizations.notsimplifier.test001"),
     "com.android.jack.optimizations.notsimplifier.test001.dx.Tests");
 
+  private RuntimeTestInfo TEST002 = new RuntimeTestInfo(
+      AbstractTestTools.getTestRootDir("com.android.jack.optimizations.notsimplifier.test002"),
+      "com.android.jack.optimizations.notsimplifier.test002.dx.Tests");
+
   @BeforeClass
   public static void setUpClass() {
     NotsimplifierTests.class.getClassLoader().setDefaultAssertionStatus(true);
   }
+
   @Test
   @Category(RuntimeRegressionTest.class)
   public void test001() throws Exception {
     new RuntimeTestHelper(TEST001).compileAndRunTest();
   }
 
+  @Test
+  @Category(RuntimeRegressionTest.class)
+  public void test002() throws Exception {
+    new RuntimeTestHelper(TEST002).compileAndRunTest();
+  }
+
   @Override
   protected void fillRtTestInfos() {
     rtTestInfos.add(TEST001);
+    rtTestInfos.add(TEST002);
   }
 }