From 5368fc0b29ec249e564fc87ea8b933a350f76d04 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 1 Mar 2013 15:55:19 +0000
Subject: Testing dense switches

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2130 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Results/switch | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 test/regression/Results/switch

(limited to 'test/regression/Results/switch')

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
-- 
cgit