// Copyright (c) 2019, 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.inliner;

import static com.android.tools.r8.utils.codeinspector.Matchers.isPresent;
import static org.hamcrest.CoreMatchers.containsString;
import static org.hamcrest.MatcherAssert.assertThat;
import static org.junit.Assert.assertFalse;

import com.android.tools.r8.R8TestCompileResult;
import com.android.tools.r8.TestBase;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.TestParametersCollection;
import com.android.tools.r8.utils.StringUtils;
import com.android.tools.r8.utils.codeinspector.ClassSubject;
import com.android.tools.r8.utils.codeinspector.CodeInspector;
import com.android.tools.r8.utils.codeinspector.InstructionSubject;
import com.android.tools.r8.utils.codeinspector.MethodSubject;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameters;

/** Test for b/130202534. */
@RunWith(Parameterized.class)
public class InlineInvokeWithNullableReceiverTest extends TestBase {

  private final TestParameters parameters;

  @Parameters(name = "{0}")
  public static TestParametersCollection params() {
    return getTestParameters().withAllRuntimes().build();
  }

  public InlineInvokeWithNullableReceiverTest(TestParameters parameters) {
    this.parameters = parameters;
  }

  @Test
  public void test() throws Exception {
    R8TestCompileResult result =
        testForR8(parameters.getBackend())
            .addInnerClasses(InlineInvokeWithNullableReceiverTest.class)
            .addKeepMainRule(TestClass.class)
            .setMinApi(parameters.getRuntime())
            .compile()
            .inspect(this::verifyMethodHasBeenInlined);

    result
        .run(parameters.getRuntime(), TestClass.class)
        .assertSuccessWithOutput(StringUtils.lines("Hello world!"));

    // Invoking main() with a non-zero argument list should cause the program to throw.
    result
        .run(parameters.getRuntime(), TestClass.class, "42")
        .assertFailureWithErrorThatMatches(containsString("NullPointerException"));
  }

  private void verifyMethodHasBeenInlined(CodeInspector inspector) {
    ClassSubject classSubject = inspector.clazz(TestClass.class);
    assertThat(classSubject, isPresent());

    MethodSubject methodSubject = classSubject.mainMethod();
    assertThat(methodSubject, isPresent());

    // A `throw` instruction should have been synthesized into main().
    // TODO(b/130202534): Allow inlining.
    assertFalse(methodSubject.streamInstructions().anyMatch(InstructionSubject::isThrow));

    // Class A is still present because the instance flows into a phi that has a null-check.
    ClassSubject otherClassSubject = inspector.clazz(A.class);
    assertThat(otherClassSubject, isPresent());

    // Method A.m() should no longer be present due to inlining.
    // TODO(b/130202534): Allow inlining.
    assertThat(otherClassSubject.uniqueMethodWithName("m"), isPresent());
  }

  static class TestClass {

    public static void main(String[] args) {
      A obj = args.length == 0 ? new A() : null;
      obj.m();
    }
  }

  static class A {

    public void m() {
      System.out.println("Hello world!");
    }
  }
}