package com.oracle.truffle.api.test.profiles;
import static com.oracle.truffle.api.test.ReflectionUtils.getStaticField;
import static com.oracle.truffle.api.test.ReflectionUtils.invoke;
import static com.oracle.truffle.api.test.ReflectionUtils.invokeStatic;
import static com.oracle.truffle.api.test.ReflectionUtils.loadRelative;
import static org.hamcrest.CoreMatchers.is;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertThat;
import org.junit.Before;
import org.junit.Test;
import org.junit.experimental.theories.DataPoint;
import org.junit.experimental.theories.Theories;
import org.junit.experimental.theories.Theory;
import org.junit.runner.RunWith;
import com.oracle.truffle.api.profiles.ValueProfile;
@RunWith(Theories.class)
public class IdentityValueProfileTest {
@SuppressWarnings("deprecation")
private static Integer newInteger(int value) {
return new Integer(value);
}
@DataPoint public static final String O1 = new String();
@DataPoint public static final String O2 = O1;
@DataPoint public static final Object O3 = new Object();
@DataPoint public static final Integer O4 = newInteger(1);
@DataPoint public static final Integer O5 = null;
private ValueProfile profile;
@Before
public void create() {
profile = (ValueProfile) invokeStatic(loadRelative(IdentityValueProfileTest.class, "ValueProfile$Identity"), "create");
}
private static boolean isGeneric(ValueProfile profile) {
return (boolean) invoke(profile, "isGeneric");
}
private static boolean isUninitialized(ValueProfile profile) {
return (boolean) invoke(profile, "isUninitialized");
}
private static Object getCachedValue(ValueProfile profile) {
return invoke(profile, "getCachedValue");
}
@Test
public void testInitial() throws Exception {
assertThat(isGeneric(profile), is(false));
assertThat(isUninitialized(profile), is(true));
profile.toString();
}
@Theory
public void testDisabled(Object value) {
ValueProfile p = (ValueProfile) getStaticField(loadRelative(IdentityValueProfileTest.class, "ValueProfile$Disabled"), "INSTANCE");
assertThat(p.profile(value), is(value));
p.toString();
}
@Theory
public void testProfileOne(Object value) throws Exception {
Object result = profile.profile(value);
assertThat(result, is(value));
assertEquals(getCachedValue(profile), value);
assertThat(isUninitialized(profile), is(false));
profile.toString();
}
@Theory
public void testProfileTwo(Object value0, Object value1) throws Exception {
Object result0 = profile.profile(value0);
Object result1 = profile.profile(value1);
assertThat(result0, is(value0));
assertThat(result1, is(value1));
if (value0 == value1) {
assertThat(getCachedValue(profile), is(value0));
assertThat(isGeneric(profile), is(false));
} else {
assertThat(isGeneric(profile), is(true));
}
assertThat(isUninitialized(profile), is(false));
profile.toString();
}
@Theory
public void testProfileThree(Object value0, Object value1, Object value2) throws Exception {
Object result0 = profile.profile(value0);
Object result1 = profile.profile(value1);
Object result2 = profile.profile(value2);
assertThat(result0, is(value0));
assertThat(result1, is(value1));
assertThat(result2, is(value2));
if (value0 == value1 && value1 == value2) {
assertThat(getCachedValue(profile), is(value0));
assertThat(isGeneric(profile), is(false));
} else {
assertThat(isGeneric(profile), is(true));
}
assertThat(isUninitialized(profile), is(false));
profile.toString();
}
}