blob: dc917aba56b42ef6ffbd14aae97a7f96804f48ba [file] [log] [blame]
// 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.kotlin;
import static com.android.tools.r8.utils.codeinspector.Matchers.isPresent;
import static org.hamcrest.MatcherAssert.assertThat;
import static org.junit.Assert.assertEquals;
import static org.junit.Assume.assumeTrue;
import com.android.tools.r8.TestParameters;
import com.android.tools.r8.ToolHelper.KotlinTargetVersion;
import com.android.tools.r8.utils.BooleanUtils;
import com.android.tools.r8.utils.StringUtils;
import com.android.tools.r8.utils.codeinspector.ClassSubject;
import com.android.tools.r8.utils.codeinspector.MethodSubject;
import java.util.Collection;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
@RunWith(Parameterized.class)
public class KotlinIntrinsicsInlineTest extends AbstractR8KotlinTestBase {
private static final String FOLDER = "intrinsics";
private static final String MAIN = FOLDER + ".InlineKt";
@Parameterized.Parameters(name = "{0} target: {1}, allowAccessModification: {2}")
public static Collection<Object[]> data() {
return buildParameters(
getTestParameters().withAllRuntimes().build(),
KotlinTargetVersion.values(),
BooleanUtils.values());
}
private final TestParameters parameters;
public KotlinIntrinsicsInlineTest(
TestParameters parameters,
KotlinTargetVersion targetVersion,
boolean allowAccessModification) {
super(targetVersion, allowAccessModification);
this.parameters = parameters;
}
@Test
public void b139432507() throws Exception {
testForR8(parameters.getBackend())
.addProgramFiles(getKotlinJarFile(FOLDER))
.addKeepRules(StringUtils.lines(
"-keepclasseswithmembers class " + MAIN + "{",
" public static *** *(...);",
"}"))
.allowAccessModification(allowAccessModification)
.noMinification()
.setMinApi(parameters.getRuntime())
.compile()
.inspect(inspector -> {
ClassSubject main = inspector.clazz(MAIN);
assertThat(main, isPresent());
// Note that isSupported itself has a parameter whose null check would be inlined
// with -allowaccessmodification.
MethodSubject isSupported = main.uniqueMethodWithName("isSupported");
assertThat(isSupported, isPresent());
assertEquals(
allowAccessModification ? 0 : 1,
countCall(isSupported, "checkParameterIsNotNull"));
// In general cases, null check won't be invoked only once or twice, hence no subtle
// situation in double inlining.
MethodSubject containsArray = main.uniqueMethodWithName("containsArray");
assertThat(containsArray, isPresent());
assertEquals(0, countCall(containsArray, "checkParameterIsNotNull"));
});
}
@Test
public void b139432507_isSupported() throws Exception {
assumeTrue("Different inlining behavior on CF backend", parameters.isDexRuntime());
testSingle("isSupported");
}
@Test
public void b139432507_containsArray() throws Exception {
assumeTrue("Different inlining behavior on CF backend", parameters.isDexRuntime());
testSingle("containsArray");
}
private void testSingle(String methodName) throws Exception {
testForR8(parameters.getBackend())
.addProgramFiles(getKotlinJarFile(FOLDER))
.addKeepRules(StringUtils.lines(
"-keepclasseswithmembers class " + MAIN + "{",
" public static *** " + methodName + "(...);",
"}"))
.allowAccessModification(allowAccessModification)
.noMinification()
.setMinApi(parameters.getRuntime())
.compile()
.inspect(inspector -> {
ClassSubject main = inspector.clazz(MAIN);
assertThat(main, isPresent());
MethodSubject method = main.uniqueMethodWithName(methodName);
assertThat(method, isPresent());
int arity = method.getMethod().method.getArity();
// One from the method's own argument, if any, and
// Two from Array utils, `contains` and `indexOf`, if inlined with access relaxation.
assertEquals(
allowAccessModification ? 0 : arity + 2,
countCall(method, "checkParameterIsNotNull"));
});
}
}