// 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;

import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertTrue;

import com.android.tools.r8.ClassFileConsumer.ArchiveConsumer;
import com.android.tools.r8.ToolHelper.ProcessResult;
import com.android.tools.r8.utils.DescriptorUtils;
import java.nio.file.Path;
import org.junit.Test;
import org.objectweb.asm.AnnotationVisitor;
import org.objectweb.asm.ClassWriter;
import org.objectweb.asm.FieldVisitor;
import org.objectweb.asm.Label;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;

/** Jacoco does invalid instrumentation when R8 clobber locals of arguments: TODO(b/117589870) */
public class JacocoRegressionTest extends TestBase implements Opcodes {

  @Test
  public void test() throws Exception {
    Path output = temp.newFolder().toPath();
    String name = "Test";
    String desc = DescriptorUtils.javaTypeToDescriptor(name);
    byte[] bytes = dump();
    Path path = output.resolve("out.jar");
    ArchiveConsumer archiveConsumer = new ArchiveConsumer(path);
    archiveConsumer.accept(ByteDataView.of(bytes), desc, null);
    archiveConsumer.finished(null);

    String expected = "15" + System.lineSeparator();
    ProcessResult result = ToolHelper.runJava(path, name);
    assertEquals(expected, result.stdout);

    Path agentOutput = output.resolve("agent.out");
    ProcessResult result1 =
        ToolHelper.runJava(
            path,
            String.format(
                "-javaagent:%s=destfile=%s,dumponexit=true,output=file",
                ToolHelper.JACOCO_AGENT, agentOutput),
            name);
    assertEquals(1, result1.exitCode);
    assertTrue(result1.toString().contains("java.lang.VerifyError: Bad local variable type"));
  }

  public static byte[] dump() {

    ClassWriter classWriter = new ClassWriter(0);
    FieldVisitor fieldVisitor;
    MethodVisitor methodVisitor;
    AnnotationVisitor annotationVisitor0;

    classWriter.visit(
        V1_8, ACC_FINAL | ACC_SUPER | ACC_PUBLIC, "Test", null, "java/lang/Object", null);
    classWriter.visitSource("Test.java", null);

    {
      methodVisitor = classWriter.visitMethod(ACC_PRIVATE, "<init>", "()V", null, null);
      methodVisitor.visitCode();
      Label label0 = new Label();
      methodVisitor.visitLabel(label0);
      methodVisitor.visitLineNumber(32, label0);
      methodVisitor.visitVarInsn(ALOAD, 0);
      methodVisitor.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", false);
      methodVisitor.visitInsn(RETURN);
      Label label1 = new Label();
      methodVisitor.visitLabel(label1);
      methodVisitor.visitLocalVariable("this", "LTest;", null, label0, label1, 0);
      methodVisitor.visitMaxs(1, 1);
      methodVisitor.visitEnd();
    }

    // This is the problematic part for Jacoco, where we clobber local 1 with long_2nd
    {
      methodVisitor = classWriter.visitMethod(ACC_STATIC, "foo", "(I)I", null, null);
      methodVisitor.visitCode();
      methodVisitor.visitVarInsn(ILOAD, 0);
      methodVisitor.visitInsn(I2L);
      methodVisitor.visitVarInsn(LSTORE, 0);
      methodVisitor.visitIntInsn(BIPUSH, 15);
      methodVisitor.visitInsn(IRETURN);
      methodVisitor.visitMaxs(4, 4);
      methodVisitor.visitEnd();
    }

    {
      methodVisitor =
          classWriter.visitMethod(
              ACC_PUBLIC | ACC_STATIC, "main", "([Ljava/lang/String;)V", null, null);
      methodVisitor.visitCode();
      Label label0 = new Label();
      methodVisitor.visitLabel(label0);
      methodVisitor.visitLineNumber(6, label0);
      methodVisitor.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;");
      methodVisitor.visitIntInsn(BIPUSH, 42);
      methodVisitor.visitMethodInsn(INVOKESTATIC, "Test", "foo", "(I)I", false);
      methodVisitor.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(I)V", false);
      Label label1 = new Label();
      methodVisitor.visitLabel(label1);
      methodVisitor.visitLineNumber(7, label1);
      methodVisitor.visitInsn(RETURN);
      methodVisitor.visitMaxs(2, 1);
      methodVisitor.visitEnd();
    }

    classWriter.visitEnd();

    return classWriter.toByteArray();
  }
}