blob: ef9b9ef4019d7127b41cf6d851d0defc0c38d4ad [file] [log] [blame]
/*
* Copyright 2023 Google LLC
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "tests/kelvin_isa/kelvin_test.h"
// clang-format off
#define test_alun_b_vx(op, in0, in1, ref) \
{ \
uint8_t dut[VLENB] __attribute__((aligned(64))) = {0xcc}; \
vdup_h_x(v0, in0); \
__asm__ __volatile__(ARGS_F_A_A_A(op, v2, v0, %0) : : "r"(in1)); \
vst_b_x(v2, dut); \
if (ref != dut[0]) { \
printf("**error(%d)[%s] %04x %04x : %02x %02x\n", \
__LINE__, op, in0, in1, ref, dut[0]); \
exit(-1); \
} \
}
#define test_alun_h_vx(op, in0, in1, ref) \
{ \
uint16_t dut[VLENH] __attribute__((aligned(64))) = {0xcccc}; \
vdup_w_x(v0, in0); \
__asm__ __volatile__(ARGS_F_A_A_A(op, v2, v0, %0) : : "r"(in1)); \
vst_h_x(v2, dut); \
if (ref != dut[0]) { \
printf("**error(%d)[%s] %08x %08x : %04x %04x\n", \
__LINE__, op, in0, in1, ref, dut[0]); \
exit(-1); \
} \
}
#define test_aluq_b_vx(op, in0, in1, ref) \
{ \
uint8_t dut[VLENB] __attribute__((aligned(64))) = {0xcc}; \
vdup_w_x(v0, in0); \
__asm__ __volatile__(ARGS_F_A_A_A(op, v2, v0, %0) : : "r"(in1)); \
vst_b_x(v2, dut); \
if (ref != dut[0]) { \
printf("**error(%d)[%s] %08x %02x : %02x %02x\n", \
__LINE__, op, in0, in1, ref, dut[0]); \
exit(-1); \
} \
}
// clang-format on
void test_vsraqs() {
const uint32_t in[16] = {0x0000006e, 0xffffffda, 0x00000097, 0xfffffcde,
0xffffff66, 0xfffffcba, 0x00000006, 0xffffff64,
0x0000019a, 0x000001b2, 0xffffff9e, 0x00000234,
0xffffff7c, 0x00000013, 0xffffff35, 0x000000a3};
const uint8_t ref[16] = {0x03, 0x0d, 0xff, 0xff, 0xff, 0x0e, 0xff, 0x01,
0x05, 0xff, 0x00, 0xff, 0xff, 0x12, 0xff, 0x05};
uint8_t dut[16];
vld_w_l_xx(v0, in + 0, 4);
vld_w_l_xx(v1, in + 4, 4);
vld_w_l_xx(v2, in + 8, 4);
vld_w_l_xx(v3, in + 12, 4);
vsraqsu_b_r_vx(v0, v0, 5);
vst_b_l_xx(v0, dut + 0, 16);
for (int i = 0; i < 16; ++i) {
const uint8_t r = ref[i];
const uint8_t d = dut[i];
if (r != d) {
printf("**test_vsraqs(%d) %02x %02x\n", i, r, d);
exit(-1);
}
}
}
int main() {
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x00, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x01, 0x66);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x02, 0x33);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x03, 0x19);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x04, 0x0c);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x05, 0x06);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x06, 0x03);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x07, 0x01);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x08, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x09, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0a, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0b, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0c, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0d, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0e, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0x0f, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x00cd, 0xf0, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x00, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x01, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x02, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x03, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x04, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x05, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x06, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x07, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x08, 0x67);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x09, 0x33);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0a, 0x19);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0b, 0x0c);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0c, 0x06);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0d, 0x03);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0e, 0x01);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0x0f, 0x00);
test_alun_b_vx("vsrans.b.vx", 0x6789, 0xf0, 0x7f);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x00, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x01, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x02, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x03, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x04, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x05, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x06, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x07, 0x80);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x08, 0x98);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x09, 0xcc);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0a, 0xe6);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0b, 0xf3);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0c, 0xf9);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0d, 0xfc);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0e, 0xfe);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0x0f, 0xff);
test_alun_b_vx("vsrans.b.vx", 0x9876, 0xf0, 0x80);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x00, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x01, 0x65d4);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x02, 0x32ea);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x03, 0x1975);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x04, 0x0cba);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x05, 0x065d);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x06, 0x032e);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x07, 0x0197);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x08, 0x00cb);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x09, 0x0065);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0a, 0x0032);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0b, 0x0019);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0c, 0x000c);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0d, 0x0006);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0e, 0x0003);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x0f, 0x0001);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x10, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x11, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x12, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x13, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x14, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x15, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x16, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x17, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x18, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x19, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1a, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1b, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1c, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1d, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1e, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0x1f, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x0000cba9, 0xe0, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x00, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x01, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x02, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x03, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x04, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x05, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x06, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x07, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x08, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x09, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0a, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0b, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0c, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0d, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0e, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x0f, 0x468a);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x10, 0x2345);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x11, 0x11a2);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x12, 0x08d1);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x13, 0x0468);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x14, 0x0234);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x15, 0x011a);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x16, 0x008d);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x17, 0x0046);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x18, 0x0023);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x19, 0x0011);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1a, 0x0008);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1b, 0x0004);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1c, 0x0002);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1d, 0x0001);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1e, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0x1f, 0x0000);
test_alun_h_vx("vsrans.h.vx", 0x23456789, 0xe0, 0x7fff);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x00, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x00, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x01, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x02, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x03, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x04, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x05, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x06, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x07, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x08, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x09, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0a, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0b, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0c, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0d, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0e, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x0f, 0x8000);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x10, 0x9876);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x11, 0xcc3b);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x12, 0xe61d);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x13, 0xf30e);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x14, 0xf987);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x15, 0xfcc3);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x16, 0xfe61);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x17, 0xff30);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x18, 0xff98);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x19, 0xffcc);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1a, 0xffe6);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1b, 0xfff3);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1c, 0xfff9);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1d, 0xfffc);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1e, 0xfffe);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0x1f, 0xffff);
test_alun_h_vx("vsrans.h.vx", 0x98765432, 0xe0, 0x8000);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x00, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x01, 0x67);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x02, 0x33);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x03, 0x1a);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x04, 0x0d);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x05, 0x06);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x06, 0x03);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x07, 0x02);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x08, 0x01);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x09, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0a, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0b, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0c, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0d, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0e, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0x0f, 0x00);
test_alun_b_vx("vsrans.b.r.vx", 0x00cd, 0xf0, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x00, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x01, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x02, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x03, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x04, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x05, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x06, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x07, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x08, 0x68);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x09, 0x34);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0a, 0x1a);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0b, 0x0d);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0c, 0x06);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0d, 0x03);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0e, 0x02);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0x0f, 0x01);
test_alun_b_vx("vsrans.b.r.vx", 0x6789, 0xf0, 0x7f);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x00, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x01, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x02, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x03, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x04, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x05, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x06, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x07, 0x80);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x08, 0x98);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x09, 0xcc);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0a, 0xe6);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0b, 0xf3);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0c, 0xfa);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0d, 0xfd);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0e, 0xfe);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0x0f, 0xff);
test_alun_b_vx("vsrans.b.r.vx", 0x9876, 0xf0, 0x80);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x00, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x01, 0x65d5);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x02, 0x32ea);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x03, 0x1975);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x04, 0x0cbb);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x05, 0x065d);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x06, 0x032f);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x07, 0x0197);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x08, 0x00cc);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x09, 0x0066);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0a, 0x0033);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0b, 0x0019);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0c, 0x000d);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0d, 0x0006);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0e, 0x0003);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x0f, 0x0002);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x10, 0x0001);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x11, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x12, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x13, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x14, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x15, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x16, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x17, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x18, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x19, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1a, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1b, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1c, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1d, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1e, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0x1f, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x0000cba9, 0xe0, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x00, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x01, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x02, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x03, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x04, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x05, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x06, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x07, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x08, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x09, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0a, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0b, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0c, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0d, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0e, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x0f, 0x468b);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x10, 0x2345);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x11, 0x11a3);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x12, 0x08d1);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x13, 0x0469);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x14, 0x0234);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x15, 0x011a);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x16, 0x008d);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x17, 0x0047);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x18, 0x0023);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x19, 0x0012);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1a, 0x0009);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1b, 0x0004);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1c, 0x0002);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1d, 0x0001);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1e, 0x0001);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0x1f, 0x0000);
test_alun_h_vx("vsrans.h.r.vx", 0x23456789, 0xe0, 0x7fff);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x00, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x00, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x01, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x02, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x03, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x04, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x05, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x06, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x07, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x08, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x09, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0a, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0b, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0c, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0d, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0e, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x0f, 0x8000);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x10, 0x9876);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x11, 0xcc3b);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x12, 0xe61e);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x13, 0xf30f);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x14, 0xf987);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x15, 0xfcc4);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x16, 0xfe62);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x17, 0xff31);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x18, 0xff98);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x19, 0xffcc);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1a, 0xffe6);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1b, 0xfff3);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1c, 0xfffa);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1d, 0xfffd);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1e, 0xfffe);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0x1f, 0xffff);
test_alun_h_vx("vsrans.h.r.vx", 0x98765432, 0xe0, 0x8000);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x00, 0xcd);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x01, 0x66);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x02, 0x33);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x03, 0x19);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x04, 0x0c);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x05, 0x06);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x06, 0x03);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x07, 0x01);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x08, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x09, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0a, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0b, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0c, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0d, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0e, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0x0f, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x00cd, 0xf0, 0xcd);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x00, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x01, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x02, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x03, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x04, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x05, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x06, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x07, 0xcf);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x08, 0x67);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x09, 0x33);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0a, 0x19);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0b, 0x0c);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0c, 0x06);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0d, 0x03);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0e, 0x01);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0x0f, 0x00);
test_alun_b_vx("vsransu.b.vx", 0x6789, 0xf0, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x00, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x01, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x02, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x03, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x04, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x05, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x06, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x07, 0xff);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x08, 0x98);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x09, 0x4c);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0a, 0x26);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0b, 0x13);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0c, 0x09);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0d, 0x04);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0e, 0x02);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0x0f, 0x01);
test_alun_b_vx("vsransu.b.vx", 0x9876, 0xf0, 0xff);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x00, 0xcba9);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x01, 0x65d4);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x02, 0x32ea);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x03, 0x1975);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x04, 0x0cba);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x05, 0x065d);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x06, 0x032e);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x07, 0x0197);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x08, 0x00cb);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x09, 0x0065);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0a, 0x0032);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0b, 0x0019);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0c, 0x000c);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0d, 0x0006);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0e, 0x0003);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x0f, 0x0001);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x10, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x11, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x12, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x13, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x14, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x15, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x16, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x17, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x18, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x19, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1a, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1b, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1c, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1d, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1e, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0x1f, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x0000cba9, 0xe0, 0xcba9);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x00, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x01, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x02, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x03, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x04, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x05, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x06, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x07, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x08, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x09, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0a, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0b, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0c, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0d, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0e, 0x8d15);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x0f, 0x468a);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x10, 0x2345);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x11, 0x11a2);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x12, 0x08d1);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x13, 0x0468);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x14, 0x0234);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x15, 0x011a);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x16, 0x008d);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x17, 0x0046);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x18, 0x0023);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x19, 0x0011);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1a, 0x0008);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1b, 0x0004);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1c, 0x0002);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1d, 0x0001);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1e, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0x1f, 0x0000);
test_alun_h_vx("vsransu.h.vx", 0x23456789, 0xe0, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x00, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x01, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x02, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x03, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x04, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x05, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x06, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x07, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x08, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x09, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0a, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0b, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0c, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0d, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0e, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x0f, 0xffff);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x10, 0x9876);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x11, 0x4c3b);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x12, 0x261d);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x13, 0x130e);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x14, 0x0987);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x15, 0x04c3);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x16, 0x0261);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x17, 0x0130);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x18, 0x0098);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x19, 0x004c);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1a, 0x0026);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1b, 0x0013);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1c, 0x0009);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1d, 0x0004);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1e, 0x0002);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0x1f, 0x0001);
test_alun_h_vx("vsransu.h.vx", 0x98765432, 0xe0, 0xffff);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x00, 0xcd);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x01, 0x67);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x02, 0x33);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x03, 0x1a);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x04, 0x0d);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x05, 0x06);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x06, 0x03);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x07, 0x02);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x08, 0x01);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x09, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0a, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0b, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0c, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0d, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0e, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0x0f, 0x00);
test_alun_b_vx("vsransu.b.r.vx", 0x00cd, 0xf0, 0xcd);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x00, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x01, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x02, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x03, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x04, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x05, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x06, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x07, 0xcf);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x08, 0x68);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x09, 0x34);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0a, 0x1a);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0b, 0x0d);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0c, 0x06);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0d, 0x03);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0e, 0x02);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0x0f, 0x01);
test_alun_b_vx("vsransu.b.r.vx", 0x6789, 0xf0, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x00, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x01, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x02, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x03, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x04, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x05, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x06, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x07, 0xff);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x08, 0x98);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x09, 0x4c);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0a, 0x26);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0b, 0x13);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0c, 0x0a);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0d, 0x05);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0e, 0x02);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0x0f, 0x01);
test_alun_b_vx("vsransu.b.r.vx", 0x9876, 0xf0, 0xff);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x00, 0xcba9);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x01, 0x65d5);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x02, 0x32ea);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x03, 0x1975);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x04, 0x0cbb);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x05, 0x065d);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x06, 0x032f);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x07, 0x0197);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x08, 0x00cc);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x09, 0x0066);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0a, 0x0033);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0b, 0x0019);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0c, 0x000d);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0d, 0x0006);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0e, 0x0003);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x0f, 0x0002);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x10, 0x0001);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x11, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x12, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x13, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x14, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x15, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x16, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x17, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x18, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x19, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1a, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1b, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1c, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1d, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1e, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0x1f, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x0000cba9, 0xe0, 0xcba9);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x00, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x01, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x02, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x03, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x04, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x05, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x06, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x07, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x08, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x09, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0a, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0b, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0c, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0d, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0e, 0x8d16);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x0f, 0x468b);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x10, 0x2345);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x11, 0x11a3);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x12, 0x08d1);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x13, 0x0469);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x14, 0x0234);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x15, 0x011a);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x16, 0x008d);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x17, 0x0047);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x18, 0x0023);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x19, 0x0012);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1a, 0x0009);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1b, 0x0004);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1c, 0x0002);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1d, 0x0001);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1e, 0x0001);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0x1f, 0x0000);
test_alun_h_vx("vsransu.h.r.vx", 0x23456789, 0xe0, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x00, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x00, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x01, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x02, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x03, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x04, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x05, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x06, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x07, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x08, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x09, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0a, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0b, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0c, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0d, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0e, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x0f, 0xffff);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x10, 0x9876);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x11, 0x4c3b);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x12, 0x261e);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x13, 0x130f);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x14, 0x0987);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x15, 0x04c4);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x16, 0x0262);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x17, 0x0131);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x18, 0x0098);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x19, 0x004c);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1a, 0x0026);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1b, 0x0013);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1c, 0x000a);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1d, 0x0005);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1e, 0x0002);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0x1f, 0x0001);
test_alun_h_vx("vsransu.h.r.vx", 0x98765432, 0xe0, 0xffff);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x00, 0x12);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x01, 0x09);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x02, 0x04);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x03, 0x02);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x04, 0x01);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x05, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x06, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x07, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x08, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x09, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00000012, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x01, 0x66);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x02, 0x33);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x03, 0x19);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x04, 0x0c);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x05, 0x06);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x06, 0x03);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x07, 0x01);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x08, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x09, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x000000cd, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x06, 0x48);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x07, 0x24);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x08, 0x12);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x09, 0x09);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0a, 0x04);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0b, 0x02);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0c, 0x01);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x00001234, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x06, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x07, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x08, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x09, 0x55);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0a, 0x2a);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0b, 0x15);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0c, 0x0a);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0d, 0x05);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0e, 0x02);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x0f, 0x01);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x0000abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x06, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x07, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x08, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x09, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0a, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0b, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0c, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0d, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0e, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x0f, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x10, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x11, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x12, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x13, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x14, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x15, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x16, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x17, 0x7f);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x18, 0x67);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x19, 0x33);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1a, 0x19);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1b, 0x0c);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1c, 0x06);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1d, 0x03);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1e, 0x01);
test_aluq_b_vx("vsraqs.b.vx", 0x6789abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x00, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x01, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x02, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x03, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x04, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x05, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x06, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x07, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x08, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x09, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0a, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0b, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0c, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0d, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0e, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x0f, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x10, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x11, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x12, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x13, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x14, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x15, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x16, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x17, 0x80);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x18, 0xba);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x19, 0xdd);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1a, 0xee);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1b, 0xf7);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1c, 0xfb);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1d, 0xfd);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1e, 0xfe);
test_aluq_b_vx("vsraqs.b.vx", 0xba987654, 0x1f, 0xff);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x00, 0x12);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x01, 0x09);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x02, 0x05);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x03, 0x02);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x04, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x05, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x06, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x07, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x08, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x09, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00000012, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x01, 0x67);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x02, 0x33);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x03, 0x1a);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x04, 0x0d);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x05, 0x06);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x06, 0x03);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x07, 0x02);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x08, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x09, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x000000cd, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x06, 0x49);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x07, 0x24);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x08, 0x12);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x09, 0x09);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0a, 0x05);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0b, 0x02);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0c, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0d, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x0f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x10, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x00001234, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x06, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x07, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x08, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x09, 0x56);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0a, 0x2b);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0b, 0x15);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0c, 0x0b);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0d, 0x05);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0e, 0x03);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x0f, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x10, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x11, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x12, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x13, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x14, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x15, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x16, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x17, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x18, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x19, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1a, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1b, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1c, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1d, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1e, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x0000abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x00, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x01, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x02, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x03, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x04, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x05, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x06, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x07, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x08, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x09, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0a, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0b, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0c, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0d, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0e, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x0f, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x10, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x11, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x12, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x13, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x14, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x15, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x16, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x17, 0x7f);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x18, 0x68);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x19, 0x34);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1a, 0x1a);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1b, 0x0d);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1c, 0x06);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1d, 0x03);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1e, 0x02);
test_aluq_b_vx("vsraqs.b.r.vx", 0x6789abcd, 0x1f, 0x01);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x00, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x01, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x02, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x03, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x04, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x05, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x06, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x07, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x08, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x09, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0a, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0b, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0c, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0d, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0e, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x0f, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x10, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x11, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x12, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x13, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x14, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x15, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x16, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x17, 0x80);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x18, 0xbb);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x19, 0xdd);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1a, 0xef);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1b, 0xf7);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1c, 0xfc);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1d, 0xfe);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1e, 0xff);
test_aluq_b_vx("vsraqs.b.r.vx", 0xba987654, 0x1f, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x00, 0x12);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x01, 0x09);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x02, 0x04);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x03, 0x02);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x04, 0x01);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x05, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x06, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x07, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x08, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x09, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00000012, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x00, 0xcd);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x01, 0x66);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x02, 0x33);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x03, 0x19);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x04, 0x0c);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x05, 0x06);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x06, 0x03);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x07, 0x01);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x08, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x09, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x000000cd, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x05, 0x91);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x06, 0x48);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x07, 0x24);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x08, 0x12);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x09, 0x09);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0a, 0x04);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0b, 0x02);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0c, 0x01);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x00001234, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x08, 0xab);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x09, 0x55);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0a, 0x2a);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0b, 0x15);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0c, 0x0a);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0d, 0x05);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0e, 0x02);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x0f, 0x01);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x0000abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x08, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x09, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0a, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0b, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0c, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0d, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0e, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x0f, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x10, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x11, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x12, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x13, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x14, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x15, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x16, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x17, 0xcf);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x18, 0x67);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x19, 0x33);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1a, 0x19);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1b, 0x0c);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1c, 0x06);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1d, 0x03);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1e, 0x01);
test_aluq_b_vx("vsraqsu.b.vx", 0x6789abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x08, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x09, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0a, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0b, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0c, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0d, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0e, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x0f, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x10, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x11, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x12, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x13, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x14, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x15, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x16, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x17, 0xff);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x18, 0xba);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x19, 0x5d);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1a, 0x2e);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1b, 0x17);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1c, 0x0b);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1d, 0x05);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1e, 0x02);
test_aluq_b_vx("vsraqsu.b.vx", 0xba987654, 0x1f, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x00, 0x12);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x01, 0x09);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x02, 0x05);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x03, 0x02);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x04, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x05, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x06, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x07, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x08, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x09, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00000012, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x00, 0xcd);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x01, 0x67);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x02, 0x33);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x03, 0x1a);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x04, 0x0d);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x05, 0x06);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x06, 0x03);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x07, 0x02);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x08, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x09, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x000000cd, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x05, 0x92);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x06, 0x49);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x07, 0x24);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x08, 0x12);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x09, 0x09);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0a, 0x05);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0b, 0x02);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0c, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0d, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x0f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x10, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x00001234, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x08, 0xac);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x09, 0x56);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0a, 0x2b);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0b, 0x15);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0c, 0x0b);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0d, 0x05);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0e, 0x03);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x0f, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x10, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x11, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x12, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x13, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x14, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x15, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x16, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x17, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x18, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x19, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1a, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1b, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1c, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1d, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1e, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x0000abcd, 0x1f, 0x00);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x08, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x09, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0a, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0b, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0c, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0d, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0e, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x0f, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x10, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x11, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x12, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x13, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x14, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x15, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x16, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x17, 0xcf);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x18, 0x68);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x19, 0x34);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1a, 0x1a);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1b, 0x0d);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1c, 0x06);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1d, 0x03);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1e, 0x02);
test_aluq_b_vx("vsraqsu.b.r.vx", 0x6789abcd, 0x1f, 0x01);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x00, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x01, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x02, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x03, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x04, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x05, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x06, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x07, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x08, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x09, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0a, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0b, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0c, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0d, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0e, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x0f, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x10, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x11, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x12, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x13, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x14, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x15, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x16, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x17, 0xff);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x18, 0xbb);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x19, 0x5d);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1a, 0x2f);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1b, 0x17);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1c, 0x0c);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1d, 0x06);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1e, 0x03);
test_aluq_b_vx("vsraqsu.b.r.vx", 0xba987654, 0x1f, 0x01);
test_vsraqs();
return 0;
}