-
Type:
Bug
-
Resolution: Incomplete
-
Priority:
P3
-
None
-
Affects Version/s: 17.0.17
-
Component/s: hotspot
-
generic
ADDITIONAL SYSTEM INFORMATION :
- Operating system: Linux
- Compiler/toolchain: GCC 9.5
- Source commit: 24fe61ea13610d2f5d22f1b6696b871eb0505379 (tag: 17.0.19-internal+0, branch: master)
- Build type: release
- Build environment: Linux, compiled from source with GCC 9.5
A DESCRIPTION OF THE PROBLEM :
Running the attached self-contained Java program with jdk.incubator.vector enabled produces different console output under the C2 compiler (-Xcomp -Xbatch) compared to the interpreter (-Xint). The program is deterministic (no I/O races or non-deterministic sources beyond Random seeded to a constant) and prints a long sequence of computed values. Several lines differ consistently between -Xint and -Xcomp, indicating a likely JIT miscompilation. The code exercises ByteVector operations (lanewise shifts, sub, mul, div, and/or/not, abs, reduceLanes, intoArray/fromArray) intermixed with scalar arithmetic, array updates, and heavy loops. The mismatches include both integer accumulators and float array elements that should not differ across execution modes.
STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
1) Save the attached source as Test.java (it contains all classes in one file).
2) Build or use a recent jdk17u-dev build (fastdebug or release). Ensure Vector API is present.
3) Run:
- /path/to/jdk/bin/java -Xcomp -Xbatch --add-modules jdk.incubator.vector Test > run1.log 2> run1.err
- /path/to/jdk/bin/java -Xint --add-modules jdk.incubator.vector Test > run2.log 2> run2.err
4) Diff the outputs:
- diff run1.log run2.log
- diff run1.err run2.err
---------- BEGIN SOURCE ----------
import jdk.incubator.vector.*;
import java.io.PrintStream;
import java.util.Random;
import java.util.concurrent.atomic.AtomicLong;
class AllFuzzerDefs_1764555040333_96865 {
public static int ARRAY_SIZE = 60;
public static byte $func_byte_inline_6602490014215305(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static short $func_short_inline_6602488995911535(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static int $func_branchOptimization_deoptimize_6602489470139324(
int branchOptimization_deoptimize_a, int branchOptimization_deoptimize_b) {
if (AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044700_66024918822752112) {
return branchOptimization_deoptimize_a * branchOptimization_deoptimize_b;
} else {
return branchOptimization_deoptimize_a + branchOptimization_deoptimize_b;
}
}
public static boolean gb_boolean_1764555044700_66024918822752112 = true;
public static boolean gb_boolean_1764555044498_66024916804194501 = true;
public static short gb_short_1764555044471_66024916537973480 = ((short) (601));
}
class $cls_6602489039472114Impl_66024890388780202 implements $cls_6602489039472114 {
public int foo() {
return 42;
}
}
class $cls_6602489039472114Impl_6602489038878020 implements $cls_6602489039472114 {
public int foo() {
return 42;
}
}
class Cls {
public static final int N = 128;
public static volatile long instanceCount = 3845999460L;
public short sFld = -1191;
public volatile double dFld1 = -94.62969;
public boolean bFld = false;
public boolean bArrFld[] = new boolean[N];
public static long iMeth_check_sum = 0;
public int iMeth(long l) {
iMeth_check_sum += l;
return (int) l;
}
}
public class Test {
public static final int N = 128;
public static long instanceCount = 114059379L;
public int iFld = 133;
public double dFld = -1.48203;
public static byte byFld = 52;
public static String strFld = "two";
public static long lFld = -2318561684L;
public int iFld1 = -6;
public float fFld = 2.41F;
public char cFld = 34859;
public float fArrFld[][] = new float[N][N];
public static float fArrFld1[] = new float[N];
public static int iArrFld[] = new int[N];
public volatile long lArrFld[] = new long[N];
public static byte byArrFld[] = new byte[N];
public String strArrFld[] = new String[N];
public boolean bArrFld1[][] = new boolean[N][N];
public int iArrFld1[] = new int[N];
public static Object OArrFld[] = new Object[52];
static {
FuzzerUtils.init(Test.fArrFld1, 0.792F);
FuzzerUtils.init(Test.iArrFld, 90);
FuzzerUtils.init(Test.byArrFld, ((byte) (42)));
FuzzerUtils.init(Test.OArrFld, new Cls());
}
public static long vMeth_check_sum = 0;
public static long vMeth1_check_sum = 0;
public static void vMeth1() {
vMeth1_check_sum += 1;
return;
}
public void vMeth(int i, int i1) {
vMeth_check_sum += ((((i + i1))));
return;
}
public void mainTest(String[] strArr1) {
long[] lv_long_arr_1764555044721_66024919035833421 =
new long[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long[] lv_long_arr_1764555044696_66024918782780750 =
new long[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String lv_String_1764555044709_66024918911259831 = "qlupamfgnef";
String lv_String_1764555044493_66024916755011280 = "qlupamfgnef";
String lv_String_1764555044720_66024919026767702 = "qlupamfgnef";
String[] lv_String_arr_1764555044718_66024918999841732 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044717_66024918989108700 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044720_66024919018643853 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044717_66024918989189011 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float lv_float_1764555044717_66024918994453643 = 423.59628F;
float lv_float_1764555044445_66024916275966371 = 423.59628F;
float lv_float_1764555044445_66024916275881050 = 423.59628F;
float lv_float_1764555044692_66024918747637232 = 423.59628F;
float lv_float_1764555044736_66024919179104344 = 423.59628F;
Integer[] lv_Integer_arr_1764555044717_66024918996194870 =
new Integer[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Integer[] lv_Integer_arr_1764555044717_66024918996270601 =
new Integer[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long lv_long_1764555044443_66024916249966591 = 11406L;
long lv_long_1764555044436_66024916187238490 = 11406L;
Boolean lv_Boolean_1764555044482_66024916644587960 = Boolean.FALSE;
double lv_double_1764555044465_66024916477619140 = 9924.139487785344;
double lv_double_1764555044697_66024918792272852 = 9924.139487785344;
double lv_double_1764555044717_66024918990833023 = 9924.139487785344;
double lv_double_1764555044469_66024916516564641 = 9924.139487785344;
byte lv_byte_1764555044718_66024919003253210 = ((byte) (31));
short[] lv_short_arr_1764555044718_66024918999068720 =
new short[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044478_66024916605145630 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044716_66024918987920551 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044717_66024918998025863 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044717_66024918992446942 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044719_66024919010084934 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Double lv_Double_1764555044486_66024916684223560 = Double.valueOf(4945.791404606545);
int lv_int_1764555044480_66024916623954974 = 549;
int lv_int_1764555044422_66024916044505090 = 549;
int lv_int_1764555044436_66024916182613761 = 549;
int lv_int_1764555044460_66024916419648662 = 549;
int lv_int_1764555044460_66024916421832363 = 549;
char[] lv_char_arr_1764555044453_66024916350687300 =
new char[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float[] lv_float_arr_1764555044692_66024918744747240 =
new float[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float[] lv_float_arr_1764555044716_66024918982420381 =
new float[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
ByteVector lv_ByteVector_1764555044722_66024919040765240 = null;
ByteVector lv_ByteVector_1764555044723_66024919049964111 = null;
ByteVector lv_ByteVector_1764555044724_66024919065137574 = null;
ByteVector lv_ByteVector_1764555044723_66024919051924912 = null;
ByteVector lv_ByteVector_1764555044724_66024919058724983 = null;
Integer lv_Integer_1764555044495_66024916777167530 = Integer.valueOf(-826);
byte[] lv_byte_arr_1764555044720_66024919024057010 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044725_66024919068662373 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044724_66024919058901522 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044721_66024919035276391 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044725_66024919068811984 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
boolean lv_boolean_1764555044716_66024918980374640 = true;
double[] lv_double_arr_1764555044715_66024918976363020 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044721_66024919031298834 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044721_66024919029003893 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044717_66024918990962892 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044715_66024918976493011 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
char lv_char_1764555044734_66024919159998922 = ((char) (7));
char lv_char_1764555044708_66024918903127270 = ((char) (7));
char lv_char_1764555044715_66024918973116371 = ((char) (7));
short lv_short_1764555044471_66024916537180030 = ((short) (601));
short lv_short_1764555044478_66024916602504431 = ((short) (601));
Object lv_Object_1764555044490_66024916722684390 = new Object();
boolean[] lv_boolean_arr_1764555044716_66024918980631050 =
new boolean[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044717_66024918995340230 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044718_66024919008226781 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044721_66024919033820792 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long meth_res = 0;
int i35 = -16;
int i36 = -108;
int i37 = -80;
int i38 = 11302;
int i39 = 1;
int i40 = -64452;
int i41 = -105;
int i42 = -14172;
int i43 = -19;
int i44 = 115;
int i45 = 3948;
int i46 = 11;
int i47 = -119;
int i48 = 175;
int i49 = 12;
int i50 = 198;
short s1 = 22443;
short s2 = 17684;
char c3 = 32282;
boolean b1 = false;
long l4 = -3583658286L;
float f4 = -1.169F;
Cls O17 = new Cls();
Cls O18 = new Cls();
Cls O19 = new Cls();
Cls O20 = new Cls();
Cls O21 = new Cls();
Cls O22 = new Cls();
Cls O23 = new Cls();
Cls O24 = new Cls();
Cls O25 = new Cls();
for (int TmpVar_6602491955867715_1764555044774 = 0;
TmpVar_6602491955867715_1764555044774
< lv_long_arr_1764555044721_66024919035833421.length;
TmpVar_6602491955867715_1764555044774++) {
lv_long_arr_1764555044721_66024919035833421[TmpVar_6602491955867715_1764555044774] =
(((long) (TmpVar_6602491955867715_1764555044774)) * 100) + 12L;
}
for (int TmpVar_6602491955972316_1764555044774 = 0;
TmpVar_6602491955972316_1764555044774
< lv_long_arr_1764555044696_66024918782780750.length;
TmpVar_6602491955972316_1764555044774++) {
lv_long_arr_1764555044696_66024918782780750[TmpVar_6602491955972316_1764555044774] =
(((long) (TmpVar_6602491955972316_1764555044774)) * 100) + 12L;
}
for (int TmpVar_6602491956038848_1764555044774 = 0;
TmpVar_6602491956038848_1764555044774
< lv_String_arr_1764555044718_66024918999841732.length;
TmpVar_6602491956038848_1764555044774++) {
lv_String_arr_1764555044718_66024918999841732[TmpVar_6602491956038848_1764555044774] =
((TmpVar_6602491956038848_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956038848_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956054637_1764555044774 = 0;
TmpVar_6602491956054637_1764555044774
< lv_String_arr_1764555044717_66024918989108700.length;
TmpVar_6602491956054637_1764555044774++) {
lv_String_arr_1764555044717_66024918989108700[TmpVar_6602491956054637_1764555044774] =
((TmpVar_6602491956054637_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956054637_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956069177_1764555044774 = 0;
TmpVar_6602491956069177_1764555044774
< lv_String_arr_1764555044720_66024919018643853.length;
TmpVar_6602491956069177_1764555044774++) {
lv_String_arr_1764555044720_66024919018643853[TmpVar_6602491956069177_1764555044774] =
((TmpVar_6602491956069177_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956069177_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956083011_1764555044774 = 0;
TmpVar_6602491956083011_1764555044774
< lv_String_arr_1764555044717_66024918989189011.length;
TmpVar_6602491956083011_1764555044774++) {
lv_String_arr_1764555044717_66024918989189011[TmpVar_6602491956083011_1764555044774] =
((TmpVar_6602491956083011_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956083011_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956107638_1764555044774 = 0;
TmpVar_6602491956107638_1764555044774
< lv_Integer_arr_1764555044717_66024918996194870.length;
TmpVar_6602491956107638_1764555044774++) {
lv_Integer_arr_1764555044717_66024918996194870[TmpVar_6602491956107638_1764555044774] =
Integer.valueOf((((int) (TmpVar_6602491956107638_1764555044774)) * 200) + 34);
}
for (int TmpVar_6602491956120625_1764555044774 = 0;
TmpVar_6602491956120625_1764555044774
< lv_Integer_arr_1764555044717_66024918996270601.length;
TmpVar_6602491956120625_1764555044774++) {
lv_Integer_arr_1764555044717_66024918996270601[TmpVar_6602491956120625_1764555044774] =
Integer.valueOf((((int) (TmpVar_6602491956120625_1764555044774)) * 200) + 34);
}
for (int TmpVar_6602491956152177_1764555044774 = 0;
TmpVar_6602491956152177_1764555044774
< lv_short_arr_1764555044718_66024918999068720.length;
TmpVar_6602491956152177_1764555044774++) {
lv_short_arr_1764555044718_66024918999068720[TmpVar_6602491956152177_1764555044774] =
((short) ((((short) (TmpVar_6602491956152177_1764555044774)) * 10) + 34));
}
for (int TmpVar_6602491956166287_1764555044774 = 0;
TmpVar_6602491956166287_1764555044774
< lv_int_arr_1764555044478_66024916605145630.length;
TmpVar_6602491956166287_1764555044774++) {
lv_int_arr_1764555044478_66024916605145630[TmpVar_6602491956166287_1764555044774] =
(((int) (TmpVar_6602491956166287_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956178289_1764555044774 = 0;
TmpVar_6602491956178289_1764555044774
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491956178289_1764555044774++) {
lv_int_arr_1764555044716_66024918987920551[TmpVar_6602491956178289_1764555044774] =
(((int) (TmpVar_6602491956178289_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956190583_1764555044774 = 0;
TmpVar_6602491956190583_1764555044774
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491956190583_1764555044774++) {
lv_int_arr_1764555044717_66024918998025863[TmpVar_6602491956190583_1764555044774] =
(((int) (TmpVar_6602491956190583_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956203062_1764555044774 = 0;
TmpVar_6602491956203062_1764555044774
< lv_int_arr_1764555044717_66024918992446942.length;
TmpVar_6602491956203062_1764555044774++) {
lv_int_arr_1764555044717_66024918992446942[TmpVar_6602491956203062_1764555044774] =
(((int) (TmpVar_6602491956203062_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956216172_1764555044774 = 0;
TmpVar_6602491956216172_1764555044774
< lv_int_arr_1764555044719_66024919010084934.length;
TmpVar_6602491956216172_1764555044774++) {
lv_int_arr_1764555044719_66024919010084934[TmpVar_6602491956216172_1764555044774] =
(((int) (TmpVar_6602491956216172_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956240424_1764555044774 = 0;
TmpVar_6602491956240424_1764555044774
< lv_char_arr_1764555044453_66024916350687300.length;
TmpVar_6602491956240424_1764555044774++) {
lv_char_arr_1764555044453_66024916350687300[TmpVar_6602491956240424_1764555044774] =
((char) ((((char) (TmpVar_6602491956240424_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956254687_1764555044774 = 0;
TmpVar_6602491956254687_1764555044774
< lv_float_arr_1764555044692_66024918744747240.length;
TmpVar_6602491956254687_1764555044774++) {
lv_float_arr_1764555044692_66024918744747240[TmpVar_6602491956254687_1764555044774] =
(((float) (TmpVar_6602491956254687_1764555044774)) * 1.5F) + 7.89F;
}
for (int TmpVar_6602491956268465_1764555044774 = 0;
TmpVar_6602491956268465_1764555044774
< lv_float_arr_1764555044716_66024918982420381.length;
TmpVar_6602491956268465_1764555044774++) {
lv_float_arr_1764555044716_66024918982420381[TmpVar_6602491956268465_1764555044774] =
(((float) (TmpVar_6602491956268465_1764555044774)) * 1.5F) + 7.89F;
}
for (int TmpVar_6602491956332921_1764555044774 = 0;
TmpVar_6602491956332921_1764555044774
< lv_byte_arr_1764555044720_66024919024057010.length;
TmpVar_6602491956332921_1764555044774++) {
lv_byte_arr_1764555044720_66024919024057010[TmpVar_6602491956332921_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956332921_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956349732_1764555044774 = 0;
TmpVar_6602491956349732_1764555044774
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491956349732_1764555044774++) {
lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491956349732_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956349732_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956364078_1764555044774 = 0;
TmpVar_6602491956364078_1764555044774
< lv_byte_arr_1764555044724_66024919058901522.length;
TmpVar_6602491956364078_1764555044774++) {
lv_byte_arr_1764555044724_66024919058901522[TmpVar_6602491956364078_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956364078_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956378924_1764555044774 = 0;
TmpVar_6602491956378924_1764555044774
< lv_byte_arr_1764555044721_66024919035276391.length;
TmpVar_6602491956378924_1764555044774++) {
lv_byte_arr_1764555044721_66024919035276391[TmpVar_6602491956378924_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956378924_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956391046_1764555044774 = 0;
TmpVar_6602491956391046_1764555044774
< lv_byte_arr_1764555044725_66024919068811984.length;
TmpVar_6602491956391046_1764555044774++) {
lv_byte_arr_1764555044725_66024919068811984[TmpVar_6602491956391046_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956391046_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956408782_1764555044774 = 0;
TmpVar_6602491956408782_1764555044774
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491956408782_1764555044774++) {
lv_double_arr_1764555044715_66024918976363020[TmpVar_6602491956408782_1764555044774] =
(((double) (TmpVar_6602491956408782_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956423365_1764555044774 = 0;
TmpVar_6602491956423365_1764555044774
< lv_double_arr_1764555044721_66024919031298834.length;
TmpVar_6602491956423365_1764555044774++) {
lv_double_arr_1764555044721_66024919031298834[TmpVar_6602491956423365_1764555044774] =
(((double) (TmpVar_6602491956423365_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956447615_1764555044774 = 0;
TmpVar_6602491956447615_1764555044774
< lv_double_arr_1764555044721_66024919029003893.length;
TmpVar_6602491956447615_1764555044774++) {
lv_double_arr_1764555044721_66024919029003893[TmpVar_6602491956447615_1764555044774] =
(((double) (TmpVar_6602491956447615_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956461993_1764555044774 = 0;
TmpVar_6602491956461993_1764555044774
< lv_double_arr_1764555044717_66024918990962892.length;
TmpVar_6602491956461993_1764555044774++) {
lv_double_arr_1764555044717_66024918990962892[TmpVar_6602491956461993_1764555044774] =
(((double) (TmpVar_6602491956461993_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956474834_1764555044774 = 0;
TmpVar_6602491956474834_1764555044774
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491956474834_1764555044774++) {
lv_double_arr_1764555044715_66024918976493011[TmpVar_6602491956474834_1764555044774] =
(((double) (TmpVar_6602491956474834_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956601935_1764555044774 = 0;
TmpVar_6602491956601935_1764555044774
< lv_boolean_arr_1764555044716_66024918980631050.length;
TmpVar_6602491956601935_1764555044774++) {
lv_boolean_arr_1764555044716_66024918980631050[TmpVar_6602491956601935_1764555044774] =
(TmpVar_6602491956601935_1764555044774 % 2) == 0;
}
$cls_6602489039472114 TmpVar_6602491595236894_1764555044413 =
new $cls_6602489039472114Impl_6602489038878020();
$cls_6602489039472114 TmpVar_6602491595432015_1764555044413 =
new $cls_6602489039472114Impl_66024890388780202();
System.out.println("i47: " + i47);
i44 = i49 / lv_int_1764555044422_66024916044505090;
System.out.println(
"lv_double_1764555044465_66024916477619140: "
+ lv_double_1764555044465_66024916477619140);
for (lv_int_1764555044460_66024916419648662 = 0;
lv_int_1764555044460_66024916419648662 < 10000;
lv_int_1764555044460_66024916419648662++) {
lv_short_1764555044478_66024916602504431 =
((short)
((lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276))))))
+ (lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276))))))));
s2 =
((short)
(lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276)))))));
s2 += ((short) (lv_short_1764555044478_66024916602504431 + s2));
}
System.out.println("s2: " + s2);
lv_int_1764555044480_66024916623954974 =
lv_int_arr_1764555044478_66024916605145630.hashCode();
i48 = lv_Boolean_1764555044482_66024916644587960.hashCode();
i36 = lv_Double_1764555044486_66024916684223560.hashCode();
lv_int_1764555044480_66024916623954974 =
lv_Object_1764555044490_66024916722684390.hashCode();
i38 = lv_String_1764555044493_66024916755011280.hashCode();
lv_int_1764555044460_66024916421832363 =
lv_Integer_1764555044495_66024916777167530.hashCode();
lv_int_1764555044422_66024916044505090 +=
lv_int_1764555044422_66024916044505090
+ (lv_int_1764555044422_66024916044505090
- lv_int_1764555044422_66024916044505090);
AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044498_66024916804194501 = b1 && (!b1);
AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044700_66024918822752112 = true;
lv_int_1764555044436_66024916182613761 +=
AllFuzzerDefs_1764555040333_96865
.$func_branchOptimization_deoptimize_6602489470139324(i50, 417);
System.out.println(
"lv_int_1764555044436_66024916182613761: "
+ lv_int_1764555044436_66024916182613761);
for (i48 = 0; i48 < 10000; i48++) {
lv_double_1764555044697_66024918792272852 = 34.5;
lv_double_1764555044469_66024916516564641 = 32878.5;
lv_double_1764555044697_66024918792272852 +=
(lv_double_1764555044697_66024918792272852 * 45.5)
+ lv_double_1764555044469_66024916516564641;
}
System.out.println(
"lv_double_1764555044697_66024918792272852: "
+ lv_double_1764555044697_66024918792272852);
for (i42 = 0; i42 < 10000; i42++) {
i46 = 34;
i40 = 32878;
lv_int_1764555044480_66024916623954974 += (i46 * 45) + i40;
}
System.out.println(
"lv_int_1764555044480_66024916623954974: "
+ lv_int_1764555044480_66024916623954974);
for (i39 = 0; i39 < 10000; i39++) {
l4 = 34L;
meth_res = 32878L;
l4 += (l4 * 45L) + meth_res;
}
System.out.println("l4: " + l4);
for (i44 = 0; i44 < 10000; i44++) {
c3 = 'a';
lv_char_1764555044715_66024918973116371 = 'b';
c3 = ((char) (c3 + lv_char_1764555044715_66024918973116371));
}
System.out.println("c3: " + c3);
for (int TmpVar_6602491897717518_1764555044715 = 0;
TmpVar_6602491897717518_1764555044715
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491897717518_1764555044715++) {
lv_double_1764555044465_66024916477619140 +=
lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897717518_1764555044715]
* lv_double_arr_1764555044715_66024918976493011[
TmpVar_6602491897717518_1764555044715];
}
if (lv_double_1764555044465_66024916477619140 == 0) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491897936938_1764555044716 = 0;
TmpVar_6602491897936938_1764555044716
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491897936938_1764555044716++) {
lv_double_1764555044465_66024916477619140 *=
lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897936938_1764555044716]
+ lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897936938_1764555044716];
}
if (lv_double_1764555044465_66024916477619140 == 0) {
System.out.println("arrStmt check");
}
lv_boolean_arr_1764555044716_66024918980631050[
Math.abs(
lv_int_1764555044422_66024916044505090
% lv_boolean_arr_1764555044716_66024918980631050.length)] =
lv_boolean_1764555044716_66024918980374640;
lv_float_arr_1764555044716_66024918982420381[
Math.abs(
((lv_int_1764555044480_66024916623954974
>>> (lv_int_1764555044422_66024916044505090
& 31))
| (lv_int_1764555044480_66024916623954974
<< (32
- (lv_int_1764555044422_66024916044505090
& 31))))
% lv_float_arr_1764555044716_66024918982420381.length)] =
((float) (char) (42));
System.arraycopy(
lv_double_arr_1764555044715_66024918976493011,
1,
lv_double_arr_1764555044715_66024918976493011,
1,
2);
if (lv_double_arr_1764555044715_66024918976493011 != null) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491898824532_1764555044716 = 0;
TmpVar_6602491898824532_1764555044716
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491898824532_1764555044716++) {
i48 *=
Math.abs(
lv_int_arr_1764555044478_66024916605145630[
TmpVar_6602491898824532_1764555044716]
- lv_int_arr_1764555044716_66024918987920551[
TmpVar_6602491898824532_1764555044716]);
}
if (i48 == 0) {
System.out.println("arrStmt check");
}
System.arraycopy(
lv_String_arr_1764555044717_66024918989189011,
0,
lv_String_arr_1764555044717_66024918989108700,
0,
lv_String_arr_1764555044717_66024918989189011.length);
if (lv_String_arr_1764555044717_66024918989108700 == null) {
System.out.println("arrStmt check");
}
lv_Integer_arr_1764555044717_66024918996194870 =
lv_Integer_arr_1764555044717_66024918996270601.clone();
if (lv_Integer_arr_1764555044717_66024918996194870 == null) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491899825627_1764555044717 = 0;
TmpVar_6602491899825627_1764555044717
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491899825627_1764555044717++) {
i43 *=
((int)
(Math.sqrt(
(lv_int_arr_1764555044717_66024918992446942[
TmpVar_6602491899825627_1764555044717]
+ lv_int_arr_1764555044717_66024918998025863[
TmpVar_6602491899825627_1764555044717])
+ 123456)));
}
if (i43 == 0) {
System.out.println("arrStmt check");
}
lv_short_arr_1764555044718_66024918999068720[
Math.abs(383 % lv_short_arr_1764555044718_66024918999068720.length)] =
((short) (766));
System.arraycopy(
lv_String_arr_1764555044718_66024918999841732,
2,
lv_String_arr_1764555044718_66024918999841732,
8,
9);
if (lv_String_arr_1764555044718_66024918999841732 != null) {
System.out.println("arrStmt check");
}
if ((11 % 3) < 1) {
lv_ByteVector_1764555044723_66024919051924912 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 11, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919051924912 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044721_66024919035276391,
11);
}
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044720_66024919024057010,
11);
lv_ByteVector_1764555044722_66024919040765240 =
lv_ByteVector_1764555044723_66024919051924912.lanewise(
VectorOperators.LSHL,
AllFuzzerDefs_1764555040333_96865.$func_byte_inline_6602490014215305(
((byte) (421)), ((byte) (37)))
% Byte.SIZE);
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.lanewise(
VectorOperators.LSHR,
Byte.SIZE
- (AllFuzzerDefs_1764555040333_96865
.$func_byte_inline_6602490014215305(
((byte) (421)), ((byte) (37)))
% Byte.SIZE));
lv_ByteVector_1764555044722_66024919040765240.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 11);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if ((((lv_byte_arr_1764555044721_66024919035276391 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((11 % 5) < 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.MAX));
}
if ((9 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 9, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
9);
}
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044720_66024919024057010,
9);
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044724_66024919058724983.sub(
lv_ByteVector_1764555044723_66024919049964111);
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044721_66024919035276391, 9);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044721_66024919035276391[0]);
if ((((lv_byte_arr_1764555044724_66024919058901522 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
|| (lv_byte_arr_1764555044721_66024919035276391 == null))
&& ((9 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
if ((10 % 3) < 1) {
lv_ByteVector_1764555044722_66024919040765240 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 10, true)
.toVector()));
} else {
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068811984,
10);
}
for (int TmpVar_6602491907049017_1764555044725 = 0;
TmpVar_6602491907049017_1764555044725
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491907049017_1764555044725++) {
if (lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491907049017_1764555044725]
== 0) {
lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491907049017_1764555044725] =
1;
}
}
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
10);
lv_ByteVector_1764555044724_66024919065137574 =
lv_ByteVector_1764555044722_66024919040765240.div(
lv_ByteVector_1764555044722_66024919040765240);
lv_ByteVector_1764555044724_66024919065137574.intoArray(
lv_byte_arr_1764555044724_66024919058901522, 10);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044724_66024919058901522[0]);
if ((((lv_byte_arr_1764555044725_66024919068811984 == null)
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
&& ((10 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.MAX));
}
if ((10 % 3) < 1) {
lv_ByteVector_1764555044723_66024919049964111 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 10, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
10);
}
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.abs();
lv_ByteVector_1764555044723_66024919051924912.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 10);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if (((lv_byte_arr_1764555044724_66024919058901522 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((10 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.MAX));
}
if ((8 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 8, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
8);
}
lv_ByteVector_1764555044724_66024919065137574 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044721_66024919035276391,
8);
lv_ByteVector_1764555044722_66024919040765240 =
lv_ByteVector_1764555044724_66024919058724983.mul(
lv_ByteVector_1764555044724_66024919065137574);
lv_ByteVector_1764555044722_66024919040765240.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 8);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044721_66024919035276391 == null))
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((8 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.MAX));
}
if ((6 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 6, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068811984,
6);
}
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044724_66024919058724983.neg();
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 6);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if (((lv_byte_arr_1764555044725_66024919068811984 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((6 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
if ((11 % 3) < 1) {
lv_ByteVector_1764555044723_66024919049964111 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 11, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
11);
}
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
11);
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.and(
lv_ByteVector_1764555044724_66024919058724983);
lv_ByteVector_1764555044723_66024919051924912.intoArray(
lv_byte_arr_1764555044724_66024919058901522, 11);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044724_66024919058901522[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
&& ((11 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.MAX));
}
if ((2 % 3) < 1) {
lv_ByteVector_1764555044723_66024919051924912 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 2, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919051924912 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
2);
}
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
2);
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044723_66024919051924912
.and(lv_ByteVector_1764555044722_66024919040765240)
.or(lv_ByteVector_1764555044723_66024919051924912.not());
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044725_66024919068662373, 2);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044725_66024919068662373[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
&& ((2 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
System.out.println("i44: " + i44);
System.out.println("f4: " + f4);
FuzzerUtils.out.println((((("i35 i36 i37 = " + i35) + ",") + i36) + ",") + i37);
FuzzerUtils.out.println((((("i38 s1 c3 = " + i38) + ",") + s1) + ",") + ((int) (c3)));
FuzzerUtils.out.println((((("b1 l4 i39 = " + (b1 ? 1 : 0)) + ",") + l4) + ",") + i39);
FuzzerUtils.out.println((((("i40 i41 i42 = " + i40) + ",") + i41) + ",") + i42);
FuzzerUtils.out.println((((("i43 i44 i45 = " + i43) + ",") + i44) + ",") + i45);
FuzzerUtils.out.println(
(((("i46 f4 i47 = " + i46) + ",") + Float.floatToIntBits(f4)) + ",") + i47);
FuzzerUtils.out.println((((("i48 i49 i50 = " + i48) + ",") + i49) + ",") + i50);
FuzzerUtils.out.println(
(((("s2 O17 O18 = " + s2) + ",") + FuzzerUtils.checkSum(O17)) + ",")
+ FuzzerUtils.checkSum(O18));
FuzzerUtils.out.println(
(((("O19 O20 O21 = " + FuzzerUtils.checkSum(O19)) + ",")
+ FuzzerUtils.checkSum(O20))
+ ",")
+ FuzzerUtils.checkSum(O21));
FuzzerUtils.out.println(
(((("O22 O23 O24 = " + FuzzerUtils.checkSum(O22)) + ",")
+ FuzzerUtils.checkSum(O23))
+ ",")
+ FuzzerUtils.checkSum(O24));
FuzzerUtils.out.println(
(("O25 Cls = " + FuzzerUtils.checkSum(O25)) + ",") + Cls.instanceCount);
FuzzerUtils.out.println(
(((("Test.instanceCount iFld dFld = " + Test.instanceCount) + ",") + iFld) + ",")
+ Double.doubleToLongBits(dFld));
FuzzerUtils.out.println(
(((("Test.byFld Test.strFld Test.lFld = " + Test.byFld) + ",")
+ Test.strFld.length())
+ ",")
+ Test.lFld);
FuzzerUtils.out.println(
(((("iFld1 fFld cFld = " + iFld1) + ",") + Float.floatToIntBits(fFld)) + ",")
+ ((int) (cFld)));
FuzzerUtils.out.println(
(((("fArrFld Test.fArrFld1 Test.iArrFld = "
+ Double.doubleToLongBits(
FuzzerUtils.checkSum(fArrFld)))
+ ",")
+ Double.doubleToLongBits(
FuzzerUtils.checkSum(Test.fArrFld1)))
+ ",")
+ FuzzerUtils.checkSum(Test.iArrFld));
FuzzerUtils.out.println(
(((("lArrFld Test.byArrFld strArrFld = " + FuzzerUtils.checkSum(lArrFld)) + ",")
+ FuzzerUtils.checkSum(Test.byArrFld))
+ ",")
+ FuzzerUtils.checkSum(strArrFld));
FuzzerUtils.out.println(
(((("bArrFld1 iArrFld1 Test.OArrFld = " + FuzzerUtils.checkSum(bArrFld1)) + ",")
+ FuzzerUtils.checkSum(iArrFld1))
+ ",")
+ FuzzerUtils.checkSum(Test.OArrFld));
FuzzerUtils.out.println("Cls = " + Cls.instanceCount);
FuzzerUtils.out.println("vMeth1_check_sum: " + vMeth1_check_sum);
for (int TmpVar_6602491955958892_1764555044774 = 0;
TmpVar_6602491955958892_1764555044774
< lv_long_arr_1764555044721_66024919035833421.length;
TmpVar_6602491955958892_1764555044774 =
(2 + (TmpVar_6602491955958892_1764555044774 * 3)) / 2) {
System.out.println(
"long[] lv_long_arr_1764555044721_66024919035833421:: "
+ lv_long_arr_1764555044721_66024919035833421[
TmpVar_6602491955958892_1764555044774]);
}
for (int TmpVar_6602491955996773_1764555044774 = 0;
TmpVar_6602491955996773_1764555044774
< lv_long_arr_1764555044696_66024918782780750.length;
TmpVar_6602491955996773_1764555044774 =
(2 + (TmpVar_6602491955996773_1764555044774 * 3)) / 2) {
System.out.println(
"long[] lv_long_arr_1764555044696_66024918782780750:: "
+ lv_long_arr_1764555044696_66024918782780750[
TmpVar_6602491955996773_1764555044774]);
}
for (int TmpVar_6602491956046274_1764555044774 = 0;
TmpVar_6602491956046274_1764555044774
< lv_String_arr_1764555044718_66024918999841732.length;
TmpVar_6602491956046274_1764555044774 =
(2 + (TmpVar_6602491956046274_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044718_66024918999841732:: "
+ lv_String_arr_1764555044718_66024918999841732[
TmpVar_6602491956046274_1764555044774]);
}
for (int TmpVar_6602491956060679_1764555044774 = 0;
TmpVar_6602491956060679_1764555044774
< lv_String_arr_1764555044717_66024918989108700.length;
TmpVar_6602491956060679_1764555044774 =
(2 + (TmpVar_6602491956060679_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044717_66024918989108700:: "
+ lv_String_arr_1764555044717_66024918989108700[
TmpVar_6602491956060679_1764555044774]);
}
for (int TmpVar_6602491956075336_1764555044774 = 0;
TmpVar_6602491956075336_1764555044774
< lv_String_arr_1764555044720_66024919018643853.length;
TmpVar_6602491956075336_1764555044774 =
(2 + (TmpVar_6602491956075336_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044720_66024919018643853:: "
+ lv_String_arr_1764555044720_66024919018643853[
TmpVar_6602491956075336_1764555044774]);
}
for (int TmpVar_6602491956088723_1764555044774 = 0;
TmpVar_6602491956088723_1764555044774
< lv_String_arr_1764555044717_66024918989189011.length;
TmpVar_6602491956088723_1764555044774 =
(2 + (TmpVar_6602491956088723_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044717_66024918989189011:: "
+ lv_String_arr_1764555044717_66024918989189011[
TmpVar_6602491956088723_1764555044774]);
}
for (int TmpVar_6602491956113747_1764555044774 = 0;
TmpVar_6602491956113747_1764555044774
< lv_Integer_arr_1764555044717_66024918996194870.length;
TmpVar_6602491956113747_1764555044774 =
(2 + (TmpVar_6602491956113747_1764555044774 * 3)) / 2) {
System.out.println(
"Integer[] lv_Integer_arr_1764555044717_66024918996194870:: "
+ lv_Integer_arr_1764555044717_66024918996194870[
TmpVar_6602491956113747_1764555044774]);
}
for (int TmpVar_6602491956126045_1764555044774 = 0;
TmpVar_6602491956126045_1764555044774
< lv_Integer_arr_1764555044717_66024918996270601.length;
TmpVar_6602491956126045_1764555044774 =
(2 + (TmpVar_6602491956126045_1764555044774 * 3)) / 2) {
System.out.println(
"Integer[] lv_Integer_arr_1764555044717_66024918996270601:: "
+ lv_Integer_arr_1764555044717_66024918996270601[
TmpVar_6602491956126045_1764555044774]);
}
for (int TmpVar_6602491956158214_1764555044774 = 0;
TmpVar_6602491956158214_1764555044774
< lv_short_arr_1764555044718_66024918999068720.length;
TmpVar_6602491956158214_1764555044774 =
(2 + (TmpVar_6602491956158214_1764555044774 * 3)) / 2) {
System.out.println(
"short[] lv_short_arr_1764555044718_66024918999068720:: "
+ lv_short_arr_1764555044718_66024918999068720[
TmpVar_6602491956158214_1764555044774]);
}
for (int TmpVar_6602491956171690_1764555044774 = 0;
TmpVar_6602491956171690_1764555044774
< lv_int_arr_1764555044478_66024916605145630.length;
TmpVar_6602491956171690_1764555044774 =
(2 + (TmpVar_6602491956171690_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044478_66024916605145630:: "
+ lv_int_arr_1764555044478_66024916605145630[
TmpVar_6602491956171690_1764555044774]);
}
for (int TmpVar_6602491956183902_1764555044774 = 0;
TmpVar_6602491956183902_1764555044774
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491956183902_1764555044774 =
(2 + (TmpVar_6602491956183902_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044716_66024918987920551:: "
+ lv_int_arr_1764555044716_66024918987920551[
TmpVar_6602491956183902_1764555044774]);
}
for (int TmpVar_6602491956196005_1764555044774 = 0;
TmpVar_6602491956196005_1764555044774
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491956196005_1764555044774 =
(2 + (TmpVar_6602491956196005_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044717_66024918998025863:: "
+ lv_int_arr_1764555044717_66024918998025863[
TmpVar_6602491956196005_1764555044774]);
}
for (int TmpVar_6602491956209047_1764555044774 = 0;
TmpVar_6602491956209047_1764555044774
< lv_int_arr_1764555044717_66024918992446942.length;
TmpVar_6602491956209047_1764555044774 =
(2 + (TmpVar_6602491956209047_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044717_66024918992446942:: "
+ lv_int_arr_1764555044717_66024918992446942[
TmpVar_6602491956209047_1764555044774]);
}
for (int TmpVar_6602491956221890_1764555044774 = 0;
TmpVar_6602491956221890_1764555044774
< lv_int_arr_1764555044719_66024919010084934.length;
TmpVar_6602491956221890_1764555044774 =
(2 + (TmpVar_6602491956221890_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044719_66024919010084934:: "
+ lv_int_arr_1764555044719_66024919010084934[
TmpVar_6602491956221890_1764555044774]);
}
for (int TmpVar_6602491956246116_1764555044774 = 0;
TmpVar_6602491956246116_1764555044774
< lv_char_arr_1764555044453_66024916350687300.length;
TmpVar_6602491956246116_1764555044774 =
(2 + (TmpVar_6602491956246116_1764555044774 * 3)) / 2) {
System.out.println(
"char[] lv_char_arr_1764555044453_66024916350687300:: "
+ lv_char_arr_1764555044453_66024916350687300[
TmpVar_6602491956246116_1764555044774]);
}
for (int TmpVar_6602491956261061_1764555044774 = 0;
TmpVar_6602491956261061_1764555044774
< lv_float_arr_1764555044692_66024918744747240.length;
TmpVar_6602491956261061_1764555044774 =
(2 + (TmpVar_6602491956261061_1764555044774 * 3)) / 2) {
System.out.println(
"float[] lv_float_arr_1764555044692_66024918744747240:: "
+ lv_float_arr_1764555044692_66024918744747240[
TmpVar_6602491956261061_1764555044774]);
}
for (int TmpVar_6602491956274222_1764555044774 = 0;
TmpVar_6602491956274222_1764555044774
< lv_float_arr_1764555044716_66024918982420381.length;
TmpVar_6602491956274222_1764555044774 =
(2 + (TmpVar_6602491956274222_1764555044774 * 3)) / 2) {
System.out.println(
"float[] lv_float_arr_1764555044716_66024918982420381:: "
+ lv_float_arr_1764555044716_66024918982420381[
TmpVar_6602491956274222_1764555044774]);
}
for (int TmpVar_6602491956341189_1764555044774 = 0;
TmpVar_6602491956341189_1764555044774
< lv_byte_arr_1764555044720_66024919024057010.length;
TmpVar_6602491956341189_1764555044774 =
(2 + (TmpVar_6602491956341189_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044720_66024919024057010:: "
+ lv_byte_arr_1764555044720_66024919024057010[
TmpVar_6602491956341189_1764555044774]);
}
for (int TmpVar_6602491956356220_1764555044774 = 0;
TmpVar_6602491956356220_1764555044774
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491956356220_1764555044774 =
(2 + (TmpVar_6602491956356220_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044725_66024919068662373:: "
+ lv_byte_arr_1764555044725_66024919068662373[
TmpVar_6602491956356220_1764555044774]);
}
for (int TmpVar_6602491956370159_1764555044774 = 0;
TmpVar_6602491956370159_1764555044774
< lv_byte_arr_1764555044724_66024919058901522.length;
TmpVar_6602491956370159_1764555044774 =
(2 + (TmpVar_6602491956370159_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044724_66024919058901522:: "
+ lv_byte_arr_1764555044724_66024919058901522[
TmpVar_6602491956370159_1764555044774]);
}
for (int TmpVar_6602491956384066_1764555044774 = 0;
TmpVar_6602491956384066_1764555044774
< lv_byte_arr_1764555044721_66024919035276391.length;
TmpVar_6602491956384066_1764555044774 =
(2 + (TmpVar_6602491956384066_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044721_66024919035276391:: "
+ lv_byte_arr_1764555044721_66024919035276391[
TmpVar_6602491956384066_1764555044774]);
}
for (int TmpVar_6602491956396584_1764555044774 = 0;
TmpVar_6602491956396584_1764555044774
< lv_byte_arr_1764555044725_66024919068811984.length;
TmpVar_6602491956396584_1764555044774 =
(2 + (TmpVar_6602491956396584_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044725_66024919068811984:: "
+ lv_byte_arr_1764555044725_66024919068811984[
TmpVar_6602491956396584_1764555044774]);
}
for (int TmpVar_6602491956415024_1764555044774 = 0;
TmpVar_6602491956415024_1764555044774
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491956415024_1764555044774 =
(2 + (TmpVar_6602491956415024_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044715_66024918976363020:: "
+ lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491956415024_1764555044774]);
}
for (int TmpVar_6602491956429322_1764555044774 = 0;
TmpVar_6602491956429322_1764555044774
< lv_double_arr_1764555044721_66024919031298834.length;
TmpVar_6602491956429322_1764555044774 =
(2 + (TmpVar_6602491956429322_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044721_66024919031298834:: "
+ lv_double_arr_1764555044721_66024919031298834[
TmpVar_6602491956429322_1764555044774]);
}
for (int TmpVar_6602491956454287_1764555044774 = 0;
TmpVar_6602491956454287_1764555044774
< lv_double_arr_1764555044721_66024919029003893.length;
TmpVar_6602491956454287_1764555044774 =
(2 + (TmpVar_6602491956454287_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044721_66024919029003893:: "
+ lv_double_arr_1764555044721_66024919029003893[
TmpVar_6602491956454287_1764555044774]);
}
for (int TmpVar_6602491956467627_1764555044774 = 0;
TmpVar_6602491956467627_1764555044774
< lv_double_arr_1764555044717_66024918990962892.length;
TmpVar_6602491956467627_1764555044774 =
(2 + (TmpVar_6602491956467627_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044717_66024918990962892:: "
+ lv_double_arr_1764555044717_66024918990962892[
TmpVar_6602491956467627_1764555044774]);
}
for (int TmpVar_6602491956480342_1764555044774 = 0;
TmpVar_6602491956480342_1764555044774
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491956480342_1764555044774 =
(2 + (TmpVar_6602491956480342_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044715_66024918976493011:: "
+ lv_double_arr_1764555044715_66024918976493011[
TmpVar_6602491956480342_1764555044774]);
}
for (int TmpVar_6602491956609342_1764555044774 = 0;
TmpVar_6602491956609342_1764555044774
< lv_boolean_arr_1764555044716_66024918980631050.length;
TmpVar_6602491956609342_1764555044774 =
(2 + (TmpVar_6602491956609342_1764555044774 * 3)) / 2) {
System.out.println(
"boolean[] lv_boolean_arr_1764555044716_66024918980631050:: "
+ lv_boolean_arr_1764555044716_66024918980631050[
TmpVar_6602491956609342_1764555044774]);
}
FuzzerUtils.out.println("vMeth_check_sum: " + vMeth_check_sum);
}
public static void main(String[] strArr) {
try {
Test _instance = new Test();
for (int i = 0; i < 5; i++) {
try {
_instance.mainTest(strArr);
} catch (OutOfMemoryError ex) {
ex.printStackTrace(FuzzerUtils.err);
System.exit(1);
} catch (Exception ex) {
FuzzerUtils.out.println(ex.getClass().getCanonicalName());
}
}
} catch (Exception ex) {
FuzzerUtils.out.println(ex.getClass().getCanonicalName());
}
}
}
interface $cls_6602489039472114 {
int foo();
}
class AllFuzzerDefs_1764557352431_39259 {
public static int ARRAY_SIZE = 60;
public static boolean $func_boolean_inline_6604801571861845(boolean $expr1, boolean $expr2) {
return $expr1 && $expr2;
}
public static void $func_lockElimination_deoptimize_2_6604801042732812(
int lockElimination_deoptimize_2_a) {
Object $tmp1 = new Object();
Object $tmp2 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_2_a++;
}
synchronized ($tmp2) {
lockElimination_deoptimize_2_a--;
lockElimination_deoptimize_2_a--;
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017466500882) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617478061 = $tmp2;
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617354170 = $tmp1;
}
}
public static double $func_constantFold_deoptimize_double_6604801265283089(
double constantFold_deoptimize_a, double constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34.5;
constantFold_deoptimize_b = 32878.5;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259
.gb_double_1764557354561_66048017438297971)
+ constantFold_deoptimize_b;
}
public static int $func_zeroOffsetElimination_deoptimize_6604801155676538(
int zeroOffsetElimination_deoptimize_a, int zeroOffsetElimination_deoptimize_b) {
int zeroOffsetElimination_deoptimize_result = 0;
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_a / zeroOffsetElimination_deoptimize_b;
if (zeroOffsetElimination_deoptimize_b != 0) {
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_result + zeroOffsetElimination_deoptimize_b;
} else {
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_result - zeroOffsetElimination_deoptimize_b;
}
return zeroOffsetElimination_deoptimize_result;
}
public static float $func_constantFold_deoptimize_float_6604801265315174(
float constantFold_deoptimize_a, float constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34.5F;
constantFold_deoptimize_b = 32878.5F;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259
.gb_float_1764557354562_66048017438705493)
+ constantFold_deoptimize_b;
}
public static String $func_string_inline_6604801571964864(String $expr1, String $expr2) {
return $expr1 + $expr2;
}
public static byte $func_byte_inline_6604801571888914(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static boolean $func_boolean_inline_6604801690414526(boolean $expr1, boolean $expr2) {
return $expr1 && $expr2;
}
public static float $func_float_inline_6604801571917684(float $expr1, float $expr2) {
return $expr1 + $expr2;
}
public static void $func_lockElimination_deoptimize_1_6604801042434037(
int lockElimination_deoptimize_1_a) {
Object $tmp1 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_1_a++;
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017466500882) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617478061 = $tmp1;
}
}
public static double $func_double_inline_6604801690467825(double $expr1, double $expr2) {
return $expr1 + $expr2;
}
public static double $func_double_inline_6604801571909252(double $expr1, double $expr2) {
return $expr1 + $expr2;
}
public static long $func_constantFold_deoptimize_long_6604801265337489(
long constantFold_deoptimize_a, long constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34L;
constantFold_deoptimize_b = 32878L;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259.gb_long_1764557354561_66048017438033132)
+ constantFold_deoptimize_b;
}
public static long $func_long_inline_6604801571950308(long $expr1, long $expr2) {
return $expr1 + $expr2;
}
public static short $func_short_inline_6604801571957894(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static int $func_constantFold_deoptimize_int_6604801265327407(
int constantFold_deoptimize_a, int constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34;
constantFold_deoptimize_b = 32878;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259.gb_int_1764557354561_66048017438550731)
+ constantFold_deoptimize_b;
}
public static long $func_long_inline_6604801690489271(long $expr1, long $expr2) {
return $expr1 + $expr2;
}
public static String $func_string_inline_6604801690513465(String $expr1, String $expr2) {
return $expr1 + $expr2;
}
public static char $func_char_inline_6604801571900178(char $expr1, char $expr2) {
return ((char) ($expr1 + $expr2));
}
public static byte $func_byte_inline_6604801690450578(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static String $func_constantFold_deoptimize_string_6604801265437578(
String constantFold_deoptimize_a, String constantFold_deoptimize_b) {
constantFold_deoptimize_a = "Hello";
constantFold_deoptimize_b = "World";
return (constantFold_deoptimize_b
+ AllFuzzerDefs_1764557352431_39259
.gb_String_1764557354561_66048017436855710)
+ constantFold_deoptimize_b;
}
public static char $func_char_inline_6604801690460098(char $expr1, char $expr2) {
return ((char) ($expr1 + $expr2));
}
public static int $func_int_inline_6604801571942052(int $expr1, int $expr2) {
return $expr1 + $expr2;
}
public static int $func_int_inline_6604801690482379(int $expr1, int $expr2) {
return $expr1 + $expr2;
}
public static float $func_float_inline_6604801690475088(float $expr1, float $expr2) {
return $expr1 + $expr2;
}
public static int $func_deadCodeElimination_deoptimize_6604801585255875(
int deadCodeElimination_deoptimize_a) {
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017465137441) {
return deadCodeElimination_deoptimize_a
* AllFuzzerDefs_1764557352431_39259.gb_int_1764557354561_66048017437684520;
}
return 0;
}
public static short $func_short_inline_6604801690506313(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static void $func_lockElimination_deoptimize_3_6604801042754542(
int lockElimination_deoptimize_3_a) {
Object $tmp1 = new Object();
Object $tmp2 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_3_a++;
synchronized ($tmp2) {
lockElimination_deoptimize_3_a++;
lockElimination_deoptimize_3_a -= 10;
}
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354579_66048017617949413) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617999552 = $tmp1;
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617354170 = $tmp2;
}
}
public static boolean gb_boolean_1764557354564_66048017466500882 = true;
public static boolean gb_boolean_1764557354580_66048017623685304 = true;
public static boolean gb_boolean_1764557354579_66048017617949413 = true;
public static boolean gb_boolean_1764557354564_66048017465137441 = true;
public static boolean gb_boolean_1764557354564_66048017460938970 = true;
public static $cls_6604801433964219 gb__cls_6604801433964219_1764557354564_66048017467696620 =
new $cls_6604801433964219();
public static double gb_double_1764557354561_66048017436017320 = 6028.789745074943;
public static double gb_double_1764557354561_66048017438297971 = 6028.789745074943;
public static double gb_double_1764557354567_66048017489064174 = 6028.789745074943;
public static double gb_double_1764557354566_66048017483551552 = 6028.789745074943;
public static double gb_double_1764557354566_66048017485523313 = 6028.789745074943;
public static char gb_char_1764557354619_66048018016460840 = (char) 61;
public static short gb_short_1764557354545_66048017275723740 = (short) 247;
public static short gb_short_1764557354622_66048018038664442 = (short) 247;
public static short gb_short_1764557354614_66048017960856221 = (short) 247;
public static Object gb_Object_1764557354579_66048017617478061 = new Object();
public static Object gb_Object_1764557354579_66048017617354170 = new Object();
public static Object gb_Object_1764557354579_66048017617999552 = new Object();
public static String gb_String_1764557354561_66048017437945061 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354567_66048017497810593 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354621_66048018034290604 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354561_66048017436855710 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354561_66048017438208362 = "uiclojbgcjkbkfjqszm";
public static float gb_float_1764557354562_66048017438705493 = 850.24774f;
public static float gb_float_1764557354561_66048017438467702 = 850.24774f;
public static float gb_float_1764557354620_66048018023201904 = 850.24774f;
public static float gb_float_1764557354561_66048017437022751 = 850.24774f;
public static float gb_float_1764557354560_66048017427456970 = 850.24774f;
public static long gb_long_1764557354558_66048017403401941 = 16215L;
public static long gb_long_1764557354621_66048018034393844 = 16215L;
public static long gb_long_1764557354619_66048018017732403 = 16215L;
public static long gb_long_1764557354558_66048017402230830 = 16215L;
public static long gb_long_1764557354561_66048017438033132 = 16215L;
public static int gb_int_1764557354565_66048017468808413 = 213;
public static int gb_int_1764557354561_66048017438550731 = 213;
public static int gb_int_1764557354561_66048017437684520 = 213;
public static int gb_int_1764557354567_66048017492185144 = 213;
public static int gb_int_1764557354562_66048017438789902 = 213;
}
class $cls_6604801433964219 {
int x;
int y;
}
interface $cls_6604800868302024 {
int foo();
}
class FuzzerUtils {
public static PrintStream out = System.out;
public static PrintStream err = System.err;
public static Random random = new Random(1);
public static long seed = 1L;
public static int UnknownZero = 0;
// Init seed
public static void seed(long seed) {
random = new Random(seed);
FuzzerUtils.seed = seed;
}
public static int nextInt() {
return random.nextInt();
}
public static long nextLong() {
return random.nextLong();
}
public static float nextFloat() {
return random.nextFloat();
}
public static double nextDouble() {
return random.nextDouble();
}
public static boolean nextBoolean() {
return random.nextBoolean();
}
public static byte nextByte() {
return (byte) random.nextInt();
}
public static short nextShort() {
return (short) random.nextInt();
}
public static char nextChar() {
return (char) random.nextInt();
}
// Array initialization
// boolean -----------------------------------------------
public static void init(boolean[] a, boolean seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed : (j % 3 == 0);
}
}
public static void init(boolean[][] a, boolean seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Boolean -----------------------------------------------
public static void init(Boolean[] a, Boolean seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Boolean.valueOf((j % 2 == 0) ? seed : (j % 3 == 0));
}
}
public static void init(Boolean[][] a, Boolean seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// long --------------------------------------------------
public static void init(long[] a, long seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(long[][] a, long seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Long --------------------------------------------------
public static void init(Long[] a, Long seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Long.valueOf((long) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Long[][] a, Long seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// int --------------------------------------------------
public static void init(int[] a, int seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(int[][] a, int seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Integer --------------------------------------------------
public static void init(Integer[] a, Integer seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Integer.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Integer[][] a, Integer seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// short --------------------------------------------------
public static void init(short[] a, short seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (short) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(short[][] a, short seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Short --------------------------------------------------
public static void init(Short[] a, Short seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Short.valueOf((short) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Short[][] a, Short seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// char --------------------------------------------------
public static void init(char[] a, char seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (char) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(char[][] a, char seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Character --------------------------------------------------
public static void init(Character[] a, Character seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Character.valueOf((char) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Character[][] a, Character seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// byte --------------------------------------------------
public static void init(byte[] a, byte seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (byte) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(byte[][] a, byte seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Byte --------------------------------------------------
public static void init(Byte[] a, Byte seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Byte.valueOf((byte) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Byte[][] a, Byte seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// double --------------------------------------------------
public static void init(double[] a, double seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(double[][] a, double seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Double --------------------------------------------------
public static void init(Double[] a, Double seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Double.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Double[][] a, Double seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// float --------------------------------------------------
public static void init(float[] a, float seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(float[][] a, float seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Float --------------------------------------------------
public static void init(Float[] a, Float seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Float.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Float[][] a, Float seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Object -------------------------------------------------
public static void init(Object[][] a, Object seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
public static void init(Object[] a, Object seed) {
for (int j = 0; j < a.length; j++)
try {
a[j] = seed.getClass().getDeclaredConstructor().newInstance();
} catch (Exception ex) {
a[j] = seed;
}
}
// Calculate array checksum
// boolean -----------------------------------------------
public static long checkSum(boolean[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] ? j + 1 : 0);
}
return sum;
}
public static long checkSum(boolean[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// long --------------------------------------------------
public static long checkSum(long[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(long[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// int --------------------------------------------------
public static long checkSum(int[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(int[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// short --------------------------------------------------
public static long checkSum(short[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (short) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(short[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// char --------------------------------------------------
public static long checkSum(char[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (char) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(char[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// byte --------------------------------------------------
public static long checkSum(byte[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (byte) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(byte[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// double --------------------------------------------------
public static double checkSum(double[] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static double checkSum(double[][] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// float --------------------------------------------------
public static double checkSum(float[] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static double checkSum(float[][] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// Object --------------------------------------------------
public static long checkSum(Object[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
public static long checkSum(Object[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]) * Math.pow(2, j);
}
return sum;
}
public static long checkSum(Object a) {
if (a == null) return 0L;
return (long) a.getClass().getCanonicalName().length();
}
// Array creation ------------------------------------------
public static byte[] byte1array(int sz, byte seed) {
byte[] ret = new byte[sz];
init(ret, seed);
return ret;
}
public static byte[][] byte2array(int sz, byte seed) {
byte[][] ret = new byte[sz][sz];
init(ret, seed);
return ret;
}
public static Byte[] Byte1array(int sz, Byte seed) {
Byte[] ret = new Byte[sz];
init(ret, seed);
return ret;
}
public static Byte[][] Byte2array(int sz, Byte seed) {
Byte[][] ret = new Byte[sz][sz];
init(ret, seed);
return ret;
}
public static short[] short1array(int sz, short seed) {
short[] ret = new short[sz];
init(ret, seed);
return ret;
}
public static short[][] short2array(int sz, short seed) {
short[][] ret = new short[sz][sz];
init(ret, seed);
return ret;
}
public static Short[] Short1array(int sz, Short seed) {
Short[] ret = new Short[sz];
init(ret, seed);
return ret;
}
public static Short[][] Short2array(int sz, Short seed) {
Short[][] ret = new Short[sz][sz];
init(ret, seed);
return ret;
}
public static int[] int1array(int sz, int seed) {
int[] ret = new int[sz];
init(ret, seed);
return ret;
}
public static int[][] int2array(int sz, int seed) {
int[][] ret = new int[sz][sz];
init(ret, seed);
return ret;
}
public static Integer[] Integer1array(int sz, Integer seed) {
Integer[] ret = new Integer[sz];
init(ret, seed);
return ret;
}
public static Integer[][] Integer2array(int sz, Integer seed) {
Integer[][] ret = new Integer[sz][sz];
init(ret, seed);
return ret;
}
public static long[] long1array(int sz, long seed) {
long[] ret = new long[sz];
init(ret, seed);
return ret;
}
public static long[][] long2array(int sz, long seed) {
long[][] ret = new long[sz][sz];
init(ret, seed);
return ret;
}
public static Long[] Long1array(int sz, Long seed) {
Long[] ret = new Long[sz];
init(ret, seed);
return ret;
}
public static Long[][] Long2array(int sz, Long seed) {
Long[][] ret = new Long[sz][sz];
init(ret, seed);
return ret;
}
public static float[] float1array(int sz, float seed) {
float[] ret = new float[sz];
init(ret, seed);
return ret;
}
public static float[][] float2array(int sz, float seed) {
float[][] ret = new float[sz][sz];
init(ret, seed);
return ret;
}
public static Float[] Float1array(int sz, Float seed) {
Float[] ret = new Float[sz];
init(ret, seed);
return ret;
}
public static Float[][] Float2array(int sz, Float seed) {
Float[][] ret = new Float[sz][sz];
init(ret, seed);
return ret;
}
public static double[] double1array(int sz, double seed) {
double[] ret = new double[sz];
init(ret, seed);
return ret;
}
public static double[][] double2array(int sz, double seed) {
double[][] ret = new double[sz][sz];
init(ret, seed);
return ret;
}
public static Double[] Double1array(int sz, Double seed) {
Double[] ret = new Double[sz];
init(ret, seed);
return ret;
}
public static Double[][] Double2array(int sz, Double seed) {
Double[][] ret = new Double[sz][sz];
init(ret, seed);
return ret;
}
public static char[] char1array(int sz, char seed) {
char[] ret = new char[sz];
init(ret, seed);
return ret;
}
public static char[][] char2array(int sz, char seed) {
char[][] ret = new char[sz][sz];
init(ret, seed);
return ret;
}
public static Character[] Character1array(int sz, Character seed) {
Character[] ret = new Character[sz];
init(ret, seed);
return ret;
}
public static Character[][] Character2array(int sz, Character seed) {
Character[][] ret = new Character[sz][sz];
init(ret, seed);
return ret;
}
public static Object[] Object1array(int sz, Object seed) {
Object[] ret = new Object[sz];
init(ret, seed);
return ret;
}
public static Object[][] Object2array(int sz, Object seed) {
Object[][] ret = new Object[sz][sz];
init(ret, seed);
return ret;
}
public static boolean[] boolean1array(int sz, boolean seed) {
boolean[] ret = new boolean[sz];
init(ret, seed);
return ret;
}
public static boolean[][] boolean2array(int sz, boolean seed) {
boolean[][] ret = new boolean[sz][sz];
init(ret, seed);
return ret;
}
public static Boolean[] Boolean1array(int sz, Boolean seed) {
Boolean[] ret = new Boolean[sz];
init(ret, seed);
return ret;
}
public static Boolean[][] Boolean2array(int sz, Boolean seed) {
Boolean[][] ret = new Boolean[sz][sz];
init(ret, seed);
return ret;
}
public static String[] String1array(int sz, String seed) {
String[] ret = new String[sz];
init(ret, seed);
return ret;
}
public static String[][] String2array(int sz, String seed) {
String[][] ret = new String[sz][sz];
init(ret, seed);
return ret;
}
public static AtomicLong runningThreads = new AtomicLong(0);
public static synchronized void runThread(Runnable r) {
final Thread t = new Thread(r);
t.start();
runningThreads.incrementAndGet();
Thread t1 =
new Thread(
new Runnable() {
public void run() {
try {
t.join();
runningThreads.decrementAndGet();
} catch (InterruptedException e) {
}
}
});
t1.start();
}
public static void joinThreads() {
while (runningThreads.get() > 0) {
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
}
}
}
}
---------- END SOURCE ----------
FREQUENCY :
ALWAYS
- Operating system: Linux
- Compiler/toolchain: GCC 9.5
- Source commit: 24fe61ea13610d2f5d22f1b6696b871eb0505379 (tag: 17.0.19-internal+0, branch: master)
- Build type: release
- Build environment: Linux, compiled from source with GCC 9.5
A DESCRIPTION OF THE PROBLEM :
Running the attached self-contained Java program with jdk.incubator.vector enabled produces different console output under the C2 compiler (-Xcomp -Xbatch) compared to the interpreter (-Xint). The program is deterministic (no I/O races or non-deterministic sources beyond Random seeded to a constant) and prints a long sequence of computed values. Several lines differ consistently between -Xint and -Xcomp, indicating a likely JIT miscompilation. The code exercises ByteVector operations (lanewise shifts, sub, mul, div, and/or/not, abs, reduceLanes, intoArray/fromArray) intermixed with scalar arithmetic, array updates, and heavy loops. The mismatches include both integer accumulators and float array elements that should not differ across execution modes.
STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
1) Save the attached source as Test.java (it contains all classes in one file).
2) Build or use a recent jdk17u-dev build (fastdebug or release). Ensure Vector API is present.
3) Run:
- /path/to/jdk/bin/java -Xcomp -Xbatch --add-modules jdk.incubator.vector Test > run1.log 2> run1.err
- /path/to/jdk/bin/java -Xint --add-modules jdk.incubator.vector Test > run2.log 2> run2.err
4) Diff the outputs:
- diff run1.log run2.log
- diff run1.err run2.err
---------- BEGIN SOURCE ----------
import jdk.incubator.vector.*;
import java.io.PrintStream;
import java.util.Random;
import java.util.concurrent.atomic.AtomicLong;
class AllFuzzerDefs_1764555040333_96865 {
public static int ARRAY_SIZE = 60;
public static byte $func_byte_inline_6602490014215305(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static short $func_short_inline_6602488995911535(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static int $func_branchOptimization_deoptimize_6602489470139324(
int branchOptimization_deoptimize_a, int branchOptimization_deoptimize_b) {
if (AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044700_66024918822752112) {
return branchOptimization_deoptimize_a * branchOptimization_deoptimize_b;
} else {
return branchOptimization_deoptimize_a + branchOptimization_deoptimize_b;
}
}
public static boolean gb_boolean_1764555044700_66024918822752112 = true;
public static boolean gb_boolean_1764555044498_66024916804194501 = true;
public static short gb_short_1764555044471_66024916537973480 = ((short) (601));
}
class $cls_6602489039472114Impl_66024890388780202 implements $cls_6602489039472114 {
public int foo() {
return 42;
}
}
class $cls_6602489039472114Impl_6602489038878020 implements $cls_6602489039472114 {
public int foo() {
return 42;
}
}
class Cls {
public static final int N = 128;
public static volatile long instanceCount = 3845999460L;
public short sFld = -1191;
public volatile double dFld1 = -94.62969;
public boolean bFld = false;
public boolean bArrFld[] = new boolean[N];
public static long iMeth_check_sum = 0;
public int iMeth(long l) {
iMeth_check_sum += l;
return (int) l;
}
}
public class Test {
public static final int N = 128;
public static long instanceCount = 114059379L;
public int iFld = 133;
public double dFld = -1.48203;
public static byte byFld = 52;
public static String strFld = "two";
public static long lFld = -2318561684L;
public int iFld1 = -6;
public float fFld = 2.41F;
public char cFld = 34859;
public float fArrFld[][] = new float[N][N];
public static float fArrFld1[] = new float[N];
public static int iArrFld[] = new int[N];
public volatile long lArrFld[] = new long[N];
public static byte byArrFld[] = new byte[N];
public String strArrFld[] = new String[N];
public boolean bArrFld1[][] = new boolean[N][N];
public int iArrFld1[] = new int[N];
public static Object OArrFld[] = new Object[52];
static {
FuzzerUtils.init(Test.fArrFld1, 0.792F);
FuzzerUtils.init(Test.iArrFld, 90);
FuzzerUtils.init(Test.byArrFld, ((byte) (42)));
FuzzerUtils.init(Test.OArrFld, new Cls());
}
public static long vMeth_check_sum = 0;
public static long vMeth1_check_sum = 0;
public static void vMeth1() {
vMeth1_check_sum += 1;
return;
}
public void vMeth(int i, int i1) {
vMeth_check_sum += ((((i + i1))));
return;
}
public void mainTest(String[] strArr1) {
long[] lv_long_arr_1764555044721_66024919035833421 =
new long[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long[] lv_long_arr_1764555044696_66024918782780750 =
new long[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String lv_String_1764555044709_66024918911259831 = "qlupamfgnef";
String lv_String_1764555044493_66024916755011280 = "qlupamfgnef";
String lv_String_1764555044720_66024919026767702 = "qlupamfgnef";
String[] lv_String_arr_1764555044718_66024918999841732 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044717_66024918989108700 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044720_66024919018643853 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
String[] lv_String_arr_1764555044717_66024918989189011 =
new String[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float lv_float_1764555044717_66024918994453643 = 423.59628F;
float lv_float_1764555044445_66024916275966371 = 423.59628F;
float lv_float_1764555044445_66024916275881050 = 423.59628F;
float lv_float_1764555044692_66024918747637232 = 423.59628F;
float lv_float_1764555044736_66024919179104344 = 423.59628F;
Integer[] lv_Integer_arr_1764555044717_66024918996194870 =
new Integer[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Integer[] lv_Integer_arr_1764555044717_66024918996270601 =
new Integer[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long lv_long_1764555044443_66024916249966591 = 11406L;
long lv_long_1764555044436_66024916187238490 = 11406L;
Boolean lv_Boolean_1764555044482_66024916644587960 = Boolean.FALSE;
double lv_double_1764555044465_66024916477619140 = 9924.139487785344;
double lv_double_1764555044697_66024918792272852 = 9924.139487785344;
double lv_double_1764555044717_66024918990833023 = 9924.139487785344;
double lv_double_1764555044469_66024916516564641 = 9924.139487785344;
byte lv_byte_1764555044718_66024919003253210 = ((byte) (31));
short[] lv_short_arr_1764555044718_66024918999068720 =
new short[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044478_66024916605145630 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044716_66024918987920551 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044717_66024918998025863 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044717_66024918992446942 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
int[] lv_int_arr_1764555044719_66024919010084934 =
new int[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Double lv_Double_1764555044486_66024916684223560 = Double.valueOf(4945.791404606545);
int lv_int_1764555044480_66024916623954974 = 549;
int lv_int_1764555044422_66024916044505090 = 549;
int lv_int_1764555044436_66024916182613761 = 549;
int lv_int_1764555044460_66024916419648662 = 549;
int lv_int_1764555044460_66024916421832363 = 549;
char[] lv_char_arr_1764555044453_66024916350687300 =
new char[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float[] lv_float_arr_1764555044692_66024918744747240 =
new float[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
float[] lv_float_arr_1764555044716_66024918982420381 =
new float[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
ByteVector lv_ByteVector_1764555044722_66024919040765240 = null;
ByteVector lv_ByteVector_1764555044723_66024919049964111 = null;
ByteVector lv_ByteVector_1764555044724_66024919065137574 = null;
ByteVector lv_ByteVector_1764555044723_66024919051924912 = null;
ByteVector lv_ByteVector_1764555044724_66024919058724983 = null;
Integer lv_Integer_1764555044495_66024916777167530 = Integer.valueOf(-826);
byte[] lv_byte_arr_1764555044720_66024919024057010 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044725_66024919068662373 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044724_66024919058901522 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044721_66024919035276391 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
byte[] lv_byte_arr_1764555044725_66024919068811984 =
new byte[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
boolean lv_boolean_1764555044716_66024918980374640 = true;
double[] lv_double_arr_1764555044715_66024918976363020 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044721_66024919031298834 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044721_66024919029003893 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044717_66024918990962892 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
double[] lv_double_arr_1764555044715_66024918976493011 =
new double[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
char lv_char_1764555044734_66024919159998922 = ((char) (7));
char lv_char_1764555044708_66024918903127270 = ((char) (7));
char lv_char_1764555044715_66024918973116371 = ((char) (7));
short lv_short_1764555044471_66024916537180030 = ((short) (601));
short lv_short_1764555044478_66024916602504431 = ((short) (601));
Object lv_Object_1764555044490_66024916722684390 = new Object();
boolean[] lv_boolean_arr_1764555044716_66024918980631050 =
new boolean[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044717_66024918995340230 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044718_66024919008226781 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
Object[] lv_Object_arr_1764555044721_66024919033820792 =
new Object[AllFuzzerDefs_1764555040333_96865.ARRAY_SIZE];
long meth_res = 0;
int i35 = -16;
int i36 = -108;
int i37 = -80;
int i38 = 11302;
int i39 = 1;
int i40 = -64452;
int i41 = -105;
int i42 = -14172;
int i43 = -19;
int i44 = 115;
int i45 = 3948;
int i46 = 11;
int i47 = -119;
int i48 = 175;
int i49 = 12;
int i50 = 198;
short s1 = 22443;
short s2 = 17684;
char c3 = 32282;
boolean b1 = false;
long l4 = -3583658286L;
float f4 = -1.169F;
Cls O17 = new Cls();
Cls O18 = new Cls();
Cls O19 = new Cls();
Cls O20 = new Cls();
Cls O21 = new Cls();
Cls O22 = new Cls();
Cls O23 = new Cls();
Cls O24 = new Cls();
Cls O25 = new Cls();
for (int TmpVar_6602491955867715_1764555044774 = 0;
TmpVar_6602491955867715_1764555044774
< lv_long_arr_1764555044721_66024919035833421.length;
TmpVar_6602491955867715_1764555044774++) {
lv_long_arr_1764555044721_66024919035833421[TmpVar_6602491955867715_1764555044774] =
(((long) (TmpVar_6602491955867715_1764555044774)) * 100) + 12L;
}
for (int TmpVar_6602491955972316_1764555044774 = 0;
TmpVar_6602491955972316_1764555044774
< lv_long_arr_1764555044696_66024918782780750.length;
TmpVar_6602491955972316_1764555044774++) {
lv_long_arr_1764555044696_66024918782780750[TmpVar_6602491955972316_1764555044774] =
(((long) (TmpVar_6602491955972316_1764555044774)) * 100) + 12L;
}
for (int TmpVar_6602491956038848_1764555044774 = 0;
TmpVar_6602491956038848_1764555044774
< lv_String_arr_1764555044718_66024918999841732.length;
TmpVar_6602491956038848_1764555044774++) {
lv_String_arr_1764555044718_66024918999841732[TmpVar_6602491956038848_1764555044774] =
((TmpVar_6602491956038848_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956038848_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956054637_1764555044774 = 0;
TmpVar_6602491956054637_1764555044774
< lv_String_arr_1764555044717_66024918989108700.length;
TmpVar_6602491956054637_1764555044774++) {
lv_String_arr_1764555044717_66024918989108700[TmpVar_6602491956054637_1764555044774] =
((TmpVar_6602491956054637_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956054637_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956069177_1764555044774 = 0;
TmpVar_6602491956069177_1764555044774
< lv_String_arr_1764555044720_66024919018643853.length;
TmpVar_6602491956069177_1764555044774++) {
lv_String_arr_1764555044720_66024919018643853[TmpVar_6602491956069177_1764555044774] =
((TmpVar_6602491956069177_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956069177_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956083011_1764555044774 = 0;
TmpVar_6602491956083011_1764555044774
< lv_String_arr_1764555044717_66024918989189011.length;
TmpVar_6602491956083011_1764555044774++) {
lv_String_arr_1764555044717_66024918989189011[TmpVar_6602491956083011_1764555044774] =
((TmpVar_6602491956083011_1764555044774 % 2) == 0)
? "Str" + ((((int) (TmpVar_6602491956083011_1764555044774)) * 10) + 56)
: "";
}
for (int TmpVar_6602491956107638_1764555044774 = 0;
TmpVar_6602491956107638_1764555044774
< lv_Integer_arr_1764555044717_66024918996194870.length;
TmpVar_6602491956107638_1764555044774++) {
lv_Integer_arr_1764555044717_66024918996194870[TmpVar_6602491956107638_1764555044774] =
Integer.valueOf((((int) (TmpVar_6602491956107638_1764555044774)) * 200) + 34);
}
for (int TmpVar_6602491956120625_1764555044774 = 0;
TmpVar_6602491956120625_1764555044774
< lv_Integer_arr_1764555044717_66024918996270601.length;
TmpVar_6602491956120625_1764555044774++) {
lv_Integer_arr_1764555044717_66024918996270601[TmpVar_6602491956120625_1764555044774] =
Integer.valueOf((((int) (TmpVar_6602491956120625_1764555044774)) * 200) + 34);
}
for (int TmpVar_6602491956152177_1764555044774 = 0;
TmpVar_6602491956152177_1764555044774
< lv_short_arr_1764555044718_66024918999068720.length;
TmpVar_6602491956152177_1764555044774++) {
lv_short_arr_1764555044718_66024918999068720[TmpVar_6602491956152177_1764555044774] =
((short) ((((short) (TmpVar_6602491956152177_1764555044774)) * 10) + 34));
}
for (int TmpVar_6602491956166287_1764555044774 = 0;
TmpVar_6602491956166287_1764555044774
< lv_int_arr_1764555044478_66024916605145630.length;
TmpVar_6602491956166287_1764555044774++) {
lv_int_arr_1764555044478_66024916605145630[TmpVar_6602491956166287_1764555044774] =
(((int) (TmpVar_6602491956166287_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956178289_1764555044774 = 0;
TmpVar_6602491956178289_1764555044774
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491956178289_1764555044774++) {
lv_int_arr_1764555044716_66024918987920551[TmpVar_6602491956178289_1764555044774] =
(((int) (TmpVar_6602491956178289_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956190583_1764555044774 = 0;
TmpVar_6602491956190583_1764555044774
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491956190583_1764555044774++) {
lv_int_arr_1764555044717_66024918998025863[TmpVar_6602491956190583_1764555044774] =
(((int) (TmpVar_6602491956190583_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956203062_1764555044774 = 0;
TmpVar_6602491956203062_1764555044774
< lv_int_arr_1764555044717_66024918992446942.length;
TmpVar_6602491956203062_1764555044774++) {
lv_int_arr_1764555044717_66024918992446942[TmpVar_6602491956203062_1764555044774] =
(((int) (TmpVar_6602491956203062_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956216172_1764555044774 = 0;
TmpVar_6602491956216172_1764555044774
< lv_int_arr_1764555044719_66024919010084934.length;
TmpVar_6602491956216172_1764555044774++) {
lv_int_arr_1764555044719_66024919010084934[TmpVar_6602491956216172_1764555044774] =
(((int) (TmpVar_6602491956216172_1764555044774)) * 100) + 12;
}
for (int TmpVar_6602491956240424_1764555044774 = 0;
TmpVar_6602491956240424_1764555044774
< lv_char_arr_1764555044453_66024916350687300.length;
TmpVar_6602491956240424_1764555044774++) {
lv_char_arr_1764555044453_66024916350687300[TmpVar_6602491956240424_1764555044774] =
((char) ((((char) (TmpVar_6602491956240424_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956254687_1764555044774 = 0;
TmpVar_6602491956254687_1764555044774
< lv_float_arr_1764555044692_66024918744747240.length;
TmpVar_6602491956254687_1764555044774++) {
lv_float_arr_1764555044692_66024918744747240[TmpVar_6602491956254687_1764555044774] =
(((float) (TmpVar_6602491956254687_1764555044774)) * 1.5F) + 7.89F;
}
for (int TmpVar_6602491956268465_1764555044774 = 0;
TmpVar_6602491956268465_1764555044774
< lv_float_arr_1764555044716_66024918982420381.length;
TmpVar_6602491956268465_1764555044774++) {
lv_float_arr_1764555044716_66024918982420381[TmpVar_6602491956268465_1764555044774] =
(((float) (TmpVar_6602491956268465_1764555044774)) * 1.5F) + 7.89F;
}
for (int TmpVar_6602491956332921_1764555044774 = 0;
TmpVar_6602491956332921_1764555044774
< lv_byte_arr_1764555044720_66024919024057010.length;
TmpVar_6602491956332921_1764555044774++) {
lv_byte_arr_1764555044720_66024919024057010[TmpVar_6602491956332921_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956332921_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956349732_1764555044774 = 0;
TmpVar_6602491956349732_1764555044774
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491956349732_1764555044774++) {
lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491956349732_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956349732_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956364078_1764555044774 = 0;
TmpVar_6602491956364078_1764555044774
< lv_byte_arr_1764555044724_66024919058901522.length;
TmpVar_6602491956364078_1764555044774++) {
lv_byte_arr_1764555044724_66024919058901522[TmpVar_6602491956364078_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956364078_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956378924_1764555044774 = 0;
TmpVar_6602491956378924_1764555044774
< lv_byte_arr_1764555044721_66024919035276391.length;
TmpVar_6602491956378924_1764555044774++) {
lv_byte_arr_1764555044721_66024919035276391[TmpVar_6602491956378924_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956378924_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956391046_1764555044774 = 0;
TmpVar_6602491956391046_1764555044774
< lv_byte_arr_1764555044725_66024919068811984.length;
TmpVar_6602491956391046_1764555044774++) {
lv_byte_arr_1764555044725_66024919068811984[TmpVar_6602491956391046_1764555044774] =
((byte) ((((byte) (TmpVar_6602491956391046_1764555044774)) * 5) + 12));
}
for (int TmpVar_6602491956408782_1764555044774 = 0;
TmpVar_6602491956408782_1764555044774
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491956408782_1764555044774++) {
lv_double_arr_1764555044715_66024918976363020[TmpVar_6602491956408782_1764555044774] =
(((double) (TmpVar_6602491956408782_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956423365_1764555044774 = 0;
TmpVar_6602491956423365_1764555044774
< lv_double_arr_1764555044721_66024919031298834.length;
TmpVar_6602491956423365_1764555044774++) {
lv_double_arr_1764555044721_66024919031298834[TmpVar_6602491956423365_1764555044774] =
(((double) (TmpVar_6602491956423365_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956447615_1764555044774 = 0;
TmpVar_6602491956447615_1764555044774
< lv_double_arr_1764555044721_66024919029003893.length;
TmpVar_6602491956447615_1764555044774++) {
lv_double_arr_1764555044721_66024919029003893[TmpVar_6602491956447615_1764555044774] =
(((double) (TmpVar_6602491956447615_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956461993_1764555044774 = 0;
TmpVar_6602491956461993_1764555044774
< lv_double_arr_1764555044717_66024918990962892.length;
TmpVar_6602491956461993_1764555044774++) {
lv_double_arr_1764555044717_66024918990962892[TmpVar_6602491956461993_1764555044774] =
(((double) (TmpVar_6602491956461993_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956474834_1764555044774 = 0;
TmpVar_6602491956474834_1764555044774
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491956474834_1764555044774++) {
lv_double_arr_1764555044715_66024918976493011[TmpVar_6602491956474834_1764555044774] =
(((double) (TmpVar_6602491956474834_1764555044774)) * 1.5) + 7.89;
}
for (int TmpVar_6602491956601935_1764555044774 = 0;
TmpVar_6602491956601935_1764555044774
< lv_boolean_arr_1764555044716_66024918980631050.length;
TmpVar_6602491956601935_1764555044774++) {
lv_boolean_arr_1764555044716_66024918980631050[TmpVar_6602491956601935_1764555044774] =
(TmpVar_6602491956601935_1764555044774 % 2) == 0;
}
$cls_6602489039472114 TmpVar_6602491595236894_1764555044413 =
new $cls_6602489039472114Impl_6602489038878020();
$cls_6602489039472114 TmpVar_6602491595432015_1764555044413 =
new $cls_6602489039472114Impl_66024890388780202();
System.out.println("i47: " + i47);
i44 = i49 / lv_int_1764555044422_66024916044505090;
System.out.println(
"lv_double_1764555044465_66024916477619140: "
+ lv_double_1764555044465_66024916477619140);
for (lv_int_1764555044460_66024916419648662 = 0;
lv_int_1764555044460_66024916419648662 < 10000;
lv_int_1764555044460_66024916419648662++) {
lv_short_1764555044478_66024916602504431 =
((short)
((lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276))))))
+ (lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276))))))));
s2 =
((short)
(lv_short_1764555044471_66024916537180030
+ AllFuzzerDefs_1764555040333_96865
.$func_short_inline_6602488995911535(
lv_short_1764555044471_66024916537180030,
((short)
(AllFuzzerDefs_1764555040333_96865
.gb_short_1764555044471_66024916537973480
* ((short) (276)))))));
s2 += ((short) (lv_short_1764555044478_66024916602504431 + s2));
}
System.out.println("s2: " + s2);
lv_int_1764555044480_66024916623954974 =
lv_int_arr_1764555044478_66024916605145630.hashCode();
i48 = lv_Boolean_1764555044482_66024916644587960.hashCode();
i36 = lv_Double_1764555044486_66024916684223560.hashCode();
lv_int_1764555044480_66024916623954974 =
lv_Object_1764555044490_66024916722684390.hashCode();
i38 = lv_String_1764555044493_66024916755011280.hashCode();
lv_int_1764555044460_66024916421832363 =
lv_Integer_1764555044495_66024916777167530.hashCode();
lv_int_1764555044422_66024916044505090 +=
lv_int_1764555044422_66024916044505090
+ (lv_int_1764555044422_66024916044505090
- lv_int_1764555044422_66024916044505090);
AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044498_66024916804194501 = b1 && (!b1);
AllFuzzerDefs_1764555040333_96865.gb_boolean_1764555044700_66024918822752112 = true;
lv_int_1764555044436_66024916182613761 +=
AllFuzzerDefs_1764555040333_96865
.$func_branchOptimization_deoptimize_6602489470139324(i50, 417);
System.out.println(
"lv_int_1764555044436_66024916182613761: "
+ lv_int_1764555044436_66024916182613761);
for (i48 = 0; i48 < 10000; i48++) {
lv_double_1764555044697_66024918792272852 = 34.5;
lv_double_1764555044469_66024916516564641 = 32878.5;
lv_double_1764555044697_66024918792272852 +=
(lv_double_1764555044697_66024918792272852 * 45.5)
+ lv_double_1764555044469_66024916516564641;
}
System.out.println(
"lv_double_1764555044697_66024918792272852: "
+ lv_double_1764555044697_66024918792272852);
for (i42 = 0; i42 < 10000; i42++) {
i46 = 34;
i40 = 32878;
lv_int_1764555044480_66024916623954974 += (i46 * 45) + i40;
}
System.out.println(
"lv_int_1764555044480_66024916623954974: "
+ lv_int_1764555044480_66024916623954974);
for (i39 = 0; i39 < 10000; i39++) {
l4 = 34L;
meth_res = 32878L;
l4 += (l4 * 45L) + meth_res;
}
System.out.println("l4: " + l4);
for (i44 = 0; i44 < 10000; i44++) {
c3 = 'a';
lv_char_1764555044715_66024918973116371 = 'b';
c3 = ((char) (c3 + lv_char_1764555044715_66024918973116371));
}
System.out.println("c3: " + c3);
for (int TmpVar_6602491897717518_1764555044715 = 0;
TmpVar_6602491897717518_1764555044715
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491897717518_1764555044715++) {
lv_double_1764555044465_66024916477619140 +=
lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897717518_1764555044715]
* lv_double_arr_1764555044715_66024918976493011[
TmpVar_6602491897717518_1764555044715];
}
if (lv_double_1764555044465_66024916477619140 == 0) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491897936938_1764555044716 = 0;
TmpVar_6602491897936938_1764555044716
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491897936938_1764555044716++) {
lv_double_1764555044465_66024916477619140 *=
lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897936938_1764555044716]
+ lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491897936938_1764555044716];
}
if (lv_double_1764555044465_66024916477619140 == 0) {
System.out.println("arrStmt check");
}
lv_boolean_arr_1764555044716_66024918980631050[
Math.abs(
lv_int_1764555044422_66024916044505090
% lv_boolean_arr_1764555044716_66024918980631050.length)] =
lv_boolean_1764555044716_66024918980374640;
lv_float_arr_1764555044716_66024918982420381[
Math.abs(
((lv_int_1764555044480_66024916623954974
>>> (lv_int_1764555044422_66024916044505090
& 31))
| (lv_int_1764555044480_66024916623954974
<< (32
- (lv_int_1764555044422_66024916044505090
& 31))))
% lv_float_arr_1764555044716_66024918982420381.length)] =
((float) (char) (42));
System.arraycopy(
lv_double_arr_1764555044715_66024918976493011,
1,
lv_double_arr_1764555044715_66024918976493011,
1,
2);
if (lv_double_arr_1764555044715_66024918976493011 != null) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491898824532_1764555044716 = 0;
TmpVar_6602491898824532_1764555044716
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491898824532_1764555044716++) {
i48 *=
Math.abs(
lv_int_arr_1764555044478_66024916605145630[
TmpVar_6602491898824532_1764555044716]
- lv_int_arr_1764555044716_66024918987920551[
TmpVar_6602491898824532_1764555044716]);
}
if (i48 == 0) {
System.out.println("arrStmt check");
}
System.arraycopy(
lv_String_arr_1764555044717_66024918989189011,
0,
lv_String_arr_1764555044717_66024918989108700,
0,
lv_String_arr_1764555044717_66024918989189011.length);
if (lv_String_arr_1764555044717_66024918989108700 == null) {
System.out.println("arrStmt check");
}
lv_Integer_arr_1764555044717_66024918996194870 =
lv_Integer_arr_1764555044717_66024918996270601.clone();
if (lv_Integer_arr_1764555044717_66024918996194870 == null) {
System.out.println("arrStmt check");
}
for (int TmpVar_6602491899825627_1764555044717 = 0;
TmpVar_6602491899825627_1764555044717
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491899825627_1764555044717++) {
i43 *=
((int)
(Math.sqrt(
(lv_int_arr_1764555044717_66024918992446942[
TmpVar_6602491899825627_1764555044717]
+ lv_int_arr_1764555044717_66024918998025863[
TmpVar_6602491899825627_1764555044717])
+ 123456)));
}
if (i43 == 0) {
System.out.println("arrStmt check");
}
lv_short_arr_1764555044718_66024918999068720[
Math.abs(383 % lv_short_arr_1764555044718_66024918999068720.length)] =
((short) (766));
System.arraycopy(
lv_String_arr_1764555044718_66024918999841732,
2,
lv_String_arr_1764555044718_66024918999841732,
8,
9);
if (lv_String_arr_1764555044718_66024918999841732 != null) {
System.out.println("arrStmt check");
}
if ((11 % 3) < 1) {
lv_ByteVector_1764555044723_66024919051924912 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 11, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919051924912 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044721_66024919035276391,
11);
}
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044720_66024919024057010,
11);
lv_ByteVector_1764555044722_66024919040765240 =
lv_ByteVector_1764555044723_66024919051924912.lanewise(
VectorOperators.LSHL,
AllFuzzerDefs_1764555040333_96865.$func_byte_inline_6602490014215305(
((byte) (421)), ((byte) (37)))
% Byte.SIZE);
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.lanewise(
VectorOperators.LSHR,
Byte.SIZE
- (AllFuzzerDefs_1764555040333_96865
.$func_byte_inline_6602490014215305(
((byte) (421)), ((byte) (37)))
% Byte.SIZE));
lv_ByteVector_1764555044722_66024919040765240.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 11);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if ((((lv_byte_arr_1764555044721_66024919035276391 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((11 % 5) < 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.MAX));
}
if ((9 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 9, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
9);
}
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044720_66024919024057010,
9);
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044724_66024919058724983.sub(
lv_ByteVector_1764555044723_66024919049964111);
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044721_66024919035276391, 9);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044721_66024919035276391[0]);
if ((((lv_byte_arr_1764555044724_66024919058901522 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
|| (lv_byte_arr_1764555044721_66024919035276391 == null))
&& ((9 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
if ((10 % 3) < 1) {
lv_ByteVector_1764555044722_66024919040765240 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 10, true)
.toVector()));
} else {
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068811984,
10);
}
for (int TmpVar_6602491907049017_1764555044725 = 0;
TmpVar_6602491907049017_1764555044725
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491907049017_1764555044725++) {
if (lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491907049017_1764555044725]
== 0) {
lv_byte_arr_1764555044725_66024919068662373[TmpVar_6602491907049017_1764555044725] =
1;
}
}
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
10);
lv_ByteVector_1764555044724_66024919065137574 =
lv_ByteVector_1764555044722_66024919040765240.div(
lv_ByteVector_1764555044722_66024919040765240);
lv_ByteVector_1764555044724_66024919065137574.intoArray(
lv_byte_arr_1764555044724_66024919058901522, 10);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044724_66024919058901522[0]);
if ((((lv_byte_arr_1764555044725_66024919068811984 == null)
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
&& ((10 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044724_66024919065137574.reduceLanes(
VectorOperators.MAX));
}
if ((10 % 3) < 1) {
lv_ByteVector_1764555044723_66024919049964111 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 10, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
10);
}
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.abs();
lv_ByteVector_1764555044723_66024919051924912.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 10);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if (((lv_byte_arr_1764555044724_66024919058901522 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((10 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.MAX));
}
if ((8 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 8, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
8);
}
lv_ByteVector_1764555044724_66024919065137574 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044721_66024919035276391,
8);
lv_ByteVector_1764555044722_66024919040765240 =
lv_ByteVector_1764555044724_66024919058724983.mul(
lv_ByteVector_1764555044724_66024919065137574);
lv_ByteVector_1764555044722_66024919040765240.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 8);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044721_66024919035276391 == null))
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((8 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044722_66024919040765240.reduceLanes(
VectorOperators.MAX));
}
if ((6 % 3) < 1) {
lv_ByteVector_1764555044724_66024919058724983 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 6, true)
.toVector()));
} else {
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068811984,
6);
}
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044724_66024919058724983.neg();
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044720_66024919024057010, 6);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044720_66024919024057010[0]);
if (((lv_byte_arr_1764555044725_66024919068811984 == null)
|| (lv_byte_arr_1764555044720_66024919024057010 == null))
&& ((6 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
if ((11 % 3) < 1) {
lv_ByteVector_1764555044723_66024919049964111 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 11, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919049964111 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
11);
}
lv_ByteVector_1764555044724_66024919058724983 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
11);
lv_ByteVector_1764555044723_66024919051924912 =
lv_ByteVector_1764555044723_66024919049964111.and(
lv_ByteVector_1764555044724_66024919058724983);
lv_ByteVector_1764555044723_66024919051924912.intoArray(
lv_byte_arr_1764555044724_66024919058901522, 11);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044724_66024919058901522[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
&& ((11 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919051924912.reduceLanes(
VectorOperators.MAX));
}
if ((2 % 3) < 1) {
lv_ByteVector_1764555044723_66024919051924912 =
((ByteVector)
(VectorShuffle.iota(ByteVector.SPECIES_PREFERRED, 0, 2, true)
.toVector()));
} else {
lv_ByteVector_1764555044723_66024919051924912 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044725_66024919068662373,
2);
}
lv_ByteVector_1764555044722_66024919040765240 =
ByteVector.fromArray(
ByteVector.SPECIES_PREFERRED,
lv_byte_arr_1764555044724_66024919058901522,
2);
lv_ByteVector_1764555044723_66024919049964111 =
lv_ByteVector_1764555044723_66024919051924912
.and(lv_ByteVector_1764555044722_66024919040765240)
.or(lv_ByteVector_1764555044723_66024919051924912.not());
lv_ByteVector_1764555044723_66024919049964111.intoArray(
lv_byte_arr_1764555044725_66024919068662373, 2);
System.out.println("vecStmt Test " + lv_byte_arr_1764555044725_66024919068662373[0]);
if ((((lv_byte_arr_1764555044725_66024919068662373 == null)
|| (lv_byte_arr_1764555044724_66024919058901522 == null))
|| (lv_byte_arr_1764555044725_66024919068662373 == null))
&& ((2 % 5) == 2)) {
System.out.println(
"vecStmt Test_1 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.ADD));
System.out.println(
"vecStmt Test_2 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.XOR));
System.out.println(
"vecStmt Test_3 "
+ lv_ByteVector_1764555044723_66024919049964111.reduceLanes(
VectorOperators.MAX));
}
System.out.println("i44: " + i44);
System.out.println("f4: " + f4);
FuzzerUtils.out.println((((("i35 i36 i37 = " + i35) + ",") + i36) + ",") + i37);
FuzzerUtils.out.println((((("i38 s1 c3 = " + i38) + ",") + s1) + ",") + ((int) (c3)));
FuzzerUtils.out.println((((("b1 l4 i39 = " + (b1 ? 1 : 0)) + ",") + l4) + ",") + i39);
FuzzerUtils.out.println((((("i40 i41 i42 = " + i40) + ",") + i41) + ",") + i42);
FuzzerUtils.out.println((((("i43 i44 i45 = " + i43) + ",") + i44) + ",") + i45);
FuzzerUtils.out.println(
(((("i46 f4 i47 = " + i46) + ",") + Float.floatToIntBits(f4)) + ",") + i47);
FuzzerUtils.out.println((((("i48 i49 i50 = " + i48) + ",") + i49) + ",") + i50);
FuzzerUtils.out.println(
(((("s2 O17 O18 = " + s2) + ",") + FuzzerUtils.checkSum(O17)) + ",")
+ FuzzerUtils.checkSum(O18));
FuzzerUtils.out.println(
(((("O19 O20 O21 = " + FuzzerUtils.checkSum(O19)) + ",")
+ FuzzerUtils.checkSum(O20))
+ ",")
+ FuzzerUtils.checkSum(O21));
FuzzerUtils.out.println(
(((("O22 O23 O24 = " + FuzzerUtils.checkSum(O22)) + ",")
+ FuzzerUtils.checkSum(O23))
+ ",")
+ FuzzerUtils.checkSum(O24));
FuzzerUtils.out.println(
(("O25 Cls = " + FuzzerUtils.checkSum(O25)) + ",") + Cls.instanceCount);
FuzzerUtils.out.println(
(((("Test.instanceCount iFld dFld = " + Test.instanceCount) + ",") + iFld) + ",")
+ Double.doubleToLongBits(dFld));
FuzzerUtils.out.println(
(((("Test.byFld Test.strFld Test.lFld = " + Test.byFld) + ",")
+ Test.strFld.length())
+ ",")
+ Test.lFld);
FuzzerUtils.out.println(
(((("iFld1 fFld cFld = " + iFld1) + ",") + Float.floatToIntBits(fFld)) + ",")
+ ((int) (cFld)));
FuzzerUtils.out.println(
(((("fArrFld Test.fArrFld1 Test.iArrFld = "
+ Double.doubleToLongBits(
FuzzerUtils.checkSum(fArrFld)))
+ ",")
+ Double.doubleToLongBits(
FuzzerUtils.checkSum(Test.fArrFld1)))
+ ",")
+ FuzzerUtils.checkSum(Test.iArrFld));
FuzzerUtils.out.println(
(((("lArrFld Test.byArrFld strArrFld = " + FuzzerUtils.checkSum(lArrFld)) + ",")
+ FuzzerUtils.checkSum(Test.byArrFld))
+ ",")
+ FuzzerUtils.checkSum(strArrFld));
FuzzerUtils.out.println(
(((("bArrFld1 iArrFld1 Test.OArrFld = " + FuzzerUtils.checkSum(bArrFld1)) + ",")
+ FuzzerUtils.checkSum(iArrFld1))
+ ",")
+ FuzzerUtils.checkSum(Test.OArrFld));
FuzzerUtils.out.println("Cls = " + Cls.instanceCount);
FuzzerUtils.out.println("vMeth1_check_sum: " + vMeth1_check_sum);
for (int TmpVar_6602491955958892_1764555044774 = 0;
TmpVar_6602491955958892_1764555044774
< lv_long_arr_1764555044721_66024919035833421.length;
TmpVar_6602491955958892_1764555044774 =
(2 + (TmpVar_6602491955958892_1764555044774 * 3)) / 2) {
System.out.println(
"long[] lv_long_arr_1764555044721_66024919035833421:: "
+ lv_long_arr_1764555044721_66024919035833421[
TmpVar_6602491955958892_1764555044774]);
}
for (int TmpVar_6602491955996773_1764555044774 = 0;
TmpVar_6602491955996773_1764555044774
< lv_long_arr_1764555044696_66024918782780750.length;
TmpVar_6602491955996773_1764555044774 =
(2 + (TmpVar_6602491955996773_1764555044774 * 3)) / 2) {
System.out.println(
"long[] lv_long_arr_1764555044696_66024918782780750:: "
+ lv_long_arr_1764555044696_66024918782780750[
TmpVar_6602491955996773_1764555044774]);
}
for (int TmpVar_6602491956046274_1764555044774 = 0;
TmpVar_6602491956046274_1764555044774
< lv_String_arr_1764555044718_66024918999841732.length;
TmpVar_6602491956046274_1764555044774 =
(2 + (TmpVar_6602491956046274_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044718_66024918999841732:: "
+ lv_String_arr_1764555044718_66024918999841732[
TmpVar_6602491956046274_1764555044774]);
}
for (int TmpVar_6602491956060679_1764555044774 = 0;
TmpVar_6602491956060679_1764555044774
< lv_String_arr_1764555044717_66024918989108700.length;
TmpVar_6602491956060679_1764555044774 =
(2 + (TmpVar_6602491956060679_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044717_66024918989108700:: "
+ lv_String_arr_1764555044717_66024918989108700[
TmpVar_6602491956060679_1764555044774]);
}
for (int TmpVar_6602491956075336_1764555044774 = 0;
TmpVar_6602491956075336_1764555044774
< lv_String_arr_1764555044720_66024919018643853.length;
TmpVar_6602491956075336_1764555044774 =
(2 + (TmpVar_6602491956075336_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044720_66024919018643853:: "
+ lv_String_arr_1764555044720_66024919018643853[
TmpVar_6602491956075336_1764555044774]);
}
for (int TmpVar_6602491956088723_1764555044774 = 0;
TmpVar_6602491956088723_1764555044774
< lv_String_arr_1764555044717_66024918989189011.length;
TmpVar_6602491956088723_1764555044774 =
(2 + (TmpVar_6602491956088723_1764555044774 * 3)) / 2) {
System.out.println(
"String[] lv_String_arr_1764555044717_66024918989189011:: "
+ lv_String_arr_1764555044717_66024918989189011[
TmpVar_6602491956088723_1764555044774]);
}
for (int TmpVar_6602491956113747_1764555044774 = 0;
TmpVar_6602491956113747_1764555044774
< lv_Integer_arr_1764555044717_66024918996194870.length;
TmpVar_6602491956113747_1764555044774 =
(2 + (TmpVar_6602491956113747_1764555044774 * 3)) / 2) {
System.out.println(
"Integer[] lv_Integer_arr_1764555044717_66024918996194870:: "
+ lv_Integer_arr_1764555044717_66024918996194870[
TmpVar_6602491956113747_1764555044774]);
}
for (int TmpVar_6602491956126045_1764555044774 = 0;
TmpVar_6602491956126045_1764555044774
< lv_Integer_arr_1764555044717_66024918996270601.length;
TmpVar_6602491956126045_1764555044774 =
(2 + (TmpVar_6602491956126045_1764555044774 * 3)) / 2) {
System.out.println(
"Integer[] lv_Integer_arr_1764555044717_66024918996270601:: "
+ lv_Integer_arr_1764555044717_66024918996270601[
TmpVar_6602491956126045_1764555044774]);
}
for (int TmpVar_6602491956158214_1764555044774 = 0;
TmpVar_6602491956158214_1764555044774
< lv_short_arr_1764555044718_66024918999068720.length;
TmpVar_6602491956158214_1764555044774 =
(2 + (TmpVar_6602491956158214_1764555044774 * 3)) / 2) {
System.out.println(
"short[] lv_short_arr_1764555044718_66024918999068720:: "
+ lv_short_arr_1764555044718_66024918999068720[
TmpVar_6602491956158214_1764555044774]);
}
for (int TmpVar_6602491956171690_1764555044774 = 0;
TmpVar_6602491956171690_1764555044774
< lv_int_arr_1764555044478_66024916605145630.length;
TmpVar_6602491956171690_1764555044774 =
(2 + (TmpVar_6602491956171690_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044478_66024916605145630:: "
+ lv_int_arr_1764555044478_66024916605145630[
TmpVar_6602491956171690_1764555044774]);
}
for (int TmpVar_6602491956183902_1764555044774 = 0;
TmpVar_6602491956183902_1764555044774
< lv_int_arr_1764555044716_66024918987920551.length;
TmpVar_6602491956183902_1764555044774 =
(2 + (TmpVar_6602491956183902_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044716_66024918987920551:: "
+ lv_int_arr_1764555044716_66024918987920551[
TmpVar_6602491956183902_1764555044774]);
}
for (int TmpVar_6602491956196005_1764555044774 = 0;
TmpVar_6602491956196005_1764555044774
< lv_int_arr_1764555044717_66024918998025863.length;
TmpVar_6602491956196005_1764555044774 =
(2 + (TmpVar_6602491956196005_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044717_66024918998025863:: "
+ lv_int_arr_1764555044717_66024918998025863[
TmpVar_6602491956196005_1764555044774]);
}
for (int TmpVar_6602491956209047_1764555044774 = 0;
TmpVar_6602491956209047_1764555044774
< lv_int_arr_1764555044717_66024918992446942.length;
TmpVar_6602491956209047_1764555044774 =
(2 + (TmpVar_6602491956209047_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044717_66024918992446942:: "
+ lv_int_arr_1764555044717_66024918992446942[
TmpVar_6602491956209047_1764555044774]);
}
for (int TmpVar_6602491956221890_1764555044774 = 0;
TmpVar_6602491956221890_1764555044774
< lv_int_arr_1764555044719_66024919010084934.length;
TmpVar_6602491956221890_1764555044774 =
(2 + (TmpVar_6602491956221890_1764555044774 * 3)) / 2) {
System.out.println(
"int[] lv_int_arr_1764555044719_66024919010084934:: "
+ lv_int_arr_1764555044719_66024919010084934[
TmpVar_6602491956221890_1764555044774]);
}
for (int TmpVar_6602491956246116_1764555044774 = 0;
TmpVar_6602491956246116_1764555044774
< lv_char_arr_1764555044453_66024916350687300.length;
TmpVar_6602491956246116_1764555044774 =
(2 + (TmpVar_6602491956246116_1764555044774 * 3)) / 2) {
System.out.println(
"char[] lv_char_arr_1764555044453_66024916350687300:: "
+ lv_char_arr_1764555044453_66024916350687300[
TmpVar_6602491956246116_1764555044774]);
}
for (int TmpVar_6602491956261061_1764555044774 = 0;
TmpVar_6602491956261061_1764555044774
< lv_float_arr_1764555044692_66024918744747240.length;
TmpVar_6602491956261061_1764555044774 =
(2 + (TmpVar_6602491956261061_1764555044774 * 3)) / 2) {
System.out.println(
"float[] lv_float_arr_1764555044692_66024918744747240:: "
+ lv_float_arr_1764555044692_66024918744747240[
TmpVar_6602491956261061_1764555044774]);
}
for (int TmpVar_6602491956274222_1764555044774 = 0;
TmpVar_6602491956274222_1764555044774
< lv_float_arr_1764555044716_66024918982420381.length;
TmpVar_6602491956274222_1764555044774 =
(2 + (TmpVar_6602491956274222_1764555044774 * 3)) / 2) {
System.out.println(
"float[] lv_float_arr_1764555044716_66024918982420381:: "
+ lv_float_arr_1764555044716_66024918982420381[
TmpVar_6602491956274222_1764555044774]);
}
for (int TmpVar_6602491956341189_1764555044774 = 0;
TmpVar_6602491956341189_1764555044774
< lv_byte_arr_1764555044720_66024919024057010.length;
TmpVar_6602491956341189_1764555044774 =
(2 + (TmpVar_6602491956341189_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044720_66024919024057010:: "
+ lv_byte_arr_1764555044720_66024919024057010[
TmpVar_6602491956341189_1764555044774]);
}
for (int TmpVar_6602491956356220_1764555044774 = 0;
TmpVar_6602491956356220_1764555044774
< lv_byte_arr_1764555044725_66024919068662373.length;
TmpVar_6602491956356220_1764555044774 =
(2 + (TmpVar_6602491956356220_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044725_66024919068662373:: "
+ lv_byte_arr_1764555044725_66024919068662373[
TmpVar_6602491956356220_1764555044774]);
}
for (int TmpVar_6602491956370159_1764555044774 = 0;
TmpVar_6602491956370159_1764555044774
< lv_byte_arr_1764555044724_66024919058901522.length;
TmpVar_6602491956370159_1764555044774 =
(2 + (TmpVar_6602491956370159_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044724_66024919058901522:: "
+ lv_byte_arr_1764555044724_66024919058901522[
TmpVar_6602491956370159_1764555044774]);
}
for (int TmpVar_6602491956384066_1764555044774 = 0;
TmpVar_6602491956384066_1764555044774
< lv_byte_arr_1764555044721_66024919035276391.length;
TmpVar_6602491956384066_1764555044774 =
(2 + (TmpVar_6602491956384066_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044721_66024919035276391:: "
+ lv_byte_arr_1764555044721_66024919035276391[
TmpVar_6602491956384066_1764555044774]);
}
for (int TmpVar_6602491956396584_1764555044774 = 0;
TmpVar_6602491956396584_1764555044774
< lv_byte_arr_1764555044725_66024919068811984.length;
TmpVar_6602491956396584_1764555044774 =
(2 + (TmpVar_6602491956396584_1764555044774 * 3)) / 2) {
System.out.println(
"byte[] lv_byte_arr_1764555044725_66024919068811984:: "
+ lv_byte_arr_1764555044725_66024919068811984[
TmpVar_6602491956396584_1764555044774]);
}
for (int TmpVar_6602491956415024_1764555044774 = 0;
TmpVar_6602491956415024_1764555044774
< lv_double_arr_1764555044715_66024918976363020.length;
TmpVar_6602491956415024_1764555044774 =
(2 + (TmpVar_6602491956415024_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044715_66024918976363020:: "
+ lv_double_arr_1764555044715_66024918976363020[
TmpVar_6602491956415024_1764555044774]);
}
for (int TmpVar_6602491956429322_1764555044774 = 0;
TmpVar_6602491956429322_1764555044774
< lv_double_arr_1764555044721_66024919031298834.length;
TmpVar_6602491956429322_1764555044774 =
(2 + (TmpVar_6602491956429322_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044721_66024919031298834:: "
+ lv_double_arr_1764555044721_66024919031298834[
TmpVar_6602491956429322_1764555044774]);
}
for (int TmpVar_6602491956454287_1764555044774 = 0;
TmpVar_6602491956454287_1764555044774
< lv_double_arr_1764555044721_66024919029003893.length;
TmpVar_6602491956454287_1764555044774 =
(2 + (TmpVar_6602491956454287_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044721_66024919029003893:: "
+ lv_double_arr_1764555044721_66024919029003893[
TmpVar_6602491956454287_1764555044774]);
}
for (int TmpVar_6602491956467627_1764555044774 = 0;
TmpVar_6602491956467627_1764555044774
< lv_double_arr_1764555044717_66024918990962892.length;
TmpVar_6602491956467627_1764555044774 =
(2 + (TmpVar_6602491956467627_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044717_66024918990962892:: "
+ lv_double_arr_1764555044717_66024918990962892[
TmpVar_6602491956467627_1764555044774]);
}
for (int TmpVar_6602491956480342_1764555044774 = 0;
TmpVar_6602491956480342_1764555044774
< lv_double_arr_1764555044715_66024918976493011.length;
TmpVar_6602491956480342_1764555044774 =
(2 + (TmpVar_6602491956480342_1764555044774 * 3)) / 2) {
System.out.println(
"double[] lv_double_arr_1764555044715_66024918976493011:: "
+ lv_double_arr_1764555044715_66024918976493011[
TmpVar_6602491956480342_1764555044774]);
}
for (int TmpVar_6602491956609342_1764555044774 = 0;
TmpVar_6602491956609342_1764555044774
< lv_boolean_arr_1764555044716_66024918980631050.length;
TmpVar_6602491956609342_1764555044774 =
(2 + (TmpVar_6602491956609342_1764555044774 * 3)) / 2) {
System.out.println(
"boolean[] lv_boolean_arr_1764555044716_66024918980631050:: "
+ lv_boolean_arr_1764555044716_66024918980631050[
TmpVar_6602491956609342_1764555044774]);
}
FuzzerUtils.out.println("vMeth_check_sum: " + vMeth_check_sum);
}
public static void main(String[] strArr) {
try {
Test _instance = new Test();
for (int i = 0; i < 5; i++) {
try {
_instance.mainTest(strArr);
} catch (OutOfMemoryError ex) {
ex.printStackTrace(FuzzerUtils.err);
System.exit(1);
} catch (Exception ex) {
FuzzerUtils.out.println(ex.getClass().getCanonicalName());
}
}
} catch (Exception ex) {
FuzzerUtils.out.println(ex.getClass().getCanonicalName());
}
}
}
interface $cls_6602489039472114 {
int foo();
}
class AllFuzzerDefs_1764557352431_39259 {
public static int ARRAY_SIZE = 60;
public static boolean $func_boolean_inline_6604801571861845(boolean $expr1, boolean $expr2) {
return $expr1 && $expr2;
}
public static void $func_lockElimination_deoptimize_2_6604801042732812(
int lockElimination_deoptimize_2_a) {
Object $tmp1 = new Object();
Object $tmp2 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_2_a++;
}
synchronized ($tmp2) {
lockElimination_deoptimize_2_a--;
lockElimination_deoptimize_2_a--;
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017466500882) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617478061 = $tmp2;
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617354170 = $tmp1;
}
}
public static double $func_constantFold_deoptimize_double_6604801265283089(
double constantFold_deoptimize_a, double constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34.5;
constantFold_deoptimize_b = 32878.5;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259
.gb_double_1764557354561_66048017438297971)
+ constantFold_deoptimize_b;
}
public static int $func_zeroOffsetElimination_deoptimize_6604801155676538(
int zeroOffsetElimination_deoptimize_a, int zeroOffsetElimination_deoptimize_b) {
int zeroOffsetElimination_deoptimize_result = 0;
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_a / zeroOffsetElimination_deoptimize_b;
if (zeroOffsetElimination_deoptimize_b != 0) {
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_result + zeroOffsetElimination_deoptimize_b;
} else {
zeroOffsetElimination_deoptimize_result =
zeroOffsetElimination_deoptimize_result - zeroOffsetElimination_deoptimize_b;
}
return zeroOffsetElimination_deoptimize_result;
}
public static float $func_constantFold_deoptimize_float_6604801265315174(
float constantFold_deoptimize_a, float constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34.5F;
constantFold_deoptimize_b = 32878.5F;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259
.gb_float_1764557354562_66048017438705493)
+ constantFold_deoptimize_b;
}
public static String $func_string_inline_6604801571964864(String $expr1, String $expr2) {
return $expr1 + $expr2;
}
public static byte $func_byte_inline_6604801571888914(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static boolean $func_boolean_inline_6604801690414526(boolean $expr1, boolean $expr2) {
return $expr1 && $expr2;
}
public static float $func_float_inline_6604801571917684(float $expr1, float $expr2) {
return $expr1 + $expr2;
}
public static void $func_lockElimination_deoptimize_1_6604801042434037(
int lockElimination_deoptimize_1_a) {
Object $tmp1 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_1_a++;
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017466500882) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617478061 = $tmp1;
}
}
public static double $func_double_inline_6604801690467825(double $expr1, double $expr2) {
return $expr1 + $expr2;
}
public static double $func_double_inline_6604801571909252(double $expr1, double $expr2) {
return $expr1 + $expr2;
}
public static long $func_constantFold_deoptimize_long_6604801265337489(
long constantFold_deoptimize_a, long constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34L;
constantFold_deoptimize_b = 32878L;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259.gb_long_1764557354561_66048017438033132)
+ constantFold_deoptimize_b;
}
public static long $func_long_inline_6604801571950308(long $expr1, long $expr2) {
return $expr1 + $expr2;
}
public static short $func_short_inline_6604801571957894(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static int $func_constantFold_deoptimize_int_6604801265327407(
int constantFold_deoptimize_a, int constantFold_deoptimize_b) {
constantFold_deoptimize_a = 34;
constantFold_deoptimize_b = 32878;
return (constantFold_deoptimize_b
* AllFuzzerDefs_1764557352431_39259.gb_int_1764557354561_66048017438550731)
+ constantFold_deoptimize_b;
}
public static long $func_long_inline_6604801690489271(long $expr1, long $expr2) {
return $expr1 + $expr2;
}
public static String $func_string_inline_6604801690513465(String $expr1, String $expr2) {
return $expr1 + $expr2;
}
public static char $func_char_inline_6604801571900178(char $expr1, char $expr2) {
return ((char) ($expr1 + $expr2));
}
public static byte $func_byte_inline_6604801690450578(byte $expr1, byte $expr2) {
return ((byte) ($expr1 + $expr2));
}
public static String $func_constantFold_deoptimize_string_6604801265437578(
String constantFold_deoptimize_a, String constantFold_deoptimize_b) {
constantFold_deoptimize_a = "Hello";
constantFold_deoptimize_b = "World";
return (constantFold_deoptimize_b
+ AllFuzzerDefs_1764557352431_39259
.gb_String_1764557354561_66048017436855710)
+ constantFold_deoptimize_b;
}
public static char $func_char_inline_6604801690460098(char $expr1, char $expr2) {
return ((char) ($expr1 + $expr2));
}
public static int $func_int_inline_6604801571942052(int $expr1, int $expr2) {
return $expr1 + $expr2;
}
public static int $func_int_inline_6604801690482379(int $expr1, int $expr2) {
return $expr1 + $expr2;
}
public static float $func_float_inline_6604801690475088(float $expr1, float $expr2) {
return $expr1 + $expr2;
}
public static int $func_deadCodeElimination_deoptimize_6604801585255875(
int deadCodeElimination_deoptimize_a) {
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354564_66048017465137441) {
return deadCodeElimination_deoptimize_a
* AllFuzzerDefs_1764557352431_39259.gb_int_1764557354561_66048017437684520;
}
return 0;
}
public static short $func_short_inline_6604801690506313(short $expr1, short $expr2) {
return ((short) ($expr1 + $expr2));
}
public static void $func_lockElimination_deoptimize_3_6604801042754542(
int lockElimination_deoptimize_3_a) {
Object $tmp1 = new Object();
Object $tmp2 = new Object();
synchronized ($tmp1) {
lockElimination_deoptimize_3_a++;
synchronized ($tmp2) {
lockElimination_deoptimize_3_a++;
lockElimination_deoptimize_3_a -= 10;
}
}
if (AllFuzzerDefs_1764557352431_39259.gb_boolean_1764557354579_66048017617949413) {
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617999552 = $tmp1;
AllFuzzerDefs_1764557352431_39259.gb_Object_1764557354579_66048017617354170 = $tmp2;
}
}
public static boolean gb_boolean_1764557354564_66048017466500882 = true;
public static boolean gb_boolean_1764557354580_66048017623685304 = true;
public static boolean gb_boolean_1764557354579_66048017617949413 = true;
public static boolean gb_boolean_1764557354564_66048017465137441 = true;
public static boolean gb_boolean_1764557354564_66048017460938970 = true;
public static $cls_6604801433964219 gb__cls_6604801433964219_1764557354564_66048017467696620 =
new $cls_6604801433964219();
public static double gb_double_1764557354561_66048017436017320 = 6028.789745074943;
public static double gb_double_1764557354561_66048017438297971 = 6028.789745074943;
public static double gb_double_1764557354567_66048017489064174 = 6028.789745074943;
public static double gb_double_1764557354566_66048017483551552 = 6028.789745074943;
public static double gb_double_1764557354566_66048017485523313 = 6028.789745074943;
public static char gb_char_1764557354619_66048018016460840 = (char) 61;
public static short gb_short_1764557354545_66048017275723740 = (short) 247;
public static short gb_short_1764557354622_66048018038664442 = (short) 247;
public static short gb_short_1764557354614_66048017960856221 = (short) 247;
public static Object gb_Object_1764557354579_66048017617478061 = new Object();
public static Object gb_Object_1764557354579_66048017617354170 = new Object();
public static Object gb_Object_1764557354579_66048017617999552 = new Object();
public static String gb_String_1764557354561_66048017437945061 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354567_66048017497810593 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354621_66048018034290604 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354561_66048017436855710 = "uiclojbgcjkbkfjqszm";
public static String gb_String_1764557354561_66048017438208362 = "uiclojbgcjkbkfjqszm";
public static float gb_float_1764557354562_66048017438705493 = 850.24774f;
public static float gb_float_1764557354561_66048017438467702 = 850.24774f;
public static float gb_float_1764557354620_66048018023201904 = 850.24774f;
public static float gb_float_1764557354561_66048017437022751 = 850.24774f;
public static float gb_float_1764557354560_66048017427456970 = 850.24774f;
public static long gb_long_1764557354558_66048017403401941 = 16215L;
public static long gb_long_1764557354621_66048018034393844 = 16215L;
public static long gb_long_1764557354619_66048018017732403 = 16215L;
public static long gb_long_1764557354558_66048017402230830 = 16215L;
public static long gb_long_1764557354561_66048017438033132 = 16215L;
public static int gb_int_1764557354565_66048017468808413 = 213;
public static int gb_int_1764557354561_66048017438550731 = 213;
public static int gb_int_1764557354561_66048017437684520 = 213;
public static int gb_int_1764557354567_66048017492185144 = 213;
public static int gb_int_1764557354562_66048017438789902 = 213;
}
class $cls_6604801433964219 {
int x;
int y;
}
interface $cls_6604800868302024 {
int foo();
}
class FuzzerUtils {
public static PrintStream out = System.out;
public static PrintStream err = System.err;
public static Random random = new Random(1);
public static long seed = 1L;
public static int UnknownZero = 0;
// Init seed
public static void seed(long seed) {
random = new Random(seed);
FuzzerUtils.seed = seed;
}
public static int nextInt() {
return random.nextInt();
}
public static long nextLong() {
return random.nextLong();
}
public static float nextFloat() {
return random.nextFloat();
}
public static double nextDouble() {
return random.nextDouble();
}
public static boolean nextBoolean() {
return random.nextBoolean();
}
public static byte nextByte() {
return (byte) random.nextInt();
}
public static short nextShort() {
return (short) random.nextInt();
}
public static char nextChar() {
return (char) random.nextInt();
}
// Array initialization
// boolean -----------------------------------------------
public static void init(boolean[] a, boolean seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed : (j % 3 == 0);
}
}
public static void init(boolean[][] a, boolean seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Boolean -----------------------------------------------
public static void init(Boolean[] a, Boolean seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Boolean.valueOf((j % 2 == 0) ? seed : (j % 3 == 0));
}
}
public static void init(Boolean[][] a, Boolean seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// long --------------------------------------------------
public static void init(long[] a, long seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(long[][] a, long seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Long --------------------------------------------------
public static void init(Long[] a, Long seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Long.valueOf((long) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Long[][] a, Long seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// int --------------------------------------------------
public static void init(int[] a, int seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(int[][] a, int seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Integer --------------------------------------------------
public static void init(Integer[] a, Integer seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Integer.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Integer[][] a, Integer seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// short --------------------------------------------------
public static void init(short[] a, short seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (short) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(short[][] a, short seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Short --------------------------------------------------
public static void init(Short[] a, Short seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Short.valueOf((short) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Short[][] a, Short seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// char --------------------------------------------------
public static void init(char[] a, char seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (char) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(char[][] a, char seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Character --------------------------------------------------
public static void init(Character[] a, Character seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Character.valueOf((char) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Character[][] a, Character seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// byte --------------------------------------------------
public static void init(byte[] a, byte seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (byte) ((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(byte[][] a, byte seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Byte --------------------------------------------------
public static void init(Byte[] a, Byte seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Byte.valueOf((byte) ((j % 2 == 0) ? seed + j : seed - j));
}
}
public static void init(Byte[][] a, Byte seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// double --------------------------------------------------
public static void init(double[] a, double seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(double[][] a, double seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Double --------------------------------------------------
public static void init(Double[] a, Double seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Double.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Double[][] a, Double seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// float --------------------------------------------------
public static void init(float[] a, float seed) {
for (int j = 0; j < a.length; j++) {
a[j] = (j % 2 == 0) ? seed + j : seed - j;
}
}
public static void init(float[][] a, float seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Float --------------------------------------------------
public static void init(Float[] a, Float seed) {
for (int j = 0; j < a.length; j++) {
a[j] = Float.valueOf((j % 2 == 0) ? seed + j : seed - j);
}
}
public static void init(Float[][] a, Float seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
// Object -------------------------------------------------
public static void init(Object[][] a, Object seed) {
for (int j = 0; j < a.length; j++) {
init(a[j], seed);
}
}
public static void init(Object[] a, Object seed) {
for (int j = 0; j < a.length; j++)
try {
a[j] = seed.getClass().getDeclaredConstructor().newInstance();
} catch (Exception ex) {
a[j] = seed;
}
}
// Calculate array checksum
// boolean -----------------------------------------------
public static long checkSum(boolean[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] ? j + 1 : 0);
}
return sum;
}
public static long checkSum(boolean[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// long --------------------------------------------------
public static long checkSum(long[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(long[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// int --------------------------------------------------
public static long checkSum(int[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(int[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// short --------------------------------------------------
public static long checkSum(short[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (short) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(short[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// char --------------------------------------------------
public static long checkSum(char[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (char) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(char[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// byte --------------------------------------------------
public static long checkSum(byte[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (byte) (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static long checkSum(byte[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// double --------------------------------------------------
public static double checkSum(double[] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static double checkSum(double[][] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// float --------------------------------------------------
public static double checkSum(float[] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += (a[j] / (j + 1) + a[j] % (j + 1));
}
return sum;
}
public static double checkSum(float[][] a) {
double sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
// Object --------------------------------------------------
public static long checkSum(Object[][] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]);
}
return sum;
}
public static long checkSum(Object[] a) {
long sum = 0;
for (int j = 0; j < a.length; j++) {
sum += checkSum(a[j]) * Math.pow(2, j);
}
return sum;
}
public static long checkSum(Object a) {
if (a == null) return 0L;
return (long) a.getClass().getCanonicalName().length();
}
// Array creation ------------------------------------------
public static byte[] byte1array(int sz, byte seed) {
byte[] ret = new byte[sz];
init(ret, seed);
return ret;
}
public static byte[][] byte2array(int sz, byte seed) {
byte[][] ret = new byte[sz][sz];
init(ret, seed);
return ret;
}
public static Byte[] Byte1array(int sz, Byte seed) {
Byte[] ret = new Byte[sz];
init(ret, seed);
return ret;
}
public static Byte[][] Byte2array(int sz, Byte seed) {
Byte[][] ret = new Byte[sz][sz];
init(ret, seed);
return ret;
}
public static short[] short1array(int sz, short seed) {
short[] ret = new short[sz];
init(ret, seed);
return ret;
}
public static short[][] short2array(int sz, short seed) {
short[][] ret = new short[sz][sz];
init(ret, seed);
return ret;
}
public static Short[] Short1array(int sz, Short seed) {
Short[] ret = new Short[sz];
init(ret, seed);
return ret;
}
public static Short[][] Short2array(int sz, Short seed) {
Short[][] ret = new Short[sz][sz];
init(ret, seed);
return ret;
}
public static int[] int1array(int sz, int seed) {
int[] ret = new int[sz];
init(ret, seed);
return ret;
}
public static int[][] int2array(int sz, int seed) {
int[][] ret = new int[sz][sz];
init(ret, seed);
return ret;
}
public static Integer[] Integer1array(int sz, Integer seed) {
Integer[] ret = new Integer[sz];
init(ret, seed);
return ret;
}
public static Integer[][] Integer2array(int sz, Integer seed) {
Integer[][] ret = new Integer[sz][sz];
init(ret, seed);
return ret;
}
public static long[] long1array(int sz, long seed) {
long[] ret = new long[sz];
init(ret, seed);
return ret;
}
public static long[][] long2array(int sz, long seed) {
long[][] ret = new long[sz][sz];
init(ret, seed);
return ret;
}
public static Long[] Long1array(int sz, Long seed) {
Long[] ret = new Long[sz];
init(ret, seed);
return ret;
}
public static Long[][] Long2array(int sz, Long seed) {
Long[][] ret = new Long[sz][sz];
init(ret, seed);
return ret;
}
public static float[] float1array(int sz, float seed) {
float[] ret = new float[sz];
init(ret, seed);
return ret;
}
public static float[][] float2array(int sz, float seed) {
float[][] ret = new float[sz][sz];
init(ret, seed);
return ret;
}
public static Float[] Float1array(int sz, Float seed) {
Float[] ret = new Float[sz];
init(ret, seed);
return ret;
}
public static Float[][] Float2array(int sz, Float seed) {
Float[][] ret = new Float[sz][sz];
init(ret, seed);
return ret;
}
public static double[] double1array(int sz, double seed) {
double[] ret = new double[sz];
init(ret, seed);
return ret;
}
public static double[][] double2array(int sz, double seed) {
double[][] ret = new double[sz][sz];
init(ret, seed);
return ret;
}
public static Double[] Double1array(int sz, Double seed) {
Double[] ret = new Double[sz];
init(ret, seed);
return ret;
}
public static Double[][] Double2array(int sz, Double seed) {
Double[][] ret = new Double[sz][sz];
init(ret, seed);
return ret;
}
public static char[] char1array(int sz, char seed) {
char[] ret = new char[sz];
init(ret, seed);
return ret;
}
public static char[][] char2array(int sz, char seed) {
char[][] ret = new char[sz][sz];
init(ret, seed);
return ret;
}
public static Character[] Character1array(int sz, Character seed) {
Character[] ret = new Character[sz];
init(ret, seed);
return ret;
}
public static Character[][] Character2array(int sz, Character seed) {
Character[][] ret = new Character[sz][sz];
init(ret, seed);
return ret;
}
public static Object[] Object1array(int sz, Object seed) {
Object[] ret = new Object[sz];
init(ret, seed);
return ret;
}
public static Object[][] Object2array(int sz, Object seed) {
Object[][] ret = new Object[sz][sz];
init(ret, seed);
return ret;
}
public static boolean[] boolean1array(int sz, boolean seed) {
boolean[] ret = new boolean[sz];
init(ret, seed);
return ret;
}
public static boolean[][] boolean2array(int sz, boolean seed) {
boolean[][] ret = new boolean[sz][sz];
init(ret, seed);
return ret;
}
public static Boolean[] Boolean1array(int sz, Boolean seed) {
Boolean[] ret = new Boolean[sz];
init(ret, seed);
return ret;
}
public static Boolean[][] Boolean2array(int sz, Boolean seed) {
Boolean[][] ret = new Boolean[sz][sz];
init(ret, seed);
return ret;
}
public static String[] String1array(int sz, String seed) {
String[] ret = new String[sz];
init(ret, seed);
return ret;
}
public static String[][] String2array(int sz, String seed) {
String[][] ret = new String[sz][sz];
init(ret, seed);
return ret;
}
public static AtomicLong runningThreads = new AtomicLong(0);
public static synchronized void runThread(Runnable r) {
final Thread t = new Thread(r);
t.start();
runningThreads.incrementAndGet();
Thread t1 =
new Thread(
new Runnable() {
public void run() {
try {
t.join();
runningThreads.decrementAndGet();
} catch (InterruptedException e) {
}
}
});
t1.start();
}
public static void joinThreads() {
while (runningThreads.get() > 0) {
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
}
}
}
}
---------- END SOURCE ----------
FREQUENCY :
ALWAYS