#include #define TESTINST(instruction, in, in1, pos, size) \ { \ unsigned long long out; \ __asm__ __volatile__( \ "move $t0, %2" "\n\t" \ "move $t1, %1" "\n\t" \ instruction" $t0, $t1, "#pos", "#size "\n\t" \ "move %0, $t0" "\n\t" \ : "=r" (out) \ : "r" (in), "r" (in1) \ : "t0", "t1" \ ); \ printf("%s :: in 0x%llx, in1 0x%llx, out 0x%llx, pos: %d, size: %d\n", \ instruction, (long long) in, (long long) in1, out, pos, size); \ } int main() { #if (__mips == 64) && (__mips_isa_rev >= 2) printf("--- INS ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 0 < size <= 32 0 < pos+size <= 32 */ TESTINST("ins", 0x0, 0x0, 0, 1); TESTINST("ins", 0x0, 0xffffffffffffffff, 0, 1); TESTINST("ins", 0x0, 0x98765432, 0, 1); TESTINST("ins", 0x0, 0xffffffffff865421, 0, 1); TESTINST("ins", 0xffffffffffffffff, 0x0, 0, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 1); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 0, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 0, 1); TESTINST("ins", 0x98765432, 0x0, 0, 1); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 0, 1); TESTINST("ins", 0x98765432, 0x98765432, 0, 1); TESTINST("ins", 0x98765432, 0xffffffffff865421, 0, 1); TESTINST("ins", 0xffffffffff865421, 0x0, 0, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 0, 1); TESTINST("ins", 0xffffffffff865421, 0x98765432, 0, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 0, 1); TESTINST("ins", 0x0, 0x0, 0, 4); TESTINST("ins", 0x0, 0xffffffffffffffff, 0, 4); TESTINST("ins", 0x0, 0x98765432, 0, 4); TESTINST("ins", 0x0, 0xffffffffff865421, 0, 4); TESTINST("ins", 0xffffffffffffffff, 0x0, 0, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 4); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 0, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 0, 4); TESTINST("ins", 0x98765432, 0x0, 0, 4); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 0, 4); TESTINST("ins", 0x98765432, 0x98765432, 0, 4); TESTINST("ins", 0x98765432, 0xffffffffff865421, 0, 4); TESTINST("ins", 0xffffffffff865421, 0x0, 0, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 0, 4); TESTINST("ins", 0xffffffffff865421, 0x98765432, 0, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 0, 4); TESTINST("ins", 0x0, 0x0, 0, 16); TESTINST("ins", 0x0, 0xffffffffffffffff, 0, 16); TESTINST("ins", 0x0, 0x98765432, 0, 16); TESTINST("ins", 0x0, 0xffffffffff865421, 0, 16); TESTINST("ins", 0xffffffffffffffff, 0x0, 0, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 16); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 0, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 0, 16); TESTINST("ins", 0x98765432, 0x0, 0, 16); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 0, 16); TESTINST("ins", 0x98765432, 0x98765432, 0, 16); TESTINST("ins", 0x98765432, 0xffffffffff865421, 0, 16); TESTINST("ins", 0xffffffffff865421, 0x0, 0, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 0, 16); TESTINST("ins", 0xffffffffff865421, 0x98765432, 0, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 0, 16); TESTINST("ins", 0x0, 0x0, 0, 32); TESTINST("ins", 0x0, 0xffffffffffffffff, 0, 32); TESTINST("ins", 0x0, 0x98765432, 0, 32); TESTINST("ins", 0x0, 0xffffffffff865421, 0, 32); TESTINST("ins", 0xffffffffffffffff, 0x0, 0, 32); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 32); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 0, 32); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 0, 32); TESTINST("ins", 0x98765432, 0x0, 0, 32); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 0, 32); TESTINST("ins", 0x98765432, 0x98765432, 0, 32); TESTINST("ins", 0x98765432, 0xffffffffff865421, 0, 32); TESTINST("ins", 0xffffffffff865421, 0x0, 0, 32); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 0, 32); TESTINST("ins", 0xffffffffff865421, 0x98765432, 0, 32); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 0, 32); TESTINST("ins", 0x0, 0x0, 4, 1); TESTINST("ins", 0x0, 0xffffffffffffffff, 4, 1); TESTINST("ins", 0x0, 0x98765432, 4, 1); TESTINST("ins", 0x0, 0xffffffffff865421, 4, 1); TESTINST("ins", 0xffffffffffffffff, 0x0, 4, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 1); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 4, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 4, 1); TESTINST("ins", 0x98765432, 0x0, 4, 1); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 4, 1); TESTINST("ins", 0x98765432, 0x98765432, 4, 1); TESTINST("ins", 0x98765432, 0xffffffffff865421, 4, 1); TESTINST("ins", 0xffffffffff865421, 0x0, 4, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 4, 1); TESTINST("ins", 0xffffffffff865421, 0x98765432, 4, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 4, 1); TESTINST("ins", 0x0, 0x0, 4, 4); TESTINST("ins", 0x0, 0xffffffffffffffff, 4, 4); TESTINST("ins", 0x0, 0x98765432, 4, 4); TESTINST("ins", 0x0, 0xffffffffff865421, 4, 4); TESTINST("ins", 0xffffffffffffffff, 0x0, 4, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 4); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 4, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 4, 4); TESTINST("ins", 0x98765432, 0x0, 4, 4); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 4, 4); TESTINST("ins", 0x98765432, 0x98765432, 4, 4); TESTINST("ins", 0x98765432, 0xffffffffff865421, 4, 4); TESTINST("ins", 0xffffffffff865421, 0x0, 4, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 4, 4); TESTINST("ins", 0xffffffffff865421, 0x98765432, 4, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 4, 4); TESTINST("ins", 0x0, 0x0, 4, 16); TESTINST("ins", 0x0, 0xffffffffffffffff, 4, 16); TESTINST("ins", 0x0, 0x98765432, 4, 16); TESTINST("ins", 0x0, 0xffffffffff865421, 4, 16); TESTINST("ins", 0xffffffffffffffff, 0x0, 4, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 16); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 4, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 4, 16); TESTINST("ins", 0x98765432, 0x0, 4, 16); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 4, 16); TESTINST("ins", 0x98765432, 0x98765432, 4, 16); TESTINST("ins", 0x98765432, 0xffffffffff865421, 4, 16); TESTINST("ins", 0xffffffffff865421, 0x0, 4, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 4, 16); TESTINST("ins", 0xffffffffff865421, 0x98765432, 4, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 4, 16); TESTINST("ins", 0x0, 0x0, 4, 28); TESTINST("ins", 0x0, 0xffffffffffffffff, 4, 28); TESTINST("ins", 0x0, 0x98765432, 4, 28); TESTINST("ins", 0x0, 0xffffffffff865421, 4, 28); TESTINST("ins", 0xffffffffffffffff, 0x0, 4, 28); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 28); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 4, 28); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 4, 28); TESTINST("ins", 0x98765432, 0x0, 4, 28); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 4, 28); TESTINST("ins", 0x98765432, 0x98765432, 4, 28); TESTINST("ins", 0x98765432, 0xffffffffff865421, 4, 28); TESTINST("ins", 0xffffffffff865421, 0x0, 4, 28); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 4, 28); TESTINST("ins", 0xffffffffff865421, 0x98765432, 4, 28); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 4, 28); TESTINST("ins", 0x0, 0x0, 16, 1); TESTINST("ins", 0x0, 0xffffffffffffffff, 16, 1); TESTINST("ins", 0x0, 0x98765432, 16, 1); TESTINST("ins", 0x0, 0xffffffffff865421, 16, 1); TESTINST("ins", 0xffffffffffffffff, 0x0, 16, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 1); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 16, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 16, 1); TESTINST("ins", 0x98765432, 0x0, 16, 1); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 16, 1); TESTINST("ins", 0x98765432, 0x98765432, 16, 1); TESTINST("ins", 0x98765432, 0xffffffffff865421, 16, 1); TESTINST("ins", 0xffffffffff865421, 0x0, 16, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 16, 1); TESTINST("ins", 0xffffffffff865421, 0x98765432, 16, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 16, 1); TESTINST("ins", 0x0, 0x0, 16, 4); TESTINST("ins", 0x0, 0xffffffffffffffff, 16, 4); TESTINST("ins", 0x0, 0x98765432, 16, 4); TESTINST("ins", 0x0, 0xffffffffff865421, 16, 4); TESTINST("ins", 0xffffffffffffffff, 0x0, 16, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 4); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 16, 4); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 16, 4); TESTINST("ins", 0x98765432, 0x0, 16, 4); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 16, 4); TESTINST("ins", 0x98765432, 0x98765432, 16, 4); TESTINST("ins", 0x98765432, 0xffffffffff865421, 16, 4); TESTINST("ins", 0xffffffffff865421, 0x0, 16, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 16, 4); TESTINST("ins", 0xffffffffff865421, 0x98765432, 16, 4); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 16, 4); TESTINST("ins", 0x0, 0x0, 16, 16); TESTINST("ins", 0x0, 0xffffffffffffffff, 16, 16); TESTINST("ins", 0x0, 0x98765432, 16, 16); TESTINST("ins", 0x0, 0xffffffffff865421, 16, 16); TESTINST("ins", 0xffffffffffffffff, 0x0, 16, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 16); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 16, 16); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 16, 16); TESTINST("ins", 0x98765432, 0x0, 16, 16); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 16, 16); TESTINST("ins", 0x98765432, 0x98765432, 16, 16); TESTINST("ins", 0x98765432, 0xffffffffff865421, 16, 16); TESTINST("ins", 0xffffffffff865421, 0x0, 16, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 16, 16); TESTINST("ins", 0xffffffffff865421, 0x98765432, 16, 16); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 16, 16); TESTINST("ins", 0x0, 0x0, 31, 1); TESTINST("ins", 0x0, 0xffffffffffffffff, 31, 1); TESTINST("ins", 0x0, 0x98765432, 31, 1); TESTINST("ins", 0x0, 0xffffffffff865421, 31, 1); TESTINST("ins", 0xffffffffffffffff, 0x0, 31, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffffffffff, 31, 1); TESTINST("ins", 0xffffffffffffffff, 0x98765432, 31, 1); TESTINST("ins", 0xffffffffffffffff, 0xffffffffff865421, 31, 1); TESTINST("ins", 0x98765432, 0x0, 31, 1); TESTINST("ins", 0x98765432, 0xffffffffffffffff, 31, 1); TESTINST("ins", 0x98765432, 0x98765432, 31, 1); TESTINST("ins", 0x98765432, 0xffffffffff865421, 31, 1); TESTINST("ins", 0xffffffffff865421, 0x0, 31, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffffffffff, 31, 1); TESTINST("ins", 0xffffffffff865421, 0x98765432, 31, 1); TESTINST("ins", 0xffffffffff865421, 0xffffffffff865421, 31, 1); printf("--- EXT ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 0 < size <= 32 0 < pos+size <= 32 */ TESTINST("ext", 0x0, 0x0, 0, 1); TESTINST("ext", 0x0, 0xffffffffffffffff, 0, 1); TESTINST("ext", 0x0, 0x98765432, 0, 1); TESTINST("ext", 0x0, 0xffffffffff865421, 0, 1); TESTINST("ext", 0xffffffffffffffff, 0x0, 0, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 1); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 0, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 0, 1); TESTINST("ext", 0x98765432, 0x0, 0, 1); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 0, 1); TESTINST("ext", 0x98765432, 0x98765432, 0, 1); TESTINST("ext", 0x98765432, 0xffffffffff865421, 0, 1); TESTINST("ext", 0xffffffffff865421, 0x0, 0, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 0, 1); TESTINST("ext", 0xffffffffff865421, 0x98765432, 0, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 0, 1); TESTINST("ext", 0x0, 0x0, 0, 4); TESTINST("ext", 0x0, 0xffffffffffffffff, 0, 4); TESTINST("ext", 0x0, 0x98765432, 0, 4); TESTINST("ext", 0x0, 0xffffffffff865421, 0, 4); TESTINST("ext", 0xffffffffffffffff, 0x0, 0, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 4); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 0, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 0, 4); TESTINST("ext", 0x98765432, 0x0, 0, 4); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 0, 4); TESTINST("ext", 0x98765432, 0x98765432, 0, 4); TESTINST("ext", 0x98765432, 0xffffffffff865421, 0, 4); TESTINST("ext", 0xffffffffff865421, 0x0, 0, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 0, 4); TESTINST("ext", 0xffffffffff865421, 0x98765432, 0, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 0, 4); TESTINST("ext", 0x0, 0x0, 0, 16); TESTINST("ext", 0x0, 0xffffffffffffffff, 0, 16); TESTINST("ext", 0x0, 0x98765432, 0, 16); TESTINST("ext", 0x0, 0xffffffffff865421, 0, 16); TESTINST("ext", 0xffffffffffffffff, 0x0, 0, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 16); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 0, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 0, 16); TESTINST("ext", 0x98765432, 0x0, 0, 16); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 0, 16); TESTINST("ext", 0x98765432, 0x98765432, 0, 16); TESTINST("ext", 0x98765432, 0xffffffffff865421, 0, 16); TESTINST("ext", 0xffffffffff865421, 0x0, 0, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 0, 16); TESTINST("ext", 0xffffffffff865421, 0x98765432, 0, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 0, 16); TESTINST("ext", 0x0, 0x0, 0, 32); TESTINST("ext", 0x0, 0xffffffffffffffff, 0, 32); TESTINST("ext", 0x0, 0x98765432, 0, 32); TESTINST("ext", 0x0, 0xffffffffff865421, 0, 32); TESTINST("ext", 0xffffffffffffffff, 0x0, 0, 32); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 32); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 0, 32); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 0, 32); TESTINST("ext", 0x98765432, 0x0, 0, 32); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 0, 32); TESTINST("ext", 0x98765432, 0x98765432, 0, 32); TESTINST("ext", 0x98765432, 0xffffffffff865421, 0, 32); TESTINST("ext", 0xffffffffff865421, 0x0, 0, 32); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 0, 32); TESTINST("ext", 0xffffffffff865421, 0x98765432, 0, 32); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 0, 32); TESTINST("ext", 0x0, 0x0, 4, 1); TESTINST("ext", 0x0, 0xffffffffffffffff, 4, 1); TESTINST("ext", 0x0, 0x98765432, 4, 1); TESTINST("ext", 0x0, 0xffffffffff865421, 4, 1); TESTINST("ext", 0xffffffffffffffff, 0x0, 4, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 1); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 4, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 4, 1); TESTINST("ext", 0x98765432, 0x0, 4, 1); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 4, 1); TESTINST("ext", 0x98765432, 0x98765432, 4, 1); TESTINST("ext", 0x98765432, 0xffffffffff865421, 4, 1); TESTINST("ext", 0xffffffffff865421, 0x0, 4, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 4, 1); TESTINST("ext", 0xffffffffff865421, 0x98765432, 4, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 4, 1); TESTINST("ext", 0x0, 0x0, 4, 4); TESTINST("ext", 0x0, 0xffffffffffffffff, 4, 4); TESTINST("ext", 0x0, 0x98765432, 4, 4); TESTINST("ext", 0x0, 0xffffffffff865421, 4, 4); TESTINST("ext", 0xffffffffffffffff, 0x0, 4, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 4); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 4, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 4, 4); TESTINST("ext", 0x98765432, 0x0, 4, 4); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 4, 4); TESTINST("ext", 0x98765432, 0x98765432, 4, 4); TESTINST("ext", 0x98765432, 0xffffffffff865421, 4, 4); TESTINST("ext", 0xffffffffff865421, 0x0, 4, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 4, 4); TESTINST("ext", 0xffffffffff865421, 0x98765432, 4, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 4, 4); TESTINST("ext", 0x0, 0x0, 4, 16); TESTINST("ext", 0x0, 0xffffffffffffffff, 4, 16); TESTINST("ext", 0x0, 0x98765432, 4, 16); TESTINST("ext", 0x0, 0xffffffffff865421, 4, 16); TESTINST("ext", 0xffffffffffffffff, 0x0, 4, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 16); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 4, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 4, 16); TESTINST("ext", 0x98765432, 0x0, 4, 16); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 4, 16); TESTINST("ext", 0x98765432, 0x98765432, 4, 16); TESTINST("ext", 0x98765432, 0xffffffffff865421, 4, 16); TESTINST("ext", 0xffffffffff865421, 0x0, 4, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 4, 16); TESTINST("ext", 0xffffffffff865421, 0x98765432, 4, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 4, 16); TESTINST("ext", 0x0, 0x0, 4, 28); TESTINST("ext", 0x0, 0xffffffffffffffff, 4, 28); TESTINST("ext", 0x0, 0x98765432, 4, 28); TESTINST("ext", 0x0, 0xffffffffff865421, 4, 28); TESTINST("ext", 0xffffffffffffffff, 0x0, 4, 28); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 28); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 4, 28); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 4, 28); TESTINST("ext", 0x98765432, 0x0, 4, 28); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 4, 28); TESTINST("ext", 0x98765432, 0x98765432, 4, 28); TESTINST("ext", 0x98765432, 0xffffffffff865421, 4, 28); TESTINST("ext", 0xffffffffff865421, 0x0, 4, 28); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 4, 28); TESTINST("ext", 0xffffffffff865421, 0x98765432, 4, 28); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 4, 28); TESTINST("ext", 0x0, 0x0, 16, 1); TESTINST("ext", 0x0, 0xffffffffffffffff, 16, 1); TESTINST("ext", 0x0, 0x98765432, 16, 1); TESTINST("ext", 0x0, 0xffffffffff865421, 16, 1); TESTINST("ext", 0xffffffffffffffff, 0x0, 16, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 1); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 16, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 16, 1); TESTINST("ext", 0x98765432, 0x0, 16, 1); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 16, 1); TESTINST("ext", 0x98765432, 0x98765432, 16, 1); TESTINST("ext", 0x98765432, 0xffffffffff865421, 16, 1); TESTINST("ext", 0xffffffffff865421, 0x0, 16, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 16, 1); TESTINST("ext", 0xffffffffff865421, 0x98765432, 16, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 16, 1); TESTINST("ext", 0x0, 0x0, 16, 4); TESTINST("ext", 0x0, 0xffffffffffffffff, 16, 4); TESTINST("ext", 0x0, 0x98765432, 16, 4); TESTINST("ext", 0x0, 0xffffffffff865421, 16, 4); TESTINST("ext", 0xffffffffffffffff, 0x0, 16, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 4); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 16, 4); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 16, 4); TESTINST("ext", 0x98765432, 0x0, 16, 4); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 16, 4); TESTINST("ext", 0x98765432, 0x98765432, 16, 4); TESTINST("ext", 0x98765432, 0xffffffffff865421, 16, 4); TESTINST("ext", 0xffffffffff865421, 0x0, 16, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 16, 4); TESTINST("ext", 0xffffffffff865421, 0x98765432, 16, 4); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 16, 4); TESTINST("ext", 0x0, 0x0, 16, 16); TESTINST("ext", 0x0, 0xffffffffffffffff, 16, 16); TESTINST("ext", 0x0, 0x98765432, 16, 16); TESTINST("ext", 0x0, 0xffffffffff865421, 16, 16); TESTINST("ext", 0xffffffffffffffff, 0x0, 16, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 16); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 16, 16); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 16, 16); TESTINST("ext", 0x98765432, 0x0, 16, 16); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 16, 16); TESTINST("ext", 0x98765432, 0x98765432, 16, 16); TESTINST("ext", 0x98765432, 0xffffffffff865421, 16, 16); TESTINST("ext", 0xffffffffff865421, 0x0, 16, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 16, 16); TESTINST("ext", 0xffffffffff865421, 0x98765432, 16, 16); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 16, 16); TESTINST("ext", 0x0, 0x0, 31, 1); TESTINST("ext", 0x0, 0xffffffffffffffff, 31, 1); TESTINST("ext", 0x0, 0x98765432, 31, 1); TESTINST("ext", 0x0, 0xffffffffff865421, 31, 1); TESTINST("ext", 0xffffffffffffffff, 0x0, 31, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffffffffff, 31, 1); TESTINST("ext", 0xffffffffffffffff, 0x98765432, 31, 1); TESTINST("ext", 0xffffffffffffffff, 0xffffffffff865421, 31, 1); TESTINST("ext", 0x98765432, 0x0, 31, 1); TESTINST("ext", 0x98765432, 0xffffffffffffffff, 31, 1); TESTINST("ext", 0x98765432, 0x98765432, 31, 1); TESTINST("ext", 0x98765432, 0xffffffffff865421, 31, 1); TESTINST("ext", 0xffffffffff865421, 0x0, 31, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffffffffff, 31, 1); TESTINST("ext", 0xffffffffff865421, 0x98765432, 31, 1); TESTINST("ext", 0xffffffffff865421, 0xffffffffff865421, 31, 1); printf("--- DEXT ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 0 < size <= 32 0 < pos+size <= 63 */ TESTINST("dext", 0x0, 0x0, 0, 1); TESTINST("dext", 0x0, 0xffffffffffffffff, 0, 1); TESTINST("dext", 0x0, 0x98765432, 0, 1); TESTINST("dext", 0x0, 0xffffffffff865421, 0, 1); TESTINST("dext", 0xffffffffffffffff, 0x0, 0, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 1); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 0, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 0, 1); TESTINST("dext", 0x98765432, 0x0, 0, 1); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 0, 1); TESTINST("dext", 0x98765432, 0x98765432, 0, 1); TESTINST("dext", 0x98765432, 0xffffffffff865421, 0, 1); TESTINST("dext", 0xffffffffff865421, 0x0, 0, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 0, 1); TESTINST("dext", 0xffffffffff865421, 0x98765432, 0, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 0, 1); TESTINST("dext", 0x0, 0x0, 0, 4); TESTINST("dext", 0x0, 0xffffffffffffffff, 0, 4); TESTINST("dext", 0x0, 0x98765432, 0, 4); TESTINST("dext", 0x0, 0xffffffffff865421, 0, 4); TESTINST("dext", 0xffffffffffffffff, 0x0, 0, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 4); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 0, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 0, 4); TESTINST("dext", 0x98765432, 0x0, 0, 4); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 0, 4); TESTINST("dext", 0x98765432, 0x98765432, 0, 4); TESTINST("dext", 0x98765432, 0xffffffffff865421, 0, 4); TESTINST("dext", 0xffffffffff865421, 0x0, 0, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 0, 4); TESTINST("dext", 0xffffffffff865421, 0x98765432, 0, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 0, 4); TESTINST("dext", 0x0, 0x0, 0, 16); TESTINST("dext", 0x0, 0xffffffffffffffff, 0, 16); TESTINST("dext", 0x0, 0x98765432, 0, 16); TESTINST("dext", 0x0, 0xffffffffff865421, 0, 16); TESTINST("dext", 0xffffffffffffffff, 0x0, 0, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 16); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 0, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 0, 16); TESTINST("dext", 0x98765432, 0x0, 0, 16); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 0, 16); TESTINST("dext", 0x98765432, 0x98765432, 0, 16); TESTINST("dext", 0x98765432, 0xffffffffff865421, 0, 16); TESTINST("dext", 0xffffffffff865421, 0x0, 0, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 0, 16); TESTINST("dext", 0xffffffffff865421, 0x98765432, 0, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 0, 16); TESTINST("dext", 0x0, 0x0, 0, 32); TESTINST("dext", 0x0, 0xffffffffffffffff, 0, 32); TESTINST("dext", 0x0, 0x98765432, 0, 32); TESTINST("dext", 0x0, 0xffffffffff865421, 0, 32); TESTINST("dext", 0xffffffffffffffff, 0x0, 0, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 0, 32); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 0, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 0, 32); TESTINST("dext", 0x98765432, 0x0, 0, 32); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 0, 32); TESTINST("dext", 0x98765432, 0x98765432, 0, 32); TESTINST("dext", 0x98765432, 0xffffffffff865421, 0, 32); TESTINST("dext", 0xffffffffff865421, 0x0, 0, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 0, 32); TESTINST("dext", 0xffffffffff865421, 0x98765432, 0, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 0, 32); TESTINST("dext", 0x0, 0x0, 4, 1); TESTINST("dext", 0x0, 0xffffffffffffffff, 4, 1); TESTINST("dext", 0x0, 0x98765432, 4, 1); TESTINST("dext", 0x0, 0xffffffffff865421, 4, 1); TESTINST("dext", 0xffffffffffffffff, 0x0, 4, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 1); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 4, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 4, 1); TESTINST("dext", 0x98765432, 0x0, 4, 1); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 4, 1); TESTINST("dext", 0x98765432, 0x98765432, 4, 1); TESTINST("dext", 0x98765432, 0xffffffffff865421, 4, 1); TESTINST("dext", 0xffffffffff865421, 0x0, 4, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 4, 1); TESTINST("dext", 0xffffffffff865421, 0x98765432, 4, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 4, 1); TESTINST("dext", 0x0, 0x0, 4, 4); TESTINST("dext", 0x0, 0xffffffffffffffff, 4, 4); TESTINST("dext", 0x0, 0x98765432, 4, 4); TESTINST("dext", 0x0, 0xffffffffff865421, 4, 4); TESTINST("dext", 0xffffffffffffffff, 0x0, 4, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 4); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 4, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 4, 4); TESTINST("dext", 0x98765432, 0x0, 4, 4); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 4, 4); TESTINST("dext", 0x98765432, 0x98765432, 4, 4); TESTINST("dext", 0x98765432, 0xffffffffff865421, 4, 4); TESTINST("dext", 0xffffffffff865421, 0x0, 4, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 4, 4); TESTINST("dext", 0xffffffffff865421, 0x98765432, 4, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 4, 4); TESTINST("dext", 0x0, 0x0, 4, 16); TESTINST("dext", 0x0, 0xffffffffffffffff, 4, 16); TESTINST("dext", 0x0, 0x98765432, 4, 16); TESTINST("dext", 0x0, 0xffffffffff865421, 4, 16); TESTINST("dext", 0xffffffffffffffff, 0x0, 4, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 16); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 4, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 4, 16); TESTINST("dext", 0x98765432, 0x0, 4, 16); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 4, 16); TESTINST("dext", 0x98765432, 0x98765432, 4, 16); TESTINST("dext", 0x98765432, 0xffffffffff865421, 4, 16); TESTINST("dext", 0xffffffffff865421, 0x0, 4, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 4, 16); TESTINST("dext", 0xffffffffff865421, 0x98765432, 4, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 4, 16); TESTINST("dext", 0x0, 0x0, 4, 32); TESTINST("dext", 0x0, 0xffffffffffffffff, 4, 32); TESTINST("dext", 0x0, 0x98765432, 4, 32); TESTINST("dext", 0x0, 0xffffffffff865421, 4, 32); TESTINST("dext", 0xffffffffffffffff, 0x0, 4, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 4, 32); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 4, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 4, 32); TESTINST("dext", 0x98765432, 0x0, 4, 32); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 4, 32); TESTINST("dext", 0x98765432, 0x98765432, 4, 32); TESTINST("dext", 0x98765432, 0xffffffffff865421, 4, 32); TESTINST("dext", 0xffffffffff865421, 0x0, 4, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 4, 32); TESTINST("dext", 0xffffffffff865421, 0x98765432, 4, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 4, 32); TESTINST("dext", 0x0, 0x0, 16, 1); TESTINST("dext", 0x0, 0xffffffffffffffff, 16, 1); TESTINST("dext", 0x0, 0x98765432, 16, 1); TESTINST("dext", 0x0, 0xffffffffff865421, 16, 1); TESTINST("dext", 0xffffffffffffffff, 0x0, 16, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 1); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 16, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 16, 1); TESTINST("dext", 0x98765432, 0x0, 16, 1); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 16, 1); TESTINST("dext", 0x98765432, 0x98765432, 16, 1); TESTINST("dext", 0x98765432, 0xffffffffff865421, 16, 1); TESTINST("dext", 0xffffffffff865421, 0x0, 16, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 16, 1); TESTINST("dext", 0xffffffffff865421, 0x98765432, 16, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 16, 1); TESTINST("dext", 0x0, 0x0, 16, 4); TESTINST("dext", 0x0, 0xffffffffffffffff, 16, 4); TESTINST("dext", 0x0, 0x98765432, 16, 4); TESTINST("dext", 0x0, 0xffffffffff865421, 16, 4); TESTINST("dext", 0xffffffffffffffff, 0x0, 16, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 4); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 16, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 16, 4); TESTINST("dext", 0x98765432, 0x0, 16, 4); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 16, 4); TESTINST("dext", 0x98765432, 0x98765432, 16, 4); TESTINST("dext", 0x98765432, 0xffffffffff865421, 16, 4); TESTINST("dext", 0xffffffffff865421, 0x0, 16, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 16, 4); TESTINST("dext", 0xffffffffff865421, 0x98765432, 16, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 16, 4); TESTINST("dext", 0x0, 0x0, 16, 16); TESTINST("dext", 0x0, 0xffffffffffffffff, 16, 16); TESTINST("dext", 0x0, 0x98765432, 16, 16); TESTINST("dext", 0x0, 0xffffffffff865421, 16, 16); TESTINST("dext", 0xffffffffffffffff, 0x0, 16, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 16); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 16, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 16, 16); TESTINST("dext", 0x98765432, 0x0, 16, 16); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 16, 16); TESTINST("dext", 0x98765432, 0x98765432, 16, 16); TESTINST("dext", 0x98765432, 0xffffffffff865421, 16, 16); TESTINST("dext", 0xffffffffff865421, 0x0, 16, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 16, 16); TESTINST("dext", 0xffffffffff865421, 0x98765432, 16, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 16, 16); TESTINST("dext", 0x0, 0x0, 16, 32); TESTINST("dext", 0x0, 0xffffffffffffffff, 16, 32); TESTINST("dext", 0x0, 0x98765432, 16, 32); TESTINST("dext", 0x0, 0xffffffffff865421, 16, 32); TESTINST("dext", 0xffffffffffffffff, 0x0, 16, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 16, 32); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 16, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 16, 32); TESTINST("dext", 0x98765432, 0x0, 16, 32); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 16, 32); TESTINST("dext", 0x98765432, 0x98765432, 16, 32); TESTINST("dext", 0x98765432, 0xffffffffff865421, 16, 32); TESTINST("dext", 0xffffffffff865421, 0x0, 16, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 16, 32); TESTINST("dext", 0xffffffffff865421, 0x98765432, 16, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 16, 32); TESTINST("dext", 0x0, 0x0, 31, 1); TESTINST("dext", 0x0, 0xffffffffffffffff, 31, 1); TESTINST("dext", 0x0, 0x98765432, 31, 1); TESTINST("dext", 0x0, 0xffffffffff865421, 31, 1); TESTINST("dext", 0xffffffffffffffff, 0x0, 31, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 31, 1); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 31, 1); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 31, 1); TESTINST("dext", 0x98765432, 0x0, 31, 1); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 31, 1); TESTINST("dext", 0x98765432, 0x98765432, 31, 1); TESTINST("dext", 0x98765432, 0xffffffffff865421, 31, 1); TESTINST("dext", 0xffffffffff865421, 0x0, 31, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 31, 1); TESTINST("dext", 0xffffffffff865421, 0x98765432, 31, 1); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 31, 1); TESTINST("dext", 0x0, 0x0, 31, 4); TESTINST("dext", 0x0, 0xffffffffffffffff, 31, 4); TESTINST("dext", 0x0, 0x98765432, 31, 4); TESTINST("dext", 0x0, 0xffffffffff865421, 31, 4); TESTINST("dext", 0xffffffffffffffff, 0x0, 31, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 31, 4); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 31, 4); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 31, 4); TESTINST("dext", 0x98765432, 0x0, 31, 4); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 31, 4); TESTINST("dext", 0x98765432, 0x98765432, 31, 4); TESTINST("dext", 0x98765432, 0xffffffffff865421, 31, 4); TESTINST("dext", 0xffffffffff865421, 0x0, 31, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 31, 4); TESTINST("dext", 0xffffffffff865421, 0x98765432, 31, 4); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 31, 4); TESTINST("dext", 0x0, 0x0, 31, 16); TESTINST("dext", 0x0, 0xffffffffffffffff, 31, 16); TESTINST("dext", 0x0, 0x98765432, 31, 16); TESTINST("dext", 0x0, 0xffffffffff865421, 31, 16); TESTINST("dext", 0xffffffffffffffff, 0x0, 31, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 31, 16); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 31, 16); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 31, 16); TESTINST("dext", 0x98765432, 0x0, 31, 16); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 31, 16); TESTINST("dext", 0x98765432, 0x98765432, 31, 16); TESTINST("dext", 0x98765432, 0xffffffffff865421, 31, 16); TESTINST("dext", 0xffffffffff865421, 0x0, 31, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 31, 16); TESTINST("dext", 0xffffffffff865421, 0x98765432, 31, 16); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 31, 16); TESTINST("dext", 0x0, 0x0, 31, 32); TESTINST("dext", 0x0, 0xffffffffffffffff, 31, 32); TESTINST("dext", 0x0, 0x98765432, 31, 32); TESTINST("dext", 0x0, 0xffffffffff865421, 31, 32); TESTINST("dext", 0xffffffffffffffff, 0x0, 31, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffffffffff, 31, 32); TESTINST("dext", 0xffffffffffffffff, 0x98765432, 31, 32); TESTINST("dext", 0xffffffffffffffff, 0xffffffffff865421, 31, 32); TESTINST("dext", 0x98765432, 0x0, 31, 32); TESTINST("dext", 0x98765432, 0xffffffffffffffff, 31, 32); TESTINST("dext", 0x98765432, 0x98765432, 31, 32); TESTINST("dext", 0x98765432, 0xffffffffff865421, 31, 32); TESTINST("dext", 0xffffffffff865421, 0x0, 31, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffffffffff, 31, 32); TESTINST("dext", 0xffffffffff865421, 0x98765432, 31, 32); TESTINST("dext", 0xffffffffff865421, 0xffffffffff865421, 31, 32); TESTINST("dext", 0x2002ffffffffffff, 0xfffffffff0000fff, 4, 4); TESTINST("dext", 0xffff0000ffffffff, 0xff0000ffffffffff, 8, 4); TESTINST("dext", 0x2000ffffffffffff, 0xffff0000ffffffff, 16, 4); TESTINST("dext", 0x2000ffffffddddff, 0xffffffffffff0008, 24, 2); TESTINST("dext", 0x2000ffffffffeeee, 0xfffffff31415927f, 24, 4); TESTINST("dext", 0x31415927ffffffff, 0x2000ffffffffffff, 9, 2); TESTINST("dext", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 16, 4); TESTINST("dext", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 16, 4); TESTINST("dext", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 7, 4); TESTINST("dext", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 5, 4); TESTINST("dext", 0x2000ffffffffbbbb, 0xfffffffff0000fff, 3, 4); TESTINST("dext", 0x2000ffffffffffff, 0xffff0000ffffffff, 16, 16); TESTINST("dext", 0x7fffffffddddffff, 0xffffffffffff0008, 16, 32); TESTINST("dext", 0x2000ffffffff2222, 0xfffffff31415927f, 2, 60); TESTINST("dext", 0x2000ffffffffffff, 0x2000ffffffffffff, 16, 6); TESTINST("dext", 0xfffffff31415927f, 0x2000ffffffff2222, 31, 32); TESTINST("dext", 0xffffffffffff0008, 0x7fffffffddddffff, 8, 2); TESTINST("dext", 0xffff0000ffffffff, 0x2000ffffffffffff, 16, 4); TESTINST("dext", 0xff0000ffffffffff, 0, 8, 4); TESTINST("dext", 0xfffffffff0000fff, 0, 16, 4); printf("--- DEXTM ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 32 < size <= 64 32 < pos+size <= 64 */ TESTINST("dextm", 0x0, 0x0, 0, 33); TESTINST("dextm", 0x0, 0xffffffffffffffff, 0, 33); TESTINST("dextm", 0x0, 0x98765432, 0, 33); TESTINST("dextm", 0x0, 0xffffffffff865421, 0, 33); TESTINST("dextm", 0xffffffffffffffff, 0x0, 0, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 33); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 0, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 0, 33); TESTINST("dextm", 0x98765432, 0x0, 0, 33); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 0, 33); TESTINST("dextm", 0x98765432, 0x98765432, 0, 33); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 0, 33); TESTINST("dextm", 0xffffffffff865421, 0x0, 0, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 0, 33); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 0, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 0, 33); TESTINST("dextm", 0x0, 0x0, 0, 37); TESTINST("dextm", 0x0, 0xffffffffffffffff, 0, 37); TESTINST("dextm", 0x0, 0x98765432, 0, 37); TESTINST("dextm", 0x0, 0xffffffffff865421, 0, 37); TESTINST("dextm", 0xffffffffffffffff, 0x0, 0, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 37); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 0, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 0, 37); TESTINST("dextm", 0x98765432, 0x0, 0, 37); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 0, 37); TESTINST("dextm", 0x98765432, 0x98765432, 0, 37); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 0, 37); TESTINST("dextm", 0xffffffffff865421, 0x0, 0, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 0, 37); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 0, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 0, 37); TESTINST("dextm", 0x0, 0x0, 0, 48); TESTINST("dextm", 0x0, 0xffffffffffffffff, 0, 48); TESTINST("dextm", 0x0, 0x98765432, 0, 48); TESTINST("dextm", 0x0, 0xffffffffff865421, 0, 48); TESTINST("dextm", 0xffffffffffffffff, 0x0, 0, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 48); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 0, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 0, 48); TESTINST("dextm", 0x98765432, 0x0, 0, 48); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 0, 48); TESTINST("dextm", 0x98765432, 0x98765432, 0, 48); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 0, 48); TESTINST("dextm", 0xffffffffff865421, 0x0, 0, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 0, 48); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 0, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 0, 48); TESTINST("dextm", 0x0, 0x0, 0, 64); TESTINST("dextm", 0x0, 0xffffffffffffffff, 0, 64); TESTINST("dextm", 0x0, 0x98765432, 0, 64); TESTINST("dextm", 0x0, 0xffffffffff865421, 0, 64); TESTINST("dextm", 0xffffffffffffffff, 0x0, 0, 64); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 64); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 0, 64); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 0, 64); TESTINST("dextm", 0x98765432, 0x0, 0, 64); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 0, 64); TESTINST("dextm", 0x98765432, 0x98765432, 0, 64); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 0, 64); TESTINST("dextm", 0xffffffffff865421, 0x0, 0, 64); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 0, 64); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 0, 64); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 0, 64); TESTINST("dextm", 0x0, 0x0, 4, 33); TESTINST("dextm", 0x0, 0xffffffffffffffff, 4, 33); TESTINST("dextm", 0x0, 0x98765432, 4, 33); TESTINST("dextm", 0x0, 0xffffffffff865421, 4, 33); TESTINST("dextm", 0xffffffffffffffff, 0x0, 4, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 33); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 4, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 4, 33); TESTINST("dextm", 0x98765432, 0x0, 4, 33); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 4, 33); TESTINST("dextm", 0x98765432, 0x98765432, 4, 33); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 4, 33); TESTINST("dextm", 0xffffffffff865421, 0x0, 4, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 4, 33); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 4, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 4, 33); TESTINST("dextm", 0x0, 0x0, 4, 37); TESTINST("dextm", 0x0, 0xffffffffffffffff, 4, 37); TESTINST("dextm", 0x0, 0x98765432, 4, 37); TESTINST("dextm", 0x0, 0xffffffffff865421, 4, 37); TESTINST("dextm", 0xffffffffffffffff, 0x0, 4, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 37); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 4, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 4, 37); TESTINST("dextm", 0x98765432, 0x0, 4, 37); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 4, 37); TESTINST("dextm", 0x98765432, 0x98765432, 4, 37); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 4, 37); TESTINST("dextm", 0xffffffffff865421, 0x0, 4, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 4, 37); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 4, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 4, 37); TESTINST("dextm", 0x0, 0x0, 4, 48); TESTINST("dextm", 0x0, 0xffffffffffffffff, 4, 48); TESTINST("dextm", 0x0, 0x98765432, 4, 48); TESTINST("dextm", 0x0, 0xffffffffff865421, 4, 48); TESTINST("dextm", 0xffffffffffffffff, 0x0, 4, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 48); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 4, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 4, 48); TESTINST("dextm", 0x98765432, 0x0, 4, 48); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 4, 48); TESTINST("dextm", 0x98765432, 0x98765432, 4, 48); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 4, 48); TESTINST("dextm", 0xffffffffff865421, 0x0, 4, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 4, 48); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 4, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 4, 48); TESTINST("dextm", 0x0, 0x0, 4, 60); TESTINST("dextm", 0x0, 0xffffffffffffffff, 4, 60); TESTINST("dextm", 0x0, 0x98765432, 4, 60); TESTINST("dextm", 0x0, 0xffffffffff865421, 4, 60); TESTINST("dextm", 0xffffffffffffffff, 0x0, 4, 60); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 60); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 4, 60); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 4, 60); TESTINST("dextm", 0x98765432, 0x0, 4, 60); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 4, 60); TESTINST("dextm", 0x98765432, 0x98765432, 4, 60); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 4, 60); TESTINST("dextm", 0xffffffffff865421, 0x0, 4, 60); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 4, 60); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 4, 60); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 4, 60); TESTINST("dextm", 0x0, 0x0, 16, 33); TESTINST("dextm", 0x0, 0xffffffffffffffff, 16, 33); TESTINST("dextm", 0x0, 0x98765432, 16, 33); TESTINST("dextm", 0x0, 0xffffffffff865421, 16, 33); TESTINST("dextm", 0xffffffffffffffff, 0x0, 16, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 33); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 16, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 16, 33); TESTINST("dextm", 0x98765432, 0x0, 16, 33); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 16, 33); TESTINST("dextm", 0x98765432, 0x98765432, 16, 33); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 16, 33); TESTINST("dextm", 0xffffffffff865421, 0x0, 16, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 16, 33); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 16, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 16, 33); TESTINST("dextm", 0x0, 0x0, 16, 37); TESTINST("dextm", 0x0, 0xffffffffffffffff, 16, 37); TESTINST("dextm", 0x0, 0x98765432, 16, 37); TESTINST("dextm", 0x0, 0xffffffffff865421, 16, 37); TESTINST("dextm", 0xffffffffffffffff, 0x0, 16, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 37); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 16, 37); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 16, 37); TESTINST("dextm", 0x98765432, 0x0, 16, 37); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 16, 37); TESTINST("dextm", 0x98765432, 0x98765432, 16, 37); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 16, 37); TESTINST("dextm", 0xffffffffff865421, 0x0, 16, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 16, 37); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 16, 37); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 16, 37); TESTINST("dextm", 0x0, 0x0, 16, 48); TESTINST("dextm", 0x0, 0xffffffffffffffff, 16, 48); TESTINST("dextm", 0x0, 0x98765432, 16, 48); TESTINST("dextm", 0x0, 0xffffffffff865421, 16, 48); TESTINST("dextm", 0xffffffffffffffff, 0x0, 16, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 48); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 16, 48); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 16, 48); TESTINST("dextm", 0x98765432, 0x0, 16, 48); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 16, 48); TESTINST("dextm", 0x98765432, 0x98765432, 16, 48); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 16, 48); TESTINST("dextm", 0xffffffffff865421, 0x0, 16, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 16, 48); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 16, 48); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 16, 48); TESTINST("dextm", 0x0, 0x0, 31, 33); TESTINST("dextm", 0x0, 0xffffffffffffffff, 31, 33); TESTINST("dextm", 0x0, 0x98765432, 31, 33); TESTINST("dextm", 0x0, 0xffffffffff865421, 31, 33); TESTINST("dextm", 0xffffffffffffffff, 0x0, 31, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffffffffff, 31, 33); TESTINST("dextm", 0xffffffffffffffff, 0x98765432, 31, 33); TESTINST("dextm", 0xffffffffffffffff, 0xffffffffff865421, 31, 33); TESTINST("dextm", 0x98765432, 0x0, 31, 33); TESTINST("dextm", 0x98765432, 0xffffffffffffffff, 31, 33); TESTINST("dextm", 0x98765432, 0x98765432, 31, 33); TESTINST("dextm", 0x98765432, 0xffffffffff865421, 31, 33); TESTINST("dextm", 0xffffffffff865421, 0x0, 31, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffffffffff, 31, 33); TESTINST("dextm", 0xffffffffff865421, 0x98765432, 31, 33); TESTINST("dextm", 0xffffffffff865421, 0xffffffffff865421, 31, 33); TESTINST("dextm", 0x2002ffffffffffff, 0xfffffffff0000fff, 4, 35); TESTINST("dextm", 0xffff0000ffffffff, 0xff0000ffffffffff, 8, 33); TESTINST("dextm", 0x2000ffffffffffff, 0xffff0000ffffffff, 16, 34); TESTINST("dextm", 0x2000ffffffddddff, 0xffffffffffff0008, 4, 46); TESTINST("dextm", 0x2000ffffffffeeee, 0xfffffff31415927f, 3, 56); TESTINST("dextm", 0x31415927ffffffff, 0x2000ffffffffffff, 0, 64); TESTINST("dextm", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 16, 40); TESTINST("dextm", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 16, 42); TESTINST("dextm", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 7, 43); TESTINST("dextm", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 5, 48); TESTINST("dextm", 0x2000ffffffffbbbb, 0x2000ffffffffffff, 3, 52); TESTINST("dextm", 0x2000ffffffffffff, 0xeeeeff33ff22ffff, 1, 54); TESTINST("dextm", 0x7fffffffddddffff, 0x2000ffffffbbbbff, 2, 54); TESTINST("dextm", 0x2000ffffffff2222, 0x2000ffffffffaaaa, 2, 48); TESTINST("dextm", 0x2000ffffffffffff, 0x31415927ffffffff, 5, 53); TESTINST("dextm", 0xfffffff31415927f, 0x2000ffffffffeeee, 2, 60); TESTINST("dextm", 0xffffffffffff0008, 0x2000ffffffddddff, 3, 61); TESTINST("dextm", 0xffff0000ffffffff, 0x2000ffffffffffff, 1, 62); TESTINST("dextm", 0xff0000ffffffffff, 0, 8, 38); TESTINST("dextm", 0xfffffffff0000fff, 0, 16, 39); printf("--- DEXTU ---\n"); /* The values of pos and size must satisfy all of the following relations: 32 <= pos < 64 0 < size <= 32 32 < pos+size <= 64 */ TESTINST("dextu", 0x0, 0x0, 32, 1); TESTINST("dextu", 0x0, 0xffffffffffffffff, 32, 1); TESTINST("dextu", 0x0, 0x98765432, 32, 1); TESTINST("dextu", 0x0, 0xffffffffff865421, 32, 1); TESTINST("dextu", 0xffffffffffffffff, 0x0, 32, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 1); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 32, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 32, 1); TESTINST("dextu", 0x98765432, 0x0, 32, 1); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 32, 1); TESTINST("dextu", 0x98765432, 0x98765432, 32, 1); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 32, 1); TESTINST("dextu", 0xffffffffff865421, 0x0, 32, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 32, 1); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 32, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 32, 1); TESTINST("dextu", 0x0, 0x0, 32, 4); TESTINST("dextu", 0x0, 0xffffffffffffffff, 32, 4); TESTINST("dextu", 0x0, 0x98765432, 32, 4); TESTINST("dextu", 0x0, 0xffffffffff865421, 32, 4); TESTINST("dextu", 0xffffffffffffffff, 0x0, 32, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 4); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 32, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 32, 4); TESTINST("dextu", 0x98765432, 0x0, 32, 4); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 32, 4); TESTINST("dextu", 0x98765432, 0x98765432, 32, 4); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 32, 4); TESTINST("dextu", 0xffffffffff865421, 0x0, 32, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 32, 4); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 32, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 32, 4); TESTINST("dextu", 0x0, 0x0, 32, 16); TESTINST("dextu", 0x0, 0xffffffffffffffff, 32, 16); TESTINST("dextu", 0x0, 0x98765432, 32, 16); TESTINST("dextu", 0x0, 0xffffffffff865421, 32, 16); TESTINST("dextu", 0xffffffffffffffff, 0x0, 32, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 16); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 32, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 32, 16); TESTINST("dextu", 0x98765432, 0x0, 32, 16); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 32, 16); TESTINST("dextu", 0x98765432, 0x98765432, 32, 16); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 32, 16); TESTINST("dextu", 0xffffffffff865421, 0x0, 32, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 32, 16); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 32, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 32, 16); TESTINST("dextu", 0x0, 0x0, 32, 32); TESTINST("dextu", 0x0, 0xffffffffffffffff, 32, 32); TESTINST("dextu", 0x0, 0x98765432, 32, 32); TESTINST("dextu", 0x0, 0xffffffffff865421, 32, 32); TESTINST("dextu", 0xffffffffffffffff, 0x0, 32, 32); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 32); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 32, 32); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 32, 32); TESTINST("dextu", 0x98765432, 0x0, 32, 32); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 32, 32); TESTINST("dextu", 0x98765432, 0x98765432, 32, 32); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 32, 32); TESTINST("dextu", 0xffffffffff865421, 0x0, 32, 32); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 32, 32); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 32, 32); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 32, 32); TESTINST("dextu", 0x0, 0x0, 36, 1); TESTINST("dextu", 0x0, 0xffffffffffffffff, 36, 1); TESTINST("dextu", 0x0, 0x98765432, 36, 1); TESTINST("dextu", 0x0, 0xffffffffff865421, 36, 1); TESTINST("dextu", 0xffffffffffffffff, 0x0, 36, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 1); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 36, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 36, 1); TESTINST("dextu", 0x98765432, 0x0, 36, 1); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 36, 1); TESTINST("dextu", 0x98765432, 0x98765432, 36, 1); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 36, 1); TESTINST("dextu", 0xffffffffff865421, 0x0, 36, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 36, 1); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 36, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 36, 1); TESTINST("dextu", 0x0, 0x0, 36, 4); TESTINST("dextu", 0x0, 0xffffffffffffffff, 36, 4); TESTINST("dextu", 0x0, 0x98765432, 36, 4); TESTINST("dextu", 0x0, 0xffffffffff865421, 36, 4); TESTINST("dextu", 0xffffffffffffffff, 0x0, 36, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 4); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 36, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 36, 4); TESTINST("dextu", 0x98765432, 0x0, 36, 4); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 36, 4); TESTINST("dextu", 0x98765432, 0x98765432, 36, 4); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 36, 4); TESTINST("dextu", 0xffffffffff865421, 0x0, 36, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 36, 4); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 36, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 36, 4); TESTINST("dextu", 0x0, 0x0, 36, 16); TESTINST("dextu", 0x0, 0xffffffffffffffff, 36, 16); TESTINST("dextu", 0x0, 0x98765432, 36, 16); TESTINST("dextu", 0x0, 0xffffffffff865421, 36, 16); TESTINST("dextu", 0xffffffffffffffff, 0x0, 36, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 16); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 36, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 36, 16); TESTINST("dextu", 0x98765432, 0x0, 36, 16); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 36, 16); TESTINST("dextu", 0x98765432, 0x98765432, 36, 16); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 36, 16); TESTINST("dextu", 0xffffffffff865421, 0x0, 36, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 36, 16); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 36, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 36, 16); TESTINST("dextu", 0x0, 0x0, 36, 28); TESTINST("dextu", 0x0, 0xffffffffffffffff, 36, 28); TESTINST("dextu", 0x0, 0x98765432, 36, 28); TESTINST("dextu", 0x0, 0xffffffffff865421, 36, 28); TESTINST("dextu", 0xffffffffffffffff, 0x0, 36, 28); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 28); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 36, 28); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 36, 28); TESTINST("dextu", 0x98765432, 0x0, 36, 28); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 36, 28); TESTINST("dextu", 0x98765432, 0x98765432, 36, 28); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 36, 28); TESTINST("dextu", 0xffffffffff865421, 0x0, 36, 28); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 36, 28); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 36, 28); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 36, 28); TESTINST("dextu", 0x0, 0x0, 48, 1); TESTINST("dextu", 0x0, 0xffffffffffffffff, 48, 1); TESTINST("dextu", 0x0, 0x98765432, 48, 1); TESTINST("dextu", 0x0, 0xffffffffff865421, 48, 1); TESTINST("dextu", 0xffffffffffffffff, 0x0, 48, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 1); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 48, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 48, 1); TESTINST("dextu", 0x98765432, 0x0, 48, 1); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 48, 1); TESTINST("dextu", 0x98765432, 0x98765432, 48, 1); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 48, 1); TESTINST("dextu", 0xffffffffff865421, 0x0, 48, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 48, 1); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 48, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 48, 1); TESTINST("dextu", 0x0, 0x0, 48, 4); TESTINST("dextu", 0x0, 0xffffffffffffffff, 48, 4); TESTINST("dextu", 0x0, 0x98765432, 48, 4); TESTINST("dextu", 0x0, 0xffffffffff865421, 48, 4); TESTINST("dextu", 0xffffffffffffffff, 0x0, 48, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 4); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 48, 4); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 48, 4); TESTINST("dextu", 0x98765432, 0x0, 48, 4); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 48, 4); TESTINST("dextu", 0x98765432, 0x98765432, 48, 4); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 48, 4); TESTINST("dextu", 0xffffffffff865421, 0x0, 48, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 48, 4); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 48, 4); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 48, 4); TESTINST("dextu", 0x0, 0x0, 48, 16); TESTINST("dextu", 0x0, 0xffffffffffffffff, 48, 16); TESTINST("dextu", 0x0, 0x98765432, 48, 16); TESTINST("dextu", 0x0, 0xffffffffff865421, 48, 16); TESTINST("dextu", 0xffffffffffffffff, 0x0, 48, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 16); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 48, 16); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 48, 16); TESTINST("dextu", 0x98765432, 0x0, 48, 16); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 48, 16); TESTINST("dextu", 0x98765432, 0x98765432, 48, 16); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 48, 16); TESTINST("dextu", 0xffffffffff865421, 0x0, 48, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 48, 16); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 48, 16); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 48, 16); TESTINST("dextu", 0x0, 0x0, 63, 1); TESTINST("dextu", 0x0, 0xffffffffffffffff, 63, 1); TESTINST("dextu", 0x0, 0x98765432, 63, 1); TESTINST("dextu", 0x0, 0xffffffffff865421, 63, 1); TESTINST("dextu", 0xffffffffffffffff, 0x0, 63, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffffffffff, 63, 1); TESTINST("dextu", 0xffffffffffffffff, 0x98765432, 63, 1); TESTINST("dextu", 0xffffffffffffffff, 0xffffffffff865421, 63, 1); TESTINST("dextu", 0x98765432, 0x0, 63, 1); TESTINST("dextu", 0x98765432, 0xffffffffffffffff, 63, 1); TESTINST("dextu", 0x98765432, 0x98765432, 63, 1); TESTINST("dextu", 0x98765432, 0xffffffffff865421, 63, 1); TESTINST("dextu", 0xffffffffff865421, 0x0, 63, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffffffffff, 63, 1); TESTINST("dextu", 0xffffffffff865421, 0x98765432, 63, 1); TESTINST("dextu", 0xffffffffff865421, 0xffffffffff865421, 63, 1); TESTINST("dextu", 0x2002ffffffffffff, 0xfffffffff0000fff, 33, 4); TESTINST("dextu", 0xffff0000ffffffff, 0xff0000ffffffffff, 60, 4); TESTINST("dextu", 0x2000ffffffffffff, 0xffff0000ffffffff, 54, 4); TESTINST("dextu", 0x2000ffffffddddff, 0xffffffffffff0008, 56, 2); TESTINST("dextu", 0x2000ffffffffeeee, 0xfffffff31415927f, 40, 4); TESTINST("dextu", 0x31415927ffffffff, 0x2000ffffffffffff, 51, 2); TESTINST("dextu", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 48, 4); TESTINST("dextu", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 38, 4); TESTINST("dextu", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 35, 4); TESTINST("dextu", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 36, 4); TESTINST("dextu", 0x2000ffffffffbbbb, 0x2000ffffffffffff, 45, 1); TESTINST("dextu", 0x2000ffffffffffff, 0xeeeeff33ff22ffff, 46, 4); TESTINST("dextu", 0x7fffffffddddffff, 0x2000ffffffbbbbff, 52, 4); TESTINST("dextu", 0x2000ffffffff2222, 0x2000ffffffffaaaa, 40, 8); TESTINST("dextu", 0x2000ffffffffffff, 0x31415927ffffffff, 39, 4); TESTINST("dextu", 0xfffffff31415927f, 0x2000ffffffffeeee, 60, 4); TESTINST("dextu", 0xffffffffffff0008, 0x2000ffffffddddff, 63, 1); TESTINST("dextu", 0xffff0000ffffffff, 0x2000ffffffffffff, 50, 4); TESTINST("dextu", 0xff0000ffffffffff, 0, 36, 4); TESTINST("dextu", 0xfffffffff0000fff, 0, 46, 4); printf("--- DINS ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 0 < size <= 32 0 < pos+size <= 32 */ TESTINST("dins", 0x0, 0x0, 0, 1); TESTINST("dins", 0x0, 0xffffffffffffffff, 0, 1); TESTINST("dins", 0x0, 0x98765432, 0, 1); TESTINST("dins", 0x0, 0xffffffffff865421, 0, 1); TESTINST("dins", 0xffffffffffffffff, 0x0, 0, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 1); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 0, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 0, 1); TESTINST("dins", 0x98765432, 0x0, 0, 1); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 0, 1); TESTINST("dins", 0x98765432, 0x98765432, 0, 1); TESTINST("dins", 0x98765432, 0xffffffffff865421, 0, 1); TESTINST("dins", 0xffffffffff865421, 0x0, 0, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 0, 1); TESTINST("dins", 0xffffffffff865421, 0x98765432, 0, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 0, 1); TESTINST("dins", 0x0, 0x0, 0, 4); TESTINST("dins", 0x0, 0xffffffffffffffff, 0, 4); TESTINST("dins", 0x0, 0x98765432, 0, 4); TESTINST("dins", 0x0, 0xffffffffff865421, 0, 4); TESTINST("dins", 0xffffffffffffffff, 0x0, 0, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 4); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 0, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 0, 4); TESTINST("dins", 0x98765432, 0x0, 0, 4); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 0, 4); TESTINST("dins", 0x98765432, 0x98765432, 0, 4); TESTINST("dins", 0x98765432, 0xffffffffff865421, 0, 4); TESTINST("dins", 0xffffffffff865421, 0x0, 0, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 0, 4); TESTINST("dins", 0xffffffffff865421, 0x98765432, 0, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 0, 4); TESTINST("dins", 0x0, 0x0, 0, 16); TESTINST("dins", 0x0, 0xffffffffffffffff, 0, 16); TESTINST("dins", 0x0, 0x98765432, 0, 16); TESTINST("dins", 0x0, 0xffffffffff865421, 0, 16); TESTINST("dins", 0xffffffffffffffff, 0x0, 0, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 16); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 0, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 0, 16); TESTINST("dins", 0x98765432, 0x0, 0, 16); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 0, 16); TESTINST("dins", 0x98765432, 0x98765432, 0, 16); TESTINST("dins", 0x98765432, 0xffffffffff865421, 0, 16); TESTINST("dins", 0xffffffffff865421, 0x0, 0, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 0, 16); TESTINST("dins", 0xffffffffff865421, 0x98765432, 0, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 0, 16); TESTINST("dins", 0x0, 0x0, 0, 32); TESTINST("dins", 0x0, 0xffffffffffffffff, 0, 32); TESTINST("dins", 0x0, 0x98765432, 0, 32); TESTINST("dins", 0x0, 0xffffffffff865421, 0, 32); TESTINST("dins", 0xffffffffffffffff, 0x0, 0, 32); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 0, 32); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 0, 32); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 0, 32); TESTINST("dins", 0x98765432, 0x0, 0, 32); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 0, 32); TESTINST("dins", 0x98765432, 0x98765432, 0, 32); TESTINST("dins", 0x98765432, 0xffffffffff865421, 0, 32); TESTINST("dins", 0xffffffffff865421, 0x0, 0, 32); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 0, 32); TESTINST("dins", 0xffffffffff865421, 0x98765432, 0, 32); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 0, 32); TESTINST("dins", 0x0, 0x0, 4, 1); TESTINST("dins", 0x0, 0xffffffffffffffff, 4, 1); TESTINST("dins", 0x0, 0x98765432, 4, 1); TESTINST("dins", 0x0, 0xffffffffff865421, 4, 1); TESTINST("dins", 0xffffffffffffffff, 0x0, 4, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 1); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 4, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 4, 1); TESTINST("dins", 0x98765432, 0x0, 4, 1); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 4, 1); TESTINST("dins", 0x98765432, 0x98765432, 4, 1); TESTINST("dins", 0x98765432, 0xffffffffff865421, 4, 1); TESTINST("dins", 0xffffffffff865421, 0x0, 4, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 4, 1); TESTINST("dins", 0xffffffffff865421, 0x98765432, 4, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 4, 1); TESTINST("dins", 0x0, 0x0, 4, 4); TESTINST("dins", 0x0, 0xffffffffffffffff, 4, 4); TESTINST("dins", 0x0, 0x98765432, 4, 4); TESTINST("dins", 0x0, 0xffffffffff865421, 4, 4); TESTINST("dins", 0xffffffffffffffff, 0x0, 4, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 4); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 4, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 4, 4); TESTINST("dins", 0x98765432, 0x0, 4, 4); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 4, 4); TESTINST("dins", 0x98765432, 0x98765432, 4, 4); TESTINST("dins", 0x98765432, 0xffffffffff865421, 4, 4); TESTINST("dins", 0xffffffffff865421, 0x0, 4, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 4, 4); TESTINST("dins", 0xffffffffff865421, 0x98765432, 4, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 4, 4); TESTINST("dins", 0x0, 0x0, 4, 16); TESTINST("dins", 0x0, 0xffffffffffffffff, 4, 16); TESTINST("dins", 0x0, 0x98765432, 4, 16); TESTINST("dins", 0x0, 0xffffffffff865421, 4, 16); TESTINST("dins", 0xffffffffffffffff, 0x0, 4, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 16); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 4, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 4, 16); TESTINST("dins", 0x98765432, 0x0, 4, 16); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 4, 16); TESTINST("dins", 0x98765432, 0x98765432, 4, 16); TESTINST("dins", 0x98765432, 0xffffffffff865421, 4, 16); TESTINST("dins", 0xffffffffff865421, 0x0, 4, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 4, 16); TESTINST("dins", 0xffffffffff865421, 0x98765432, 4, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 4, 16); TESTINST("dins", 0x0, 0x0, 4, 28); TESTINST("dins", 0x0, 0xffffffffffffffff, 4, 28); TESTINST("dins", 0x0, 0x98765432, 4, 28); TESTINST("dins", 0x0, 0xffffffffff865421, 4, 28); TESTINST("dins", 0xffffffffffffffff, 0x0, 4, 28); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 4, 28); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 4, 28); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 4, 28); TESTINST("dins", 0x98765432, 0x0, 4, 28); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 4, 28); TESTINST("dins", 0x98765432, 0x98765432, 4, 28); TESTINST("dins", 0x98765432, 0xffffffffff865421, 4, 28); TESTINST("dins", 0xffffffffff865421, 0x0, 4, 28); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 4, 28); TESTINST("dins", 0xffffffffff865421, 0x98765432, 4, 28); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 4, 28); TESTINST("dins", 0x0, 0x0, 16, 1); TESTINST("dins", 0x0, 0xffffffffffffffff, 16, 1); TESTINST("dins", 0x0, 0x98765432, 16, 1); TESTINST("dins", 0x0, 0xffffffffff865421, 16, 1); TESTINST("dins", 0xffffffffffffffff, 0x0, 16, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 1); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 16, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 16, 1); TESTINST("dins", 0x98765432, 0x0, 16, 1); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 16, 1); TESTINST("dins", 0x98765432, 0x98765432, 16, 1); TESTINST("dins", 0x98765432, 0xffffffffff865421, 16, 1); TESTINST("dins", 0xffffffffff865421, 0x0, 16, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 16, 1); TESTINST("dins", 0xffffffffff865421, 0x98765432, 16, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 16, 1); TESTINST("dins", 0x0, 0x0, 16, 4); TESTINST("dins", 0x0, 0xffffffffffffffff, 16, 4); TESTINST("dins", 0x0, 0x98765432, 16, 4); TESTINST("dins", 0x0, 0xffffffffff865421, 16, 4); TESTINST("dins", 0xffffffffffffffff, 0x0, 16, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 4); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 16, 4); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 16, 4); TESTINST("dins", 0x98765432, 0x0, 16, 4); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 16, 4); TESTINST("dins", 0x98765432, 0x98765432, 16, 4); TESTINST("dins", 0x98765432, 0xffffffffff865421, 16, 4); TESTINST("dins", 0xffffffffff865421, 0x0, 16, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 16, 4); TESTINST("dins", 0xffffffffff865421, 0x98765432, 16, 4); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 16, 4); TESTINST("dins", 0x0, 0x0, 16, 16); TESTINST("dins", 0x0, 0xffffffffffffffff, 16, 16); TESTINST("dins", 0x0, 0x98765432, 16, 16); TESTINST("dins", 0x0, 0xffffffffff865421, 16, 16); TESTINST("dins", 0xffffffffffffffff, 0x0, 16, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 16, 16); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 16, 16); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 16, 16); TESTINST("dins", 0x98765432, 0x0, 16, 16); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 16, 16); TESTINST("dins", 0x98765432, 0x98765432, 16, 16); TESTINST("dins", 0x98765432, 0xffffffffff865421, 16, 16); TESTINST("dins", 0xffffffffff865421, 0x0, 16, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 16, 16); TESTINST("dins", 0xffffffffff865421, 0x98765432, 16, 16); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 16, 16); TESTINST("dins", 0x0, 0x0, 31, 1); TESTINST("dins", 0x0, 0xffffffffffffffff, 31, 1); TESTINST("dins", 0x0, 0x98765432, 31, 1); TESTINST("dins", 0x0, 0xffffffffff865421, 31, 1); TESTINST("dins", 0xffffffffffffffff, 0x0, 31, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffffffffff, 31, 1); TESTINST("dins", 0xffffffffffffffff, 0x98765432, 31, 1); TESTINST("dins", 0xffffffffffffffff, 0xffffffffff865421, 31, 1); TESTINST("dins", 0x98765432, 0x0, 31, 1); TESTINST("dins", 0x98765432, 0xffffffffffffffff, 31, 1); TESTINST("dins", 0x98765432, 0x98765432, 31, 1); TESTINST("dins", 0x98765432, 0xffffffffff865421, 31, 1); TESTINST("dins", 0xffffffffff865421, 0x0, 31, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffffffffff, 31, 1); TESTINST("dins", 0xffffffffff865421, 0x98765432, 31, 1); TESTINST("dins", 0xffffffffff865421, 0xffffffffff865421, 31, 1); TESTINST("dins", 0x2002ffffffffffff, 0xfffffffff0000fff, 4, 4); TESTINST("dins", 0xffff0000ffffffff, 0xff0000ffffffffff, 8, 4); TESTINST("dins", 0x2000ffffffffffff, 0xffff0000ffffffff, 16, 4); TESTINST("dins", 0x2000ffffffddddff, 0xffffffffffff0008, 24, 2); TESTINST("dins", 0x2000ffffffffeeee, 0xfffffff31415927f, 24, 4); TESTINST("dins", 0x31415927ffffffff, 0x2000ffffffffffff, 9, 2); TESTINST("dins", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 16, 4); TESTINST("dins", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 16, 4); TESTINST("dins", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 7, 4); TESTINST("dins", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 5, 4); TESTINST("dins", 0x2000ffffffffbbbb, 0x2000ffffffffffff, 3, 4); TESTINST("dins", 0x2000ffffffffffff, 0xeeeeff33ff22ffff, 16, 4); TESTINST("dins", 0x7fffffffddddffff, 0x2000ffffffbbbbff, 16, 2); TESTINST("dins", 0x2000ffffffff2222, 0x2000ffffffffaaaa, 2, 8); TESTINST("dins", 0x2000ffffffffffff, 0x2000ffffffffeeee, 0, 32); TESTINST("dins", 0xfffffff31415927f, 0x2000ffffffddddff, 16, 16); TESTINST("dins", 0xffffffffffff0008, 0x2000ffffffddddff, 8, 2); TESTINST("dins", 0xffff0000ffffffff, 0x2000ffffffffffff, 16, 4); TESTINST("dins", 0xff0000ffffffffff, 0xffff0000ffffffff, 8, 4); TESTINST("dins", 0xfffffffff0000fff, 0, 0, 31); printf("--- DINSM ---\n"); /* The values of pos and size must satisfy all of the following relations: 0 <= pos < 32 2 <= size <= 64 32 < pos+size <= 64 */ TESTINST("dinsm", 0x0, 0x0, 0, 33); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 0, 33); TESTINST("dinsm", 0x0, 0x98765432, 0, 33); TESTINST("dinsm", 0x0, 0xffffffffff865421, 0, 33); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 0, 33); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 33); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 0, 33); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 0, 33); TESTINST("dinsm", 0x98765432, 0x0, 0, 33); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 0, 33); TESTINST("dinsm", 0x98765432, 0x98765432, 0, 33); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 0, 33); TESTINST("dinsm", 0xffffffffff865421, 0x0, 0, 33); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 0, 33); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 0, 33); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 0, 33); TESTINST("dinsm", 0x0, 0x0, 0, 37); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 0, 37); TESTINST("dinsm", 0x0, 0x98765432, 0, 37); TESTINST("dinsm", 0x0, 0xffffffffff865421, 0, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 0, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 0, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 0, 37); TESTINST("dinsm", 0x98765432, 0x0, 0, 37); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 0, 37); TESTINST("dinsm", 0x98765432, 0x98765432, 0, 37); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 0, 37); TESTINST("dinsm", 0xffffffffff865421, 0x0, 0, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 0, 37); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 0, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 0, 37); TESTINST("dinsm", 0x0, 0x0, 0, 48); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 0, 48); TESTINST("dinsm", 0x0, 0x98765432, 0, 48); TESTINST("dinsm", 0x0, 0xffffffffff865421, 0, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 0, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 0, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 0, 48); TESTINST("dinsm", 0x98765432, 0x0, 0, 48); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 0, 48); TESTINST("dinsm", 0x98765432, 0x98765432, 0, 48); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 0, 48); TESTINST("dinsm", 0xffffffffff865421, 0x0, 0, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 0, 48); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 0, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 0, 48); TESTINST("dinsm", 0x0, 0x0, 0, 64); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 0, 64); TESTINST("dinsm", 0x0, 0x98765432, 0, 64); TESTINST("dinsm", 0x0, 0xffffffffff865421, 0, 64); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 0, 64); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 0, 64); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 0, 64); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 0, 64); TESTINST("dinsm", 0x98765432, 0x0, 0, 64); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 0, 64); TESTINST("dinsm", 0x98765432, 0x98765432, 0, 64); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 0, 64); TESTINST("dinsm", 0xffffffffff865421, 0x0, 0, 64); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 0, 64); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 0, 64); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 0, 64); TESTINST("dinsm", 0x0, 0x0, 4, 29); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 4, 29); TESTINST("dinsm", 0x0, 0x98765432, 4, 29); TESTINST("dinsm", 0x0, 0xffffffffff865421, 4, 29); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 4, 29); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 29); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 4, 29); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 4, 29); TESTINST("dinsm", 0x98765432, 0x0, 4, 29); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 4, 29); TESTINST("dinsm", 0x98765432, 0x98765432, 4, 29); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 4, 29); TESTINST("dinsm", 0xffffffffff865421, 0x0, 4, 29); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 4, 29); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 4, 29); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 4, 29); TESTINST("dinsm", 0x0, 0x0, 4, 32); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 4, 32); TESTINST("dinsm", 0x0, 0x98765432, 4, 32); TESTINST("dinsm", 0x0, 0xffffffffff865421, 4, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 4, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 4, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 4, 32); TESTINST("dinsm", 0x98765432, 0x0, 4, 32); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 4, 32); TESTINST("dinsm", 0x98765432, 0x98765432, 4, 32); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 4, 32); TESTINST("dinsm", 0xffffffffff865421, 0x0, 4, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 4, 32); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 4, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 4, 32); TESTINST("dinsm", 0x0, 0x0, 4, 37); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 4, 37); TESTINST("dinsm", 0x0, 0x98765432, 4, 37); TESTINST("dinsm", 0x0, 0xffffffffff865421, 4, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 4, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 4, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 4, 37); TESTINST("dinsm", 0x98765432, 0x0, 4, 37); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 4, 37); TESTINST("dinsm", 0x98765432, 0x98765432, 4, 37); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 4, 37); TESTINST("dinsm", 0xffffffffff865421, 0x0, 4, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 4, 37); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 4, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 4, 37); TESTINST("dinsm", 0x0, 0x0, 4, 48); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 4, 48); TESTINST("dinsm", 0x0, 0x98765432, 4, 48); TESTINST("dinsm", 0x0, 0xffffffffff865421, 4, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 4, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 4, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 4, 48); TESTINST("dinsm", 0x98765432, 0x0, 4, 48); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 4, 48); TESTINST("dinsm", 0x98765432, 0x98765432, 4, 48); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 4, 48); TESTINST("dinsm", 0xffffffffff865421, 0x0, 4, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 4, 48); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 4, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 4, 48); TESTINST("dinsm", 0x0, 0x0, 4, 60); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 4, 60); TESTINST("dinsm", 0x0, 0x98765432, 4, 60); TESTINST("dinsm", 0x0, 0xffffffffff865421, 4, 60); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 4, 60); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 4, 60); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 4, 60); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 4, 60); TESTINST("dinsm", 0x98765432, 0x0, 4, 60); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 4, 60); TESTINST("dinsm", 0x98765432, 0x98765432, 4, 60); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 4, 60); TESTINST("dinsm", 0xffffffffff865421, 0x0, 4, 60); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 4, 60); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 4, 60); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 4, 60); TESTINST("dinsm", 0x0, 0x0, 16, 17); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 16, 17); TESTINST("dinsm", 0x0, 0x98765432, 16, 17); TESTINST("dinsm", 0x0, 0xffffffffff865421, 16, 17); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 16, 17); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 17); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 16, 17); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 16, 17); TESTINST("dinsm", 0x98765432, 0x0, 16, 17); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 16, 17); TESTINST("dinsm", 0x98765432, 0x98765432, 16, 17); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 16, 17); TESTINST("dinsm", 0xffffffffff865421, 0x0, 16, 17); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 16, 17); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 16, 17); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 16, 17); TESTINST("dinsm", 0x0, 0x0, 16, 32); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 16, 32); TESTINST("dinsm", 0x0, 0x98765432, 16, 32); TESTINST("dinsm", 0x0, 0xffffffffff865421, 16, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 16, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 16, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 16, 32); TESTINST("dinsm", 0x98765432, 0x0, 16, 32); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 16, 32); TESTINST("dinsm", 0x98765432, 0x98765432, 16, 32); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 16, 32); TESTINST("dinsm", 0xffffffffff865421, 0x0, 16, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 16, 32); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 16, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 16, 32); TESTINST("dinsm", 0x0, 0x0, 16, 37); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 16, 37); TESTINST("dinsm", 0x0, 0x98765432, 16, 37); TESTINST("dinsm", 0x0, 0xffffffffff865421, 16, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 16, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 37); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 16, 37); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 16, 37); TESTINST("dinsm", 0x98765432, 0x0, 16, 37); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 16, 37); TESTINST("dinsm", 0x98765432, 0x98765432, 16, 37); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 16, 37); TESTINST("dinsm", 0xffffffffff865421, 0x0, 16, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 16, 37); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 16, 37); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 16, 37); TESTINST("dinsm", 0x0, 0x0, 16, 48); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 16, 48); TESTINST("dinsm", 0x0, 0x98765432, 16, 48); TESTINST("dinsm", 0x0, 0xffffffffff865421, 16, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 16, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 16, 48); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 16, 48); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 16, 48); TESTINST("dinsm", 0x98765432, 0x0, 16, 48); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 16, 48); TESTINST("dinsm", 0x98765432, 0x98765432, 16, 48); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 16, 48); TESTINST("dinsm", 0xffffffffff865421, 0x0, 16, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 16, 48); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 16, 48); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 16, 48); TESTINST("dinsm", 0x0, 0x0, 31, 2); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 31, 2); TESTINST("dinsm", 0x0, 0x98765432, 31, 2); TESTINST("dinsm", 0x0, 0xffffffffff865421, 31, 2); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 31, 2); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 31, 2); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 31, 2); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 31, 2); TESTINST("dinsm", 0x98765432, 0x0, 31, 2); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 31, 2); TESTINST("dinsm", 0x98765432, 0x98765432, 31, 2); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 31, 2); TESTINST("dinsm", 0xffffffffff865421, 0x0, 31, 2); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 31, 2); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 31, 2); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 31, 2); TESTINST("dinsm", 0x0, 0x0, 31, 16); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 31, 16); TESTINST("dinsm", 0x0, 0x98765432, 31, 16); TESTINST("dinsm", 0x0, 0xffffffffff865421, 31, 16); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 31, 16); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 31, 16); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 31, 16); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 31, 16); TESTINST("dinsm", 0x98765432, 0x0, 31, 16); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 31, 16); TESTINST("dinsm", 0x98765432, 0x98765432, 31, 16); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 31, 16); TESTINST("dinsm", 0xffffffffff865421, 0x0, 31, 16); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 31, 16); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 31, 16); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 31, 16); TESTINST("dinsm", 0x0, 0x0, 31, 32); TESTINST("dinsm", 0x0, 0xffffffffffffffff, 31, 32); TESTINST("dinsm", 0x0, 0x98765432, 31, 32); TESTINST("dinsm", 0x0, 0xffffffffff865421, 31, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x0, 31, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffffffffff, 31, 32); TESTINST("dinsm", 0xffffffffffffffff, 0x98765432, 31, 32); TESTINST("dinsm", 0xffffffffffffffff, 0xffffffffff865421, 31, 32); TESTINST("dinsm", 0x98765432, 0x0, 31, 32); TESTINST("dinsm", 0x98765432, 0xffffffffffffffff, 31, 32); TESTINST("dinsm", 0x98765432, 0x98765432, 31, 32); TESTINST("dinsm", 0x98765432, 0xffffffffff865421, 31, 32); TESTINST("dinsm", 0xffffffffff865421, 0x0, 31, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffffffffff, 31, 32); TESTINST("dinsm", 0xffffffffff865421, 0x98765432, 31, 32); TESTINST("dinsm", 0xffffffffff865421, 0xffffffffff865421, 31, 32); TESTINST("dinsm", 0x2002ffffffffffff, 0xfffffffff0000fff, 4, 35); TESTINST("dinsm", 0xffff0000ffffffff, 0xff0000ffffffffff, 8, 33); TESTINST("dinsm", 0x2000ffffffffffff, 0xffff0000ffffffff, 16, 34); TESTINST("dinsm", 0x2000ffffffddddff, 0xffffffffffff0008, 4, 46); TESTINST("dinsm", 0x2000ffffffffeeee, 0xfffffff31415927f, 3, 56); TESTINST("dinsm", 0x31415927ffffffff, 0x2000ffffffffffff, 0, 64); TESTINST("dinsm", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 16, 40); TESTINST("dinsm", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 16, 42); TESTINST("dinsm", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 7, 43); TESTINST("dinsm", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 5, 48); TESTINST("dinsm", 0x2000ffffffffbbbb, 0x2000ffffffffffff, 3, 52); TESTINST("dinsm", 0x2000ffffffffffff, 0xeeeeff33ff22ffff, 1, 54); TESTINST("dinsm", 0x7fffffffddddffff, 0x2000ffffffbbbbff, 2, 54); TESTINST("dinsm", 0x2000ffffffff2222, 0x2000ffffffffaaaa, 2, 48); TESTINST("dinsm", 0x2000ffffffffffff, 0x31415927ffffffff, 5, 53); TESTINST("dinsm", 0xfffffff31415927f, 0x2000ffffffffeeee, 2, 60); TESTINST("dinsm", 0xffffffffffff0008, 0x2000ffffffddddff, 3, 61); TESTINST("dinsm", 0xffff0000ffffffff, 0x2000ffffffffffff, 1, 62); TESTINST("dinsm", 0xff0000ffffffffff, 0, 8, 38); TESTINST("dinsm", 0xfffffffff0000fff, 0, 16, 39); printf("--- DINSU ---\n"); /* The values of pos and size must satisfy all of the following relations: 32 <= pos < 64 1 <= size <= 32 32 < pos+size <= 64 */ TESTINST("dinsu", 0x0, 0x0, 32, 1); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 32, 1); TESTINST("dinsu", 0x0, 0x98765432, 32, 1); TESTINST("dinsu", 0x0, 0xffffffffff865421, 32, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 32, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 32, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 32, 1); TESTINST("dinsu", 0x98765432, 0x0, 32, 1); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 32, 1); TESTINST("dinsu", 0x98765432, 0x98765432, 32, 1); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 32, 1); TESTINST("dinsu", 0xffffffffff865421, 0x0, 32, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 32, 1); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 32, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 32, 1); TESTINST("dinsu", 0x0, 0x0, 32, 4); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 32, 4); TESTINST("dinsu", 0x0, 0x98765432, 32, 4); TESTINST("dinsu", 0x0, 0xffffffffff865421, 32, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 32, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 32, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 32, 4); TESTINST("dinsu", 0x98765432, 0x0, 32, 4); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 32, 4); TESTINST("dinsu", 0x98765432, 0x98765432, 32, 4); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 32, 4); TESTINST("dinsu", 0xffffffffff865421, 0x0, 32, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 32, 4); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 32, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 32, 4); TESTINST("dinsu", 0x0, 0x0, 32, 16); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 32, 16); TESTINST("dinsu", 0x0, 0x98765432, 32, 16); TESTINST("dinsu", 0x0, 0xffffffffff865421, 32, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 32, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 32, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 32, 16); TESTINST("dinsu", 0x98765432, 0x0, 32, 16); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 32, 16); TESTINST("dinsu", 0x98765432, 0x98765432, 32, 16); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 32, 16); TESTINST("dinsu", 0xffffffffff865421, 0x0, 32, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 32, 16); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 32, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 32, 16); TESTINST("dinsu", 0x0, 0x0, 32, 32); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 32, 32); TESTINST("dinsu", 0x0, 0x98765432, 32, 32); TESTINST("dinsu", 0x0, 0xffffffffff865421, 32, 32); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 32, 32); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 32, 32); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 32, 32); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 32, 32); TESTINST("dinsu", 0x98765432, 0x0, 32, 32); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 32, 32); TESTINST("dinsu", 0x98765432, 0x98765432, 32, 32); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 32, 32); TESTINST("dinsu", 0xffffffffff865421, 0x0, 32, 32); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 32, 32); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 32, 32); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 32, 32); TESTINST("dinsu", 0x0, 0x0, 36, 1); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 36, 1); TESTINST("dinsu", 0x0, 0x98765432, 36, 1); TESTINST("dinsu", 0x0, 0xffffffffff865421, 36, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 36, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 36, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 36, 1); TESTINST("dinsu", 0x98765432, 0x0, 36, 1); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 36, 1); TESTINST("dinsu", 0x98765432, 0x98765432, 36, 1); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 36, 1); TESTINST("dinsu", 0xffffffffff865421, 0x0, 36, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 36, 1); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 36, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 36, 1); TESTINST("dinsu", 0x0, 0x0, 36, 4); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 36, 4); TESTINST("dinsu", 0x0, 0x98765432, 36, 4); TESTINST("dinsu", 0x0, 0xffffffffff865421, 36, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 36, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 36, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 36, 4); TESTINST("dinsu", 0x98765432, 0x0, 36, 4); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 36, 4); TESTINST("dinsu", 0x98765432, 0x98765432, 36, 4); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 36, 4); TESTINST("dinsu", 0xffffffffff865421, 0x0, 36, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 36, 4); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 36, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 36, 4); TESTINST("dinsu", 0x0, 0x0, 36, 16); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 36, 16); TESTINST("dinsu", 0x0, 0x98765432, 36, 16); TESTINST("dinsu", 0x0, 0xffffffffff865421, 36, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 36, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 36, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 36, 16); TESTINST("dinsu", 0x98765432, 0x0, 36, 16); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 36, 16); TESTINST("dinsu", 0x98765432, 0x98765432, 36, 16); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 36, 16); TESTINST("dinsu", 0xffffffffff865421, 0x0, 36, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 36, 16); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 36, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 36, 16); TESTINST("dinsu", 0x0, 0x0, 36, 28); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 36, 28); TESTINST("dinsu", 0x0, 0x98765432, 36, 28); TESTINST("dinsu", 0x0, 0xffffffffff865421, 36, 28); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 36, 28); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 36, 28); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 36, 28); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 36, 28); TESTINST("dinsu", 0x98765432, 0x0, 36, 28); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 36, 28); TESTINST("dinsu", 0x98765432, 0x98765432, 36, 28); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 36, 28); TESTINST("dinsu", 0xffffffffff865421, 0x0, 36, 28); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 36, 28); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 36, 28); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 36, 28); TESTINST("dinsu", 0x0, 0x0, 48, 1); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 48, 1); TESTINST("dinsu", 0x0, 0x98765432, 48, 1); TESTINST("dinsu", 0x0, 0xffffffffff865421, 48, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 48, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 48, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 48, 1); TESTINST("dinsu", 0x98765432, 0x0, 48, 1); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 48, 1); TESTINST("dinsu", 0x98765432, 0x98765432, 48, 1); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 48, 1); TESTINST("dinsu", 0xffffffffff865421, 0x0, 48, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 48, 1); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 48, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 48, 1); TESTINST("dinsu", 0x0, 0x0, 48, 4); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 48, 4); TESTINST("dinsu", 0x0, 0x98765432, 48, 4); TESTINST("dinsu", 0x0, 0xffffffffff865421, 48, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 48, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 4); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 48, 4); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 48, 4); TESTINST("dinsu", 0x98765432, 0x0, 48, 4); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 48, 4); TESTINST("dinsu", 0x98765432, 0x98765432, 48, 4); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 48, 4); TESTINST("dinsu", 0xffffffffff865421, 0x0, 48, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 48, 4); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 48, 4); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 48, 4); TESTINST("dinsu", 0x0, 0x0, 48, 16); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 48, 16); TESTINST("dinsu", 0x0, 0x98765432, 48, 16); TESTINST("dinsu", 0x0, 0xffffffffff865421, 48, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 48, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 48, 16); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 48, 16); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 48, 16); TESTINST("dinsu", 0x98765432, 0x0, 48, 16); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 48, 16); TESTINST("dinsu", 0x98765432, 0x98765432, 48, 16); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 48, 16); TESTINST("dinsu", 0xffffffffff865421, 0x0, 48, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 48, 16); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 48, 16); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 48, 16); TESTINST("dinsu", 0x0, 0x0, 63, 1); TESTINST("dinsu", 0x0, 0xffffffffffffffff, 63, 1); TESTINST("dinsu", 0x0, 0x98765432, 63, 1); TESTINST("dinsu", 0x0, 0xffffffffff865421, 63, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x0, 63, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffffffffff, 63, 1); TESTINST("dinsu", 0xffffffffffffffff, 0x98765432, 63, 1); TESTINST("dinsu", 0xffffffffffffffff, 0xffffffffff865421, 63, 1); TESTINST("dinsu", 0x98765432, 0x0, 63, 1); TESTINST("dinsu", 0x98765432, 0xffffffffffffffff, 63, 1); TESTINST("dinsu", 0x98765432, 0x98765432, 63, 1); TESTINST("dinsu", 0x98765432, 0xffffffffff865421, 63, 1); TESTINST("dinsu", 0xffffffffff865421, 0x0, 63, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffffffffff, 63, 1); TESTINST("dinsu", 0xffffffffff865421, 0x98765432, 63, 1); TESTINST("dinsu", 0xffffffffff865421, 0xffffffffff865421, 63, 1); TESTINST("dinsu", 0x2002ffffffffffff, 0xfffffffff0000fff, 33, 4); TESTINST("dinsu", 0xffff0000ffffffff, 0xff0000ffffffffff, 60, 4); TESTINST("dinsu", 0x2000ffffffffffff, 0xffff0000ffffffff, 54, 4); TESTINST("dinsu", 0x2000ffffffddddff, 0xffffffffffff0008, 56, 2); TESTINST("dinsu", 0x2000ffffffffeeee, 0xfffffff31415927f, 40, 4); TESTINST("dinsu", 0x31415927ffffffff, 0x2000ffffffffffff, 51, 2); TESTINST("dinsu", 0x2000ffffffffaaaa, 0x2000ffffffff2222, 48, 4); TESTINST("dinsu", 0x2000ffffffbbbbff, 0x7fffffffddddffff, 38, 4); TESTINST("dinsu", 0xeeeeff33ff22ffff, 0x2000ffffffffffff, 35, 4); TESTINST("dinsu", 0x2000ffffffffffff, 0x2000ffffffffbbbb, 36, 4); TESTINST("dinsu", 0x2000ffffffffbbbb, 0x2000ffffffffffff, 45, 1); TESTINST("dinsu", 0x2000ffffffffffff, 0xeeeeff33ff22ffff, 46, 4); TESTINST("dinsu", 0x7fffffffddddffff, 0x2000ffffffbbbbff, 52, 4); TESTINST("dinsu", 0x2000ffffffff2222, 0x2000ffffffffaaaa, 40, 8); TESTINST("dinsu", 0x2000ffffffffffff, 0x31415927ffffffff, 39, 4); TESTINST("dinsu", 0xfffffff31415927f, 0x31415927ffffffff, 60, 4); TESTINST("dinsu", 0xffffffffffff0008, 0x2000ffffffddddff, 63, 1); TESTINST("dinsu", 0xffff0000ffffffff, 0x2000ffffffffffff, 50, 4); TESTINST("dinsu", 0xff0000ffffffffff, 0, 36, 4); TESTINST("dinsu", 0xfffffffff0000fff, 0, 46, 4); #else printf("This test is testing mips64r2 instructions.\n"); #endif return 0; }