sim: bfin: add tests for new shift behavior

4 files changed, 137 insertions, 0 deletions

diff --git a/sim/testsuite/sim/bfin/ChangeLog b/sim/testsuite/sim/bfin/ChangeLog
index 8a79f05..1dc3cca 100644
--- a/sim/testsuite/sim/bfin/ChangeLog
+++ b/sim/testsuite/sim/bfin/ChangeLog
@@ -1,3 +1,7 @@
+2012-03-19  Robin Getz  <robin.getz@analog.com>
+
+	* random_0014.S, random_0015.S, random_0016.S: New tests for shifts.
+
 2012-03-18  Mike Frysinger  <vapier@gentoo.org>
 
 	* se_all16bitopcodes.S: Merge code from se_all32bitopcodes.S.
diff --git a/sim/testsuite/sim/bfin/random_0014.S b/sim/testsuite/sim/bfin/random_0014.S
new file mode 100644
index 0000000..c77b305
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0014.S
@@ -0,0 +1,82 @@
+# Test a few corner cases with various shift insns
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+	start
+
+	dmm32 ASTAT, (0x38404290 | _VS | _V | _AC1 | _AC0 | _V_COPY | _AC0_COPY | _AN);
+	dmm32 A0.w, 0xf53d356e;
+	dmm32 A0.x, 0xffffffff;
+	imm32 R5, 0xaa156b54;
+	A0 = ASHIFT A0 BY R5.L;
+	checkreg A0.w, 0x56e00000;
+	checkreg A0.x, 0xffffffd3;
+	checkreg ASTAT, (0x38404290 | _VS | _V | _AC1 | _AC0 | _V_COPY | _AC0_COPY | _AN);
+
+	dmm32 ASTAT, (0x28e00410 | _VS | _V | _AV1S | _AV1 | _AC1 | _V_COPY);
+	dmm32 A0.w, 0x1dfd2a85;
+	dmm32 A0.x, 0xffffffbe;
+	imm32 R2, 0x4b7cf707;
+	A0 = LSHIFT A0 BY R2.L;
+	checkreg A0.w, 0xfe954280;
+	checkreg A0.x, 0x0000000e;
+	checkreg ASTAT, (0x28e00410 | _VS | _V | _AV1S | _AV1 | _AC1 | _V_COPY);
+
+	dmm32 ASTAT, (0x60404e00 | _VS | _V | _AV1S | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
+	dmm32 A1.w, 0xd4aa6e10;
+	dmm32 A1.x, 0xffffffff;
+	imm32 R4, 0xb4bb3054;
+	A1 = ASHIFT A1 BY R4.L;
+	checkreg A1.w, 0xe1000000;
+	checkreg A1.x, 0xffffffa6;
+	checkreg ASTAT, (0x60404e00 | _VS | _V | _AV1S | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
+
+	dmm32 ASTAT, (0x00608810 | _V | _AV1S | _AV0S | _V_COPY | _AC0_COPY | _AN);
+	dmm32 A1.w, 0x0dbadb4f;
+	dmm32 A1.x, 0x00000035;
+	imm32 R3, 0x3cc3f7db;
+	A1 = LSHIFT A1 BY R3.L;
+	checkreg A1.w, 0x78000000;
+	checkreg A1.x, 0xffffffda;
+	checkreg ASTAT, (0x00608810 | _V | _AV1S | _AV0S | _V_COPY | _AC0_COPY | _AN);
+
+	dmm32 ASTAT, (0x14900e10 | _VS | _AC0 | _CC | _AC0_COPY);
+	imm32 R0, 0x6286ee56;
+	imm32 R7, 0x5cd969c5;
+	R0 = ASHIFT R0 BY R7.L;
+	checkreg R0, 0x50ddcac0;
+	checkreg ASTAT, (0x14900e10 | _VS | _V | _AC0 | _CC | _V_COPY | _AC0_COPY);
+
+	dmm32 ASTAT, (0x28904a90 | _VS | _V | _AV0S | _V_COPY | _AZ);
+	imm32 R0, 0x00000000;
+	imm32 R5, 0x00008000;
+	imm32 R6, 0x03488f9a;
+	R0.L = ASHIFT R5.L BY R6.L;
+	checkreg ASTAT, (0x28904a90 | _VS | _V | _AV0S | _V_COPY | _AZ);
+
+	dmm32 ASTAT, (0x3c10c890 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _AC0_COPY);
+	imm32 R1, 0x29162006;
+	imm32 R3, 0xffff0345;
+	imm32 R4, 0x8ff5e6bb;
+	R1.H = ASHIFT R4.H BY R3.L;
+	checkreg R1, 0xfea02006;
+	checkreg ASTAT, (0x3c10c890 | _VS | _V | _AV1S | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
+
+	dmm32 ASTAT, (0x78600e00 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC);
+	imm32 R0, 0xd5b1804d;
+	imm32 R1, 0x522c817d;
+	imm32 R5, 0xfca6f990;
+	R1.H = ASHIFT R5.H BY R0.L;
+	checkreg R1, 0xc000817d;
+	checkreg ASTAT, (0x78600e00 | _VS | _V | _AV1S | _AV0S | _AC0 | _AQ | _CC | _V_COPY | _AN);
+
+	dmm32 ASTAT, (0x64b04890 | _VS | _V | _AV0S | _AV0 | _AC1 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+	imm32 R4, 0x80000000;
+	imm32 R6, 0x4e840a3e;
+	imm32 R7, 0x20102e48;
+	R6.L = ASHIFT R4.H BY R7.L;
+	checkreg R6, 0x4e840000;
+	checkreg ASTAT, (0x64b04890 | _VS | _V | _AV0S | _AV0 | _AC1 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
+
+	pass
diff --git a/sim/testsuite/sim/bfin/random_0015.S b/sim/testsuite/sim/bfin/random_0015.S
new file mode 100644
index 0000000..60d6317
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0015.S
@@ -0,0 +1,25 @@
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+	start
+
+	dmm32 ASTAT, (0x5c70c410 | _VS | _V | _AV0S | _AV0 | _AC1 | _V_COPY | _AN);
+	dmm32 A1.w, 0xb7cc6ddd;
+	dmm32 A1.x, 0x00000004;
+	imm32 R3, 0x3f225ae3;
+	A1 = ASHIFT A1 BY R3.L;
+	checkreg A1.w, 0x00000025;
+	checkreg A1.x, 0x00000000;
+	checkreg ASTAT, (0x5c70c410 | _VS | _V | _AV0S | _AV0 | _AC1 | _V_COPY);
+
+	dmm32 ASTAT, (0x4810ca80 | _AV1S | _AV1 | _AV0S | _AV0 | _AC1 | _AC0 | _V_COPY | _AN);
+	dmm32 A1.w, 0x7396e11c;
+	dmm32 A1.x, 0xffffffba;
+	imm32 R3, 0x6e5f9f48;
+	A1 = ASHIFT A1 BY R3.L;
+	checkreg A1.w, 0x96e11c00;
+	checkreg A1.x, 0x00000073;
+	checkreg ASTAT, (0x4810ca80 | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _V_COPY);
+
+	pass
diff --git a/sim/testsuite/sim/bfin/random_0016.S b/sim/testsuite/sim/bfin/random_0016.S
new file mode 100644
index 0000000..0b45074
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0016.S
@@ -0,0 +1,26 @@
+# Test LSHIFT values and ASTAT flags
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+	start
+
+	dmm32 ASTAT, (0x7ce00000 | _VS | _V | _AV0S | _AQ | _CC | _V_COPY | _AN);
+	dmm32 A0.w, 0xe1a3909e;
+	dmm32 A0.x, 0xffffffff;
+	imm32 R2, 0x214a26f6;
+	A0 = LSHIFT A0 BY R2.L;
+	checkreg A0.w, 0x3ff868e4;
+	checkreg A0.x, 0x00000000;
+	checkreg ASTAT, (0x7ce00000 | _VS | _V | _AV0S | _AQ | _CC | _V_COPY);
+
+	dmm32 ASTAT, (0x64008a00 | _AV1 | _AV0S | _AV0 | _AC0 | _AQ | _CC | _AN);
+	dmm32 A0.w, 0x72af1593;
+	dmm32 A0.x, 0xfffffffd;
+	imm32 R2, 0x6505b40c;
+	A0 = LSHIFT A0 BY R2.L;
+	checkreg A0.w, 0xf1593000;
+	checkreg A0.x, 0x0000002a;
+	checkreg ASTAT, (0x64008a00 | _AV1 | _AV0S | _AC0 | _AQ | _CC);
+
+	pass