From 917e891d06e16516fe90e286f184062e6b7409fe Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 29 Jun 2006 16:07:01 +0000
Subject: Version C des tests Cminor

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@40 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/qsort.c | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 test/c/qsort.c

(limited to 'test/c/qsort.c')

diff --git a/test/c/qsort.c b/test/c/qsort.c
new file mode 100644
index 00000000..9f8e5b18
--- /dev/null
+++ b/test/c/qsort.c
@@ -0,0 +1,16 @@
+void quicksort(int lo, int hi, int base[])
+{ 
+  int i,j;
+  int pivot,temp;
+    
+  if (lo<hi) {
+    for (i=lo,j=hi,pivot=base[hi];i<j;) {
+      while (i<hi && base[i]<=pivot) i++;
+      while (j>lo && base[j]>=pivot) j--;
+      if (i<j) { temp=base[i]; base[i]=base[j]; base[j]=temp; }
+    }
+    temp=base[i]; base[i]=base[hi]; base[hi]=temp;
+    quicksort(lo,i-1,base);  quicksort(i+1,hi,base);
+  }
+}
+
-- 
cgit