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.IntValueProfile;
@RunWith(Theories.class)
public class IntValueProfileTest {
@DataPoint public static final int VALUE0 = Integer.MIN_VALUE;
@DataPoint public static final int VALUE1 = 0;
@DataPoint public static final int VALUE2 = 14;
@DataPoint public static final int VALUE3 = Integer.MAX_VALUE;
private IntValueProfile profile;
@Before
public void create() {
profile = (IntValueProfile) invokeStatic(loadRelative(this.getClass(), "IntValueProfile$Enabled"), "create");
}
private static boolean isGeneric(IntValueProfile profile) {
return (boolean) invoke(profile, "isGeneric");
}
private static boolean isUninitialized(IntValueProfile profile) {
return (boolean) invoke(profile, "isUninitialized");
}
private static int getCachedValue(IntValueProfile profile) {
return (int) invoke(profile, "getCachedValue");
}
@Test
public void testInitial() {
assertThat(isGeneric(profile), is(false));
assertThat(isUninitialized(profile), is(true));
profile.toString();
}
@Theory
public void testProfileOneObject(int value) {
int result = profile.profile(value);
assertThat(result, is(value));
assertEquals(getCachedValue(profile), value);
assertThat(isUninitialized(profile), is(false));
profile.toString();
}
@Theory
public void testProfileTwoObject(int value0, int value1) {
int result0 = profile.profile(value0);
int 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 testProfileThreeObject(int value0, int value1, int value2) {
int result0 = profile.profile(value0);
int result1 = profile.profile(value1);
int 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();
}
@Test
public void testDisabled() {
IntValueProfile p = (IntValueProfile) getStaticField(loadRelative(IntValueProfileTest.class, "IntValueProfile$Disabled"), "INSTANCE");
assertThat(p.profile(VALUE0), is(VALUE0));
assertThat(p.profile(VALUE1), is(VALUE1));
assertThat(p.profile(VALUE2), is(VALUE2));
assertThat(p.profile(VALUE3), is(VALUE3));
p.toString();
}
}