diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-17 07:53:43 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-17 07:53:43 +0000 |
commit | 34a2dec2f1fab835aec0799f5b4758df31e688ff (patch) | |
tree | 379302c07e9d167101053a30cb5ca36f16c67fe7 /test/regression/Results/switch2 | |
parent | 17f519651feb4a09aa90c89c949469e8a5ab0e88 (diff) | |
download | compcert-34a2dec2f1fab835aec0799f5b4758df31e688ff.tar.gz compcert-34a2dec2f1fab835aec0799f5b4758df31e688ff.zip |
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
Diffstat (limited to 'test/regression/Results/switch2')
-rw-r--r-- | test/regression/Results/switch2 | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/test/regression/Results/switch2 b/test/regression/Results/switch2 new file mode 100644 index 00000000..dfbaff2e --- /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 |