CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
387 lines
6.3 KiB
ArmAsm
387 lines
6.3 KiB
ArmAsm
// Test ALU RND RND12 RND20
|
|
# mach: bfin
|
|
|
|
#include "test.h"
|
|
.include "testutils.inc"
|
|
start
|
|
|
|
|
|
R7 = 0;
|
|
ASTAT = R7;
|
|
|
|
// 7ffffff0
|
|
// + 00008000
|
|
// -> 7fff0000
|
|
R0 = 0xfff0 (Z);
|
|
R0.H = 0x7fff;
|
|
R7.L = R0 (RND);
|
|
R0 = ASTAT;
|
|
CHECKREG R7, 0x7fff;
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// 7ffffff0
|
|
// + 00008000
|
|
// -> 7fff0000
|
|
R0.L = 0xfff0;
|
|
R0.H = 0x7fff;
|
|
R7.H = R0 (RND);
|
|
R0 = ASTAT;
|
|
CHECKREG R7, 0x7fff7fff;
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// 7ff0fff0
|
|
// + 00008000
|
|
// -> 7ff10000
|
|
R0.L = 0xfff0;
|
|
R0.H = 0x7ff0;
|
|
R7.L = R0 (RND);
|
|
R0 = ASTAT;
|
|
CHECKREG R7, 0x7fff7ff1
|
|
CHECKREG R0, (_VS);
|
|
|
|
// 7ff0fff0
|
|
// + 00008000
|
|
// -> 7ff10000
|
|
// 7ff0fff0
|
|
// + 8000
|
|
// -> 7ff1
|
|
R0.L = 0xfff0;
|
|
R0.H = 0x7ff0;
|
|
R7.H = R0 (RND);
|
|
R0 = ASTAT;
|
|
CHECKREG R7, 0x7ff17ff1
|
|
CHECKREG R0, (_VS);
|
|
|
|
// fffffff0
|
|
// + 00008000
|
|
// -> 00000000
|
|
R0.L = 0xfff0;
|
|
R0.H = 0xffff;
|
|
R7.L = R0 (RND);
|
|
R0 = ASTAT;
|
|
CHECKREG R7, 0x7ff10000;
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// fffffff0
|
|
// + 00008000
|
|
// -> 00000000
|
|
R0.L = 0xfff0;
|
|
R0.H = 0xffff;
|
|
R7.H = R0 (RND);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.H , 0 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// 00fffff0
|
|
// + 00008000
|
|
// -> 0100
|
|
R0.L = 0xfff0;
|
|
R0.H = 0x00ff;
|
|
R7.L = R0 (RND);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0100 );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// RND12
|
|
|
|
// 07ffe000
|
|
// + 00000000
|
|
// = 07ffe000
|
|
// + 00000800
|
|
// -> 7ffe
|
|
R0.L = 0xe000;
|
|
R0.H = 0x07ff;
|
|
R1 = 0x0000 (Z);
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x7ffe );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// 07ffff00
|
|
// + 00000000
|
|
// = 07ffff00
|
|
// + 00000800
|
|
// -> 7fff
|
|
R0.L = 0xff00;
|
|
R0.H = 0x07ff;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x7fff );
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// 07fffc00
|
|
// + 00000f00
|
|
// = 08000b00
|
|
// + 00000800
|
|
// -> 7fff
|
|
R0.L = 0xfc00;
|
|
R0.H = 0x07ff;
|
|
R1.L = 0x0f00;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x7fff );
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// 07ff c000
|
|
// + 0000 1000
|
|
// = 07ff d000
|
|
// + 0000 0800
|
|
// -> 7ff d
|
|
R0.L = 0xc000;
|
|
R0.H = 0x07ff;
|
|
R1.L = 0x1000;
|
|
R1.H = 0x0000;
|
|
_DBG ASTAT;
|
|
R7.L = R0 + R1 (RND12);
|
|
_DBG ASTAT;
|
|
R0 = ASTAT;
|
|
_DBG R0;
|
|
DBGA ( R7.L , 0x7ffd );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// ffff ffea
|
|
// + 07ff fe00
|
|
// = 107ff fdea
|
|
// + 0000 0800
|
|
// -> 7ff f
|
|
R0.L = 0xffea;
|
|
R0.H = 0xffff;
|
|
R1.L = 0xfe00;
|
|
R1.H = 0x07ff;
|
|
_DBG ASTAT;
|
|
R7.L = R0 + R1 (RND12);
|
|
_DBG ASTAT;
|
|
R0 = ASTAT;
|
|
_DBG R0;
|
|
DBGA ( R7.L , 0x7fff );
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// Small negative plus small negative should give zero
|
|
// ffff ffff
|
|
// + ffff ffff
|
|
// + 0000 0800
|
|
// -> 000 0
|
|
R0.L = 0xffff;
|
|
R0.H = 0xffff;
|
|
R1.L = 0xffff;
|
|
R1.H = 0xffff;
|
|
_DBG ASTAT;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
_DBG R0;
|
|
DBGA ( R7.L , 0x0000 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// Small negative minus small positive should give zero
|
|
// ffff ffff
|
|
// + 0000 0001
|
|
// - 0000 0800
|
|
// -> 000 0
|
|
R0.L = 0xffff;
|
|
R0.H = 0xffff;
|
|
R1.L = 0x0001;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 - R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0000 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// Large positive plus large positive should give maxpos
|
|
// 07ff ffff
|
|
// + 07ff ffff
|
|
// + 0000 0800
|
|
// -> 7ff f
|
|
R0.L = 0xffff;
|
|
R0.H = 0x07ff;
|
|
R1.L = 0xffff;
|
|
R1.H = 0x07ff;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x7fff );
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// Large negative plus large negative should give maxneg
|
|
// 0800 0000
|
|
// + 0800 0000
|
|
// + 0000 0800
|
|
// -> 800 0
|
|
R0.L = 0x0000;
|
|
R0.H = 0x0800;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0800;
|
|
R7.L = R0 + R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x7fff );
|
|
CHECKREG R0, (_VS|_V|_V_COPY);
|
|
|
|
// Large positive minus large negative should give maxpos
|
|
// 07ff ffff
|
|
// - 0800 0000
|
|
// + 0000 0800
|
|
// -> 800 0
|
|
R0.L = 0xffff;
|
|
R0.H = 0x07ff;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0800;
|
|
R7.L = R0 - R1 (RND12);
|
|
R0 = ASTAT;
|
|
_DBG ASTAT;
|
|
DBGA ( R7.L , 0x0 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// Large negative minus large positive should give maxneg
|
|
// 0800 0000
|
|
// - 07ff ffff
|
|
// + 0000 0800
|
|
// -> 800 0
|
|
R0.L = 0x0000;
|
|
R0.H = 0x0800;
|
|
R1.L = 0xffff;
|
|
R1.H = 0x07ff;
|
|
R7.L = R0 - R1 (RND12);
|
|
R0 = ASTAT;
|
|
_DBG ASTAT;
|
|
DBGA ( R7.L , 0x0000 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// cef4 3ed6
|
|
// - 56f4 417a
|
|
// + 0000 0800
|
|
// -> 800 0
|
|
R0.L = 0x3ed6;
|
|
R0.H = 0xcef4;
|
|
R1.L = 0x417a;
|
|
R1.H = 0x56f4;
|
|
R7.L = R0 - R1 (RND12);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x8000 );
|
|
CHECKREG R0, (_VS|_V|_V_COPY|_AN);
|
|
|
|
// RND20
|
|
|
|
// 00ff 0000
|
|
// + 0000 0000
|
|
// + 0008 0000
|
|
// ->0010
|
|
R0.L = 0x0000;
|
|
R0.H = 0x00ff;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0010 );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// 00f0 0000
|
|
// + 000f 0000
|
|
// + 0008 0000
|
|
// ->0010
|
|
R0.L = 0x0000;
|
|
R0.H = 0x00f0;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x000f;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0010 );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// 7ff0 0000
|
|
// + 0000 0000
|
|
// + 0008 0000
|
|
// ->07ff
|
|
R0.L = 0x0000;
|
|
R0.H = 0x7ff0;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x07ff );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// 7fff 0000
|
|
// + 0000 0000
|
|
// + 0008 0000
|
|
// ->0800
|
|
R0.L = 0x0000;
|
|
R0.H = 0x7fff;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0800 );
|
|
CHECKREG R0, (_VS);
|
|
|
|
// ffff 0000
|
|
// + 0000 0000
|
|
// + 0008 0000
|
|
// ->0000
|
|
R0.L = 0x0000;
|
|
R0.H = 0xffff;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0000 );
|
|
DBGA ( R0.H , 0x0200 );
|
|
DBGA ( R0.L , 0x0001 );
|
|
|
|
// ff00 0000
|
|
// + 0010 0000
|
|
// + 0008 0000
|
|
// ->fff1
|
|
R0.L = 0x0000;
|
|
R0.H = 0xff00;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0010;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0xfff1 );
|
|
CHECKREG R0, (_VS|_AN);
|
|
|
|
// ff00 0000
|
|
// + 0018 0000
|
|
// + 0008 0000
|
|
// ->fff2
|
|
R0.L = 0x0000;
|
|
R0.H = 0xff00;
|
|
R1.L = 0x0000;
|
|
R1.H = 0x0018;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0xfff2 );
|
|
CHECKREG R0, (_VS|_AN);
|
|
|
|
// Small negative plus small negative should give zero
|
|
// ffff ffff
|
|
// + ffff ffff
|
|
// + 0008 0000
|
|
// ->0000
|
|
R0.L = 0xffff;
|
|
R0.H = 0xffff;
|
|
R1.L = 0xffff;
|
|
R1.H = 0xffff;
|
|
R7.L = R0 + R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0000 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
// Small negative minus small positive should give zero
|
|
// ffff ffff
|
|
// + 0000 0010
|
|
// + 0008 0000
|
|
// ->0000
|
|
R0.L = 0xffff;
|
|
R0.H = 0xffff;
|
|
R1.L = 0x0010;
|
|
R1.H = 0x0000;
|
|
R7.L = R0 - R1 (RND20);
|
|
R0 = ASTAT;
|
|
DBGA ( R7.L , 0x0000 );
|
|
CHECKREG R0, (_VS|_AZ);
|
|
|
|
pass
|