diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-10-06 15:46:47 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-10-06 15:46:47 +0000 |
| commit | f7693b3d897b90fd3bc2533be002dc0bdcd9f6c2 (patch) | |
| tree | 93ea9491693324d2d690c4236a2c88c3b461e225 /test/cminor/qsort.cm | |
| parent | 261ef24f7fd2ef443f73c468b9b1fa496371f3bf (diff) | |
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
Diffstat (limited to 'test/cminor/qsort.cm')
| -rw-r--r-- | test/cminor/qsort.cm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/cminor/qsort.cm b/test/cminor/qsort.cm index 004f8cd..8c73584 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) { |