Add some tests for "switch" over 32 and 64-bit integers.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2566 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 47 insertions, 0 deletions

diff --git a/test/regression/Results/switch2 b/test/regression/Results/switch2
new file mode 100644
index 0000000..dfbaff2
--- /dev/null
+++ b/test/regression/Results/switch2
@@ -0,0 +1,47 @@
+f(-1) = -1
+f(0) = -1
+f(1) = 34
+f(2) = 56
+f(3) = 78
+f(4) = 123
+f(5) = 456
+f(6) = 789
+f(7) = 11
+f(8) = 22
+f(9) = 33
+f(10) = 44
+f(11) = 55
+f(12) = 66
+f(13) = 77
+f(14) = 88
+f(15) = 99
+f(16) = 321
+f(17) = 654
+f(18) = 987
+f(19) = 1001
+f(20) = -1
+g(9223372036854775807) = 1
+g(-9223372036854775808) = 2
+g(1249835483136) = -1
+g(-1) = -1
+g(0) = 3
+g(1) = -1
+g(2) = -1
+g(3) = -1
+g(4) = 4
+g(5) = -1
+g(6) = -1
+g(7) = -1
+g(8) = -1
+g(9) = -1
+g(10) = -1
+g(11) = -1
+g(12) = -1
+g(13) = 5
+g(14) = -1
+g(15) = -1
+g(16) = -1
+g(17) = -1
+g(18) = -1
+g(19) = -1
+g(20) = -1