Add conformance tests for shifting out of range (#125)

The Linux verifier rejects shifting by imm out of range
so did not add tests for those cases.

Signed-off-by: Dave Thaler <dthaler@microsoft.com>

tests/arsh32-reg-high.data

@@ -0,0 +1,12 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+
+-- asm
+mov32 %r0, 0xf8
+mov32 %r1, 48
+lsh32 %r0, 28
+# %r0 == 0x80000000
+arsh32 %r0, %r1
+exit
+-- result
+0xffff8000

tests/arsh32-reg-neg.data

@@ -0,0 +1,12 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+
+-- asm
+mov32 %r0, 0xf8
+mov32 %r1, -16
+lsh32 %r0, 28
+# %r0 == 0x80000000
+arsh32 %r0, %r1
+exit
+-- result
+0xffff8000

tests/arsh64-imm.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov32 %r0, 1
+lsh %r0, 63
+arsh %r0, 60
+exit
+-- result
+0xfffffffffffffff8

tests/arsh64.data → tests/arsh64-reg-high.data

@@ -3,8 +3,7 @@
 -- asm
 mov32 %r0, 1
 lsh %r0, 63
-arsh %r0, 55
-mov32 %r1, 5
+mov32 %r1, 124
 arsh %r0, %r1
 exit
 -- result

tests/arsh64-reg-neg.data

@@ -0,0 +1,10 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov32 %r0, 1
+lsh %r0, 63
+mov32 %r1, -4
+arsh %r0, %r1
+exit
+-- result
+0xfffffffffffffff8

tests/arsh64-reg.data

@@ -0,0 +1,10 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov32 %r0, 1
+lsh %r0, 63
+mov32 %r1, 60
+arsh %r0, %r1
+exit
+-- result
+0xfffffffffffffff8

tests/arsh32-high-shift.data → tests/lsh32-reg-high.data

@@ -1,9 +1,9 @@
 # Copyright (c) Big Switch Networks, Inc
 # SPDX-License-Identifier: Apache-2.0
 -- asm
-mov %r0, 8
-lddw %r1, 0x100000001
-arsh32 %r0, %r1
+mov %r0, 0x11
+mov %r7, 60
+lsh32 %r0, %r7
 exit
 -- result
-0x4
+0x10000000

tests/lsh32-reg-neg.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0x11
+mov %r7, -4
+lsh32 %r0, %r7
+exit
+-- result
+0x10000000

tests/lsh64-reg-high.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0x1
+mov %r7, 68
+lsh %r0, %r7
+exit
+-- result
+0x10

tests/lsh64-reg-neg.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0x1
+mov %r7, -60
+lsh %r0, %r7
+exit
+-- result
+0x10

tests/rsh32-reg-high.data

@@ -0,0 +1,10 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0
+sub %r0, 1
+mov %r7, 40
+rsh32 %r0, %r7
+exit
+-- result
+0x00ffffff

tests/rsh32-reg-neg.data

@@ -0,0 +1,10 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0
+sub %r0, 1
+mov %r7, -24
+rsh32 %r0, %r7
+exit
+-- result
+0x00ffffff

tests/rsh64-reg-high.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0x10
+mov %r7, 68
+rsh %r0, %r7
+exit
+-- result
+0x1

tests/rsh64-reg-neg.data

@@ -0,0 +1,9 @@
+# Copyright (c) Big Switch Networks, Inc
+# SPDX-License-Identifier: Apache-2.0
+-- asm
+mov %r0, 0x10
+mov %r7, -60
+rsh %r0, %r7
+exit
+-- result
+0x1