From f7693b3d897b90fd3bc2533be002dc0bdcd9f6c2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 6 Oct 2012 15:46:47 +0000
Subject: Merge of branch seq-and-or.  See Changelog for details.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2059 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/cminor/qsort.cm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'test/cminor/qsort.cm')

diff --git a/test/cminor/qsort.cm b/test/cminor/qsort.cm
index 004f8cd7..8c735843 100644
--- a/test/cminor/qsort.cm
+++ b/test/cminor/qsort.cm
@@ -9,11 +9,13 @@
   {{ loop {
     if (! (i < j)) exit;
     {{ loop {
-      if (i >= hi || int32[a + i * 4] > pivot) exit;
+      if (i >= hi) exit;
+      if (int32[a + i * 4] > pivot) exit;
       i = i + 1;
     } }}
     {{ loop {
-      if (j <= lo || int32[a + j * 4] < pivot) exit;
+      if (j <= lo) exit;
+      if (int32[a + j * 4] < pivot) exit;
       j = j - 1;
     } }}
     if (i < j) {
-- 
cgit