diff options
Diffstat (limited to 'test/monniaux/heapsort')
| -rw-r--r-- | test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified5 | 2 | ||||
| -rw-r--r-- | test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified7 | 2 | ||||
| -rw-r--r-- | test/monniaux/heapsort/heapsort.ccomp.k1c.s.orig | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified5 b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified5 index 9263169b..f56df84c 100644 --- a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified5 +++ b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified5 @@ -1,5 +1,5 @@ # File generated by CompCert 3.4 -# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.k1c.s +# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.kvx.s .text .balign 2 downheap: diff --git a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified7 b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified7 index 4d6a12de..0c873f0e 100644 --- a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified7 +++ b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.modified7 @@ -1,5 +1,5 @@ # File generated by CompCert 3.4 -# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.k1c.s +# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.kvx.s .text .balign 2 downheap: diff --git a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.orig b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.orig index 3dc370b8..0d7d5c0b 100644 --- a/test/monniaux/heapsort/heapsort.ccomp.k1c.s.orig +++ b/test/monniaux/heapsort/heapsort.ccomp.k1c.s.orig @@ -1,5 +1,5 @@ # File generated by CompCert 3.4 -# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.k1c.s +# Command line: -Wall -O3 -S heapsort.c -o heapsort.ccomp.kvx.s .text .balign 2 downheap: |