truffle: graal/com.oracle.graal.jtt/src/com/oracle/graal/jtt/hotpath/HP

annotate graal/com.oracle.graal.jtt/src/com/oracle/graal/jtt/hotpath/HP_idea.java @ 14991:64dcb92ee75a

Truffle: Change signature for Truffle calls from (PackedFrame, Arguments) to (Object[]).

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Sun, 06 Apr 2014 17:46:24 +0200
parents	c08d340ba2bf
children	369a3f9d1ceb

rev	line source
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	1 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	2 * Copyright (c) 2007, 2012, Oracle and/or its affiliates. All rights reserved.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	4 *
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	7 * published by the Free Software Foundation.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	8 *
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	13 * accompanied this code).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	14 *
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	18 *
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	21 * questions.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	22 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	23 // Checkstyle: stop
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	24
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	25 package com.oracle.graal.jtt.hotpath;
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	26
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	27 import java.util.*;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	28
14991 64dcb92ee75a Truffle: Change signature for Truffle calls from (PackedFrame, Arguments) to (Object[]). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9206 diff changeset	29 import org.junit.*;
64dcb92ee75a Truffle: Change signature for Truffle calls from (PackedFrame, Arguments) to (Object[]). Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9206 diff changeset	30
7282 390448a6b535 converted the JTT tests to use the GraalCompilerTest framework which offers more control over what is compiled and executed Doug Simon <doug.simon@oracle.com> parents: 5061 diff changeset	31 import com.oracle.graal.jtt.*;
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	32
7282 390448a6b535 converted the JTT tests to use the GraalCompilerTest framework which offers more control over what is compiled and executed Doug Simon <doug.simon@oracle.com> parents: 5061 diff changeset	33 public class HP_idea extends JTTTest {
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	34
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	35 public boolean test() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	36 buildTestData();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	37 Do();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	38 return verify();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	39 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	40
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	41 // Declare class data. Byte buffer plain1 holds the original
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	42 // data for encryption, crypt1 holds the encrypted data, and
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	43 // plain2 holds the decrypted data, which should match plain1
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	44 // byte for byte.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	45
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	46 int array_rows;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	47
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	48 byte[] plain1; // Buffer for plaintext data.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	49 byte[] crypt1; // Buffer for encrypted data.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	50 byte[] plain2; // Buffer for decrypted data.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	51
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	52 short[] userkey; // Key for encryption/decryption.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	53 int[] Z; // Encryption subkey (userkey derived).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	54 int[] DK; // Decryption subkey (userkey derived).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	55
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	56 void Do() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	57 cipher_idea(plain1, crypt1, Z); // Encrypt plain1.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	58 cipher_idea(crypt1, plain2, DK); // Decrypt.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	59 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	60
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	61 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	62 * buildTestData
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	63 *
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	64 * Builds the data used for the test -- each time the test is run.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	65 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	66
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	67 void buildTestData() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	68 // Create three byte arrays that will be used (and reused) for
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	69 // encryption/decryption operations.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	70
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	71 plain1 = new byte[array_rows];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	72 crypt1 = new byte[array_rows];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	73 plain2 = new byte[array_rows];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	74
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	75 Random rndnum = new Random(136506717L); // Create random number generator.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	76
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	77 // Allocate three arrays to hold keys: userkey is the 128-bit key.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	78 // Z is the set of 16-bit encryption subkeys derived from userkey,
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	79 // while DK is the set of 16-bit decryption subkeys also derived
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	80 // from userkey. NOTE: The 16-bit values are stored here in
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	81 // 32-bit int arrays so that the values may be used in calculations
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	82 // as if they are unsigned. Each 64-bit block of plaintext goes
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	83 // through eight processing rounds involving six of the subkeys
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	84 // then a final output transform with four of the keys; (8 * 6)
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	85 // + 4 = 52 subkeys.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	86
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	87 userkey = new short[8]; // User key has 8 16-bit shorts.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	88 Z = new int[52]; // Encryption subkey (user key derived).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	89 DK = new int[52]; // Decryption subkey (user key derived).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	90
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	91 // Generate user key randomly; eight 16-bit values in an array.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	92
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	93 for (int i = 0; i < 8; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	94 // Again, the random number function returns int. Converting
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	95 // to a short type preserves the bit pattern in the lower 16
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	96 // bits of the int and discards the rest.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	97
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	98 userkey[i] = (short) rndnum.nextInt();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	99 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	100
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	101 // Compute encryption and decryption subkeys.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	102
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	103 calcEncryptKey();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	104 calcDecryptKey();
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	105
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	106 // Fill plain1 with "text."
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	107 for (int i = 0; i < array_rows; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	108 plain1[i] = (byte) i;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	109
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	110 // Converting to a byte
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	111 // type preserves the bit pattern in the lower 8 bits of the
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	112 // int and discards the rest.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	113 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	114 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	115
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	116 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	117 * calcEncryptKey
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	118 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	119 * Builds the 52 16-bit encryption subkeys Z[] from the user key and stores in 32-bit int array.
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	120 * The routing corrects an error in the source code in the Schnier book. Basically, the sense of
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	121 * the 7- and 9-bit shifts are reversed. It still works reversed, but would encrypted code would
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	122 * not decrypt with someone else's IDEA code.
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	123 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	124
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	125 private void calcEncryptKey() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	126 int j; // Utility variable.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	127
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	128 for (int i = 0; i < 52; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	129 // Zero out the 52-int Z array.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	130 Z[i] = 0;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	131 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	132
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	133 for (int i = 0; i < 8; i++) // First 8 subkeys are userkey itself.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	134 {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	135 Z[i] = userkey[i] & 0xffff; // Convert "unsigned"
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	136 // short to int.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	137 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	138
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	139 // Each set of 8 subkeys thereafter is derived from left rotating
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	140 // the whole 128-bit key 25 bits to left (once between each set of
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	141 // eight keys and then before the last four). Instead of actually
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	142 // rotating the whole key, this routine just grabs the 16 bits
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	143 // that are 25 bits to the right of the corresponding subkey
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	144 // eight positions below the current subkey. That 16-bit extent
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	145 // straddles two array members, so bits are shifted left in one
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	146 // member and right (with zero fill) in the other. For the last
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	147 // two subkeys in any group of eight, those 16 bits start to
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	148 // wrap around to the first two members of the previous eight.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	149
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	150 for (int i = 8; i < 52; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	151 j = i % 8;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	152 if (j < 6) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	153 Z[i] = ((Z[i - 7] >>> 9) \| (Z[i - 6] << 7)) // Shift and combine.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	154 & 0xFFFF; // Just 16 bits.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	155 continue; // Next iteration.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	156 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	157
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	158 if (j == 6) // Wrap to beginning for second chunk.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	159 {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	160 Z[i] = ((Z[i - 7] >>> 9) \| (Z[i - 14] << 7)) & 0xFFFF;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	161 continue;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	162 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	163
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	164 // j == 7 so wrap to beginning for both chunks.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	165
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	166 Z[i] = ((Z[i - 15] >>> 9) \| (Z[i - 14] << 7)) & 0xFFFF;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	167 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	168 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	169
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	170 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	171 * calcDecryptKey
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	172 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	173 * Builds the 52 16-bit encryption subkeys DK[] from the encryption- subkeys Z[]. DK[] is a
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	174 * 32-bit int array holding 16-bit values as unsigned.
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	175 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	176
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	177 private void calcDecryptKey() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	178 int j, k; // Index counters.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	179 int t1, t2, t3; // Temps to hold decrypt subkeys.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	180
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	181 t1 = inv(Z[0]); // Multiplicative inverse (mod x10001).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	182 t2 = -Z[1] & 0xffff; // Additive inverse, 2nd encrypt subkey.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	183 t3 = -Z[2] & 0xffff; // Additive inverse, 3rd encrypt subkey.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	184
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	185 DK[51] = inv(Z[3]); // Multiplicative inverse (mod x10001).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	186 DK[50] = t3;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	187 DK[49] = t2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	188 DK[48] = t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	189
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	190 j = 47; // Indices into temp and encrypt arrays.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	191 k = 4;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	192 for (int i = 0; i < 7; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	193 t1 = Z[k++];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	194 DK[j--] = Z[k++];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	195 DK[j--] = t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	196 t1 = inv(Z[k++]);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	197 t2 = -Z[k++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	198 t3 = -Z[k++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	199 DK[j--] = inv(Z[k++]);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	200 DK[j--] = t2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	201 DK[j--] = t3;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	202 DK[j--] = t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	203 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	204
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	205 t1 = Z[k++];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	206 DK[j--] = Z[k++];
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	207 DK[j--] = t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	208 t1 = inv(Z[k++]);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	209 t2 = -Z[k++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	210 t3 = -Z[k++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	211 DK[j--] = inv(Z[k++]);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	212 DK[j--] = t3;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	213 DK[j--] = t2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	214 DK[j--] = t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	215 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	216
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	217 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	218 * cipher_idea
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	219 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	220 * IDEA encryption/decryption algorithm. It processes plaintext in 64-bit blocks, one at a time,
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	221 * breaking the block into four 16-bit unsigned subblocks. It goes through eight rounds of
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	222 * processing using 6 new subkeys each time, plus four for last step. The source text is in
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	223 * array text1, the destination text goes into array text2 The routine represents 16-bit
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	224 * subblocks and subkeys as type int so that they can be treated more easily as unsigned.
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	225 * Multiplication modulo 0x10001 interprets a zero sub-block as 0x10000; it must to fit in 16
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	226 * bits.
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	227 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	228
7282 390448a6b535 converted the JTT tests to use the GraalCompilerTest framework which offers more control over what is compiled and executed Doug Simon <doug.simon@oracle.com> parents: 5061 diff changeset	229 @SuppressWarnings("static-method")
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	230 private void cipher_idea(byte[] text1, byte[] text2, int[] key) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	231
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	232 int i1 = 0; // Index into first text array.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	233 int i2 = 0; // Index into second text array.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	234 int ik; // Index into key array.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	235 int x1, x2, x3, x4, t1, t2; // Four "16-bit" blocks, two temps.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	236 int r; // Eight rounds of processing.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	237
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	238 for (int i = 0; i < text1.length; i += 8) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	239
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	240 ik = 0; // Restart key index.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	241 r = 8; // Eight rounds of processing.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	242
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	243 // Load eight plain1 bytes as four 16-bit "unsigned" integers.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	244 // Masking with 0xff prevents sign extension with cast to int.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	245
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	246 x1 = text1[i1++] & 0xff; // Build 16-bit x1 from 2 bytes,
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	247 x1 \|= (text1[i1++] & 0xff) << 8; // assuming low-order byte first.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	248 x2 = text1[i1++] & 0xff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	249 x2 \|= (text1[i1++] & 0xff) << 8;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	250 x3 = text1[i1++] & 0xff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	251 x3 \|= (text1[i1++] & 0xff) << 8;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	252 x4 = text1[i1++] & 0xff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	253 x4 \|= (text1[i1++] & 0xff) << 8;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	254
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	255 do {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	256 // 1) Multiply (modulo 0x10001), 1st text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	257 // with 1st key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	258
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	259 x1 = (int) ((long) x1 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	260
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	261 // 2) Add (modulo 0x10000), 2nd text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	262 // with 2nd key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	263
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	264 x2 = x2 + key[ik++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	265
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	266 // 3) Add (modulo 0x10000), 3rd text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	267 // with 3rd key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	268
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	269 x3 = x3 + key[ik++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	270
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	271 // 4) Multiply (modulo 0x10001), 4th text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	272 // with 4th key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	273
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	274 x4 = (int) ((long) x4 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	275
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	276 // 5) XOR results from steps 1 and 3.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	277
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	278 t2 = x1 ^ x3;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	279
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	280 // 6) XOR results from steps 2 and 4.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	281 // Included in step 8.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	282
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	283 // 7) Multiply (modulo 0x10001), result of step 5
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	284 // with 5th key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	285
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	286 t2 = (int) ((long) t2 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	287
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	288 // 8) Add (modulo 0x10000), results of steps 6 and 7.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	289
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	290 t1 = t2 + (x2 ^ x4) & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	291
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	292 // 9) Multiply (modulo 0x10001), result of step 8
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	293 // with 6th key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	294
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	295 t1 = (int) ((long) t1 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	296
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	297 // 10) Add (modulo 0x10000), results of steps 7 and 9.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	298
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	299 t2 = t1 + t2 & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	300
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	301 // 11) XOR results from steps 1 and 9.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	302
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	303 x1 ^= t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	304
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	305 // 14) XOR results from steps 4 and 10. (Out of order).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	306
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	307 x4 ^= t2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	308
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	309 // 13) XOR results from steps 2 and 10. (Out of order).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	310
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	311 t2 ^= x2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	312
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	313 // 12) XOR results from steps 3 and 9. (Out of order).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	314
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	315 x2 = x3 ^ t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	316
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	317 x3 = t2; // Results of x2 and x3 now swapped.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	318
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	319 } while (--r != 0); // Repeats seven more rounds.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	320
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	321 // Final output transform (4 steps).
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	322
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	323 // 1) Multiply (modulo 0x10001), 1st text-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	324 // with 1st key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	325
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	326 x1 = (int) ((long) x1 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	327
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	328 // 2) Add (modulo 0x10000), 2nd text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	329 // with 2nd key sub-block. It says x3, but that is to undo swap
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	330 // of subblocks 2 and 3 in 8th processing round.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	331
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	332 x3 = x3 + key[ik++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	333
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	334 // 3) Add (modulo 0x10000), 3rd text sub-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	335 // with 3rd key sub-block. It says x2, but that is to undo swap
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	336 // of subblocks 2 and 3 in 8th processing round.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	337
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	338 x2 = x2 + key[ik++] & 0xffff;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	339
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	340 // 4) Multiply (modulo 0x10001), 4th text-block
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	341 // with 4th key sub-block.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	342
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	343 x4 = (int) ((long) x4 * key[ik++] % 0x10001L & 0xffff);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	344
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	345 // Repackage from 16-bit sub-blocks to 8-bit byte array text2.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	346
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	347 text2[i2++] = (byte) x1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	348 text2[i2++] = (byte) (x1 >>> 8);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	349 text2[i2++] = (byte) x3; // x3 and x2 are switched
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	350 text2[i2++] = (byte) (x3 >>> 8); // only in name.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	351 text2[i2++] = (byte) x2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	352 text2[i2++] = (byte) (x2 >>> 8);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	353 text2[i2++] = (byte) x4;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	354 text2[i2++] = (byte) (x4 >>> 8);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	355
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	356 } // End for loop.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	357
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	358 } // End routine.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	359
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	360 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	361 * mul
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	362 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	363 * Performs multiplication, modulo (2**16)+1. This code is structured on the assumption that
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	364 * untaken branches are cheaper than taken branches, and that the compiler doesn't schedule
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	365 * branches. Java: Must work with 32-bit int and one 64-bit long to keep 16-bit values and their
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	366 * products "unsigned." The routine assumes that both a and b could fit in 16 bits even though
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	367 * they come in as 32-bit ints. Lots of "& 0xFFFF" masks here to keep things 16-bit. Also,
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	368 * because the routine stores mod (216)+1 results in a 216 space, the result is truncated to
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	369 * zero whenever the result would zero, be 2**16. And if one of the multiplicands is 0, the
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	370 * result is not zero, but (2**16) + 1 minus the other multiplicand (sort of an additive inverse
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	371 * mod 0x10001).
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	372 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	373 * NOTE: The java conversion of this routine works correctly, but is half the speed of using
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	374 * Java's modulus division function (%) on the multiplication with a 16-bit masking of the
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	375 * result--running in the Symantec Caje IDE. So it's not called for now; the test uses Java %
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	376 * instead.
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	377 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	378
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	379 /*
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	380 * private int mul(int a, int b) throws ArithmeticException { long p; // Large enough to catch
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	381 * 16-bit multiply // without hitting sign bit. if (a != 0) { if (b != 0) { p = (long) a * b; b
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	382 * = (int) p & 0xFFFF; // Lower 16 bits. a = (int) p >>> 16; // Upper 16 bits.
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	383 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	384 * return (b - a + (b < a ? 1 : 0) & 0xFFFF); } else return ((1 - a) & 0xFFFF); // If b = 0,
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	385 * then same as // 0x10001 - a. } else // If a = 0, then return return((1 - b) & 0xFFFF); //
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	386 * same as 0x10001 - b. }
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	387 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	388
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	389 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	390 * inv
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	391 *
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	392 * Compute multiplicative inverse of x, modulo (2**16)+1 using extended Euclid's GCD (greatest
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	393 * common divisor) algorithm. It is unrolled twice to avoid swapping the meaning of the
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	394 * registers. And some subtracts are changed to adds. Java: Though it uses signed 32-bit ints,
c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	395 * the interpretation of the bits within is strictly unsigned 16-bit.
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	396 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	397
7282 390448a6b535 converted the JTT tests to use the GraalCompilerTest framework which offers more control over what is compiled and executed Doug Simon <doug.simon@oracle.com> parents: 5061 diff changeset	398 @SuppressWarnings("static-method")
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	399 private int inv(int x) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	400 int x2 = x;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	401 int t0, t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	402 int q, y;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	403
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	404 if (x2 <= 1) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	405 return (x2); // 0 and 1 are self-inverse.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	406 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	407
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	408 t1 = 0x10001 / x2; // (2**16+1)/x; x is >= 2, so fits 16 bits.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	409 y = 0x10001 % x2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	410 if (y == 1) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	411 return ((1 - t1) & 0xFFFF);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	412 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	413
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	414 t0 = 1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	415 do {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	416 q = x2 / y;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	417 x2 = x2 % y;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	418 t0 += q * t1;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	419 if (x2 == 1) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	420 return (t0);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	421 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	422 q = y / x2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	423 y = y % x2;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	424 t1 += q * t0;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	425 } while (y != 1);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	426
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	427 return ((1 - t1) & 0xFFFF);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	428 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	429
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	430 boolean verify() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	431 boolean error;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	432 for (int i = 0; i < array_rows; i++) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	433 error = (plain1[i] != plain2[i]);
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	434 if (error) {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	435 return false;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	436 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	437 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	438 return true;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	439 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	440
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	441 /*
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	442 * freeTestData
9206 c08d340ba2bf remove useless /@formatter:off Lukas Stadler <lukas.stadler@jku.at> parents: 8269 diff changeset	443 *
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	444 * Nulls arrays and forces garbage collection to free up memory.
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	445 */
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	446
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	447 void freeTestData() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	448 plain1 = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	449 crypt1 = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	450 plain2 = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	451 userkey = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	452 Z = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	453 DK = null;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	454 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	455
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	456 public HP_idea() {
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	457 array_rows = 3000;
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	458 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	459
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	460 @Test
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	461 public void run0() throws Throwable {
7282 390448a6b535 converted the JTT tests to use the GraalCompilerTest framework which offers more control over what is compiled and executed Doug Simon <doug.simon@oracle.com> parents: 5061 diff changeset	462 runTest("test");
4587 5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	463 }
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	464
5b04b33dac74 add jtt tests, converted from the maxine repository using ConvertJTT Lukas Stadler <lukas.stadler@jku.at> parents: diff changeset	465 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.jtt/src/com/oracle/graal/jtt/hotpath/HP_idea.java @ 14991:64dcb92ee75a