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

import static org.hamcrest.core.StringContains.containsString;

import com.android.tools.r8.TestBase;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.TestParametersCollection;
import com.android.tools.r8.TestRunResult;
import com.android.tools.r8.ToolHelper;
import com.android.tools.r8.ToolHelper.DexVm.Version;
import com.android.tools.r8.jasmin.JasminBuilder;
import com.android.tools.r8.jasmin.JasminBuilder.ClassBuilder;
import com.google.common.collect.ImmutableList;
import java.nio.file.Path;
import org.hamcrest.Matcher;
import org.junit.BeforeClass;
import org.junit.ClassRule;
import org.junit.Test;
import org.junit.rules.TemporaryFolder;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameters;

@RunWith(Parameterized.class)
public class IncompatiblePrimitiveTypesTest extends TestBase {

  @ClassRule
  public static TemporaryFolder tempFolder = ToolHelper.getTemporaryFolderForTest();

  private static Path inputJar;
  private static String expectedOutput = "true";

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

  final TestParameters parameters;

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

  @BeforeClass
  public static void setup() throws Exception {
    JasminBuilder jasminBuilder = new JasminBuilder();
    ClassBuilder classBuilder = jasminBuilder.addClass("TestClass");
    classBuilder
        .staticMethodBuilder("main", ImmutableList.of("[Ljava/lang/String;"), "V")
        .setCode(
            "invokestatic TestClass/getByte()B", "invokestatic TestClass/takeBoolean(Z)V", "return")
        .build();
    classBuilder
        .staticMethodBuilder("getByte", ImmutableList.of(), "B")
        .setCode("iconst_1", "ireturn")
        .build();
    classBuilder
        .staticMethodBuilder("takeBoolean", ImmutableList.of("Z"), "V")
        .setCode(
            "getstatic java/lang/System/out Ljava/io/PrintStream;",
            "iload_0",
            "invokevirtual java/io/PrintStream/print(Z)V",
            "return")
        .build();
    inputJar = tempFolder.getRoot().toPath().resolve("input.jar");
    jasminBuilder.writeJar(inputJar);
  }

  @Test
  public void test() throws Exception {
    if (parameters.isCfRuntime()) {
      testForJvm()
          .addClasspath(inputJar)
          .run(parameters.getRuntime(), "TestClass")
          .assertSuccessWithOutput(expectedOutput);
      return;
    }
    TestRunResult<?> d8Result =
        testForD8()
            .addProgramFiles(inputJar)
            .setMinApi(parameters.getApiLevel())
            .run(parameters.getRuntime(), "TestClass");
    TestRunResult<?> dxResult =
        testForDX().addProgramFiles(inputJar).run(parameters.getRuntime(), "TestClass");
    if (parameters.getRuntime().asDex().getVm().getVersion().isNewerThan(Version.V4_4_4)) {
      d8Result.assertSuccessWithOutput(expectedOutput);
      dxResult.assertSuccessWithOutput(expectedOutput);
    } else {
      // TODO(b/119812046): On Art 4.0.4 and 4.4.4 it is a verification error to use one short type
      // as another short type.
      Matcher<String> expectedError = containsString("java.lang.VerifyError");
      d8Result.assertFailureWithErrorThatMatches(expectedError);
      dxResult.assertFailureWithErrorThatMatches(expectedError);
    }
  }
}