Add reproduction for generating inconsistent SSA in staticizer

Bug: 171642432
Change-Id: I3ae6aa4fab87d96ddc1414803e2f3ec5d999dda7

src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/ClassWithCompanion.java

diff --git a/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/ClassWithCompanion.java b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/ClassWithCompanion.java
new file mode 100644
index 0000000..f493863
--- /dev/null
+++ b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/ClassWithCompanion.java
@@ -0,0 +1,26 @@
+// Copyright (c) 2020, the R8 project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+package com.android.tools.r8.ir.optimize.staticizer.b171642432;
+
+import com.android.tools.r8.NeverClassInline;
+import com.android.tools.r8.NeverInline;
+
+@NeverClassInline
+public class ClassWithCompanion {
+
+  public String url;
+
+  @NeverClassInline
+  public static class Companion {
+    @NeverInline
+    ClassWithCompanion newInstance(String url) {
+      ClassWithCompanion classWithCompanion = new ClassWithCompanion();
+      classWithCompanion.url = url;
+      return classWithCompanion;
+    }
+  }
+
+  static Companion COMPANION_INSTANCE = new Companion();
+}

src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionUser.java

diff --git a/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionUser.java b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionUser.java
new file mode 100644
index 0000000..fd1d06c
--- /dev/null
+++ b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionUser.java
@@ -0,0 +1,37 @@
+// Copyright (c) 2020, the R8 project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+package com.android.tools.r8.ir.optimize.staticizer.b171642432;
+
+import static com.android.tools.r8.ir.optimize.staticizer.b171642432.ClassWithCompanion.COMPANION_INSTANCE;
+
+import com.android.tools.r8.NeverInline;
+
+public class CompanionUser {
+
+  private final String url;
+
+  public CompanionUser(String url) {
+    this.url = url;
+  }
+
+  public ClassWithCompanion getItem(int position) {
+    return (position == 0
+        ? (url.contains("y.htm")
+            ? COMPANION_INSTANCE.newInstance(replace("y.htm", "ay.htm"))
+            : COMPANION_INSTANCE.newInstance(replace(".htm", "a.htm")))
+        : (position == 1
+            ? (url.contains("y.htm")
+                ? COMPANION_INSTANCE.newInstance(replace("y.htm", "by.htm"))
+                : COMPANION_INSTANCE.newInstance(replace(".htm", "b.htm")))
+            : (url.contains("y.htm")
+                ? COMPANION_INSTANCE.newInstance(replace("y.htm", "cy.htm"))
+                : COMPANION_INSTANCE.newInstance(replace(".htm", "c.htm")))));
+  }
+
+  @NeverInline
+  public String replace(String target, String replacement) {
+    return url.replace(target, replacement);
+  }
+}

src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionWithPhisTest.java

diff --git a/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionWithPhisTest.java b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionWithPhisTest.java
new file mode 100644
index 0000000..a6948db
--- /dev/null
+++ b/src/test/java/com/android/tools/r8/ir/optimize/staticizer/b171642432/CompanionWithPhisTest.java
@@ -0,0 +1,70 @@
+// Copyright (c) 2020, the R8 project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+package com.android.tools.r8.ir.optimize.staticizer.b171642432;
+
+import static com.android.tools.r8.DiagnosticsMatcher.diagnosticException;
+import static org.junit.Assert.assertThrows;
+
+import com.android.tools.r8.CompilationFailedException;
+import com.android.tools.r8.TestBase;
+import com.android.tools.r8.TestParameters;
+import com.android.tools.r8.TestParametersCollection;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
+import org.junit.runners.Parameterized.Parameters;
+
+// This is a reproduction of b/171642432.
+@RunWith(Parameterized.class)
+public class CompanionWithPhisTest extends TestBase {
+
+  private final TestParameters parameters;
+  private final String EXPECTED = "FooBarBaza.htm";
+
+  @Parameters(name = "{0}")
+  public static TestParametersCollection data() {
+    return getTestParameters().withDexRuntimes().withAllApiLevels().build();
+  }
+
+  public CompanionWithPhisTest(TestParameters parameters) {
+    this.parameters = parameters;
+  }
+
+  @Test
+  public void testRuntime() throws Exception {
+    testForRuntime(parameters)
+        .addProgramClasses(Main.class, CompanionUser.class)
+        .addProgramClassesAndInnerClasses(ClassWithCompanion.class)
+        .run(parameters.getRuntime(), Main.class)
+        .assertSuccessWithOutputLines(EXPECTED);
+  }
+
+  @Test
+  public void testR8() throws Exception {
+    assertThrows(
+        CompilationFailedException.class,
+        () -> {
+          testForR8(parameters.getBackend())
+              .addProgramClasses(Main.class, CompanionUser.class)
+              .addProgramClassesAndInnerClasses(ClassWithCompanion.class)
+              .setMinApi(parameters.getApiLevel())
+              .enableNeverClassInliningAnnotations()
+              .enableInliningAnnotations()
+              .addKeepMainRule(Main.class)
+              .compileWithExpectedDiagnostics(
+                  diagnostics -> {
+                    diagnostics.assertErrorsMatch(diagnosticException(AssertionError.class));
+                  });
+        });
+  }
+
+  public static class Main {
+
+    public static void main(String[] args) {
+      System.out.println(
+          new CompanionUser(args.length == 0 ? "FooBarBaz.htm" : args[0]).getItem(args.length).url);
+    }
+  }
+}