diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-01 15:55:19 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-01 15:55:19 +0000 |
commit | 5368fc0b29ec249e564fc87ea8b933a350f76d04 (patch) | |
tree | 17c9f3819bdb6fb0cdf1bda50388859786cce46b /test/regression/Results | |
parent | 5020a5a07da3fd690f5d171a48d0c73ef48f9430 (diff) | |
download | compcert-5368fc0b29ec249e564fc87ea8b933a350f76d04.tar.gz compcert-5368fc0b29ec249e564fc87ea8b933a350f76d04.zip |
Testing dense switches
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2130 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression/Results')
-rw-r--r-- | test/regression/Results/switch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/regression/Results/switch b/test/regression/Results/switch new file mode 100644 index 00000000..338876fd --- /dev/null +++ b/test/regression/Results/switch @@ -0,0 +1,22 @@ +f(-1) = -1 +f(0) = 12 +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 |