diff options
Diffstat (limited to 'test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01')
-rw-r--r-- | test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01 | 204 |
1 files changed, 0 insertions, 204 deletions
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01 deleted file mode 100644 index 7d9df872..00000000 --- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01 +++ /dev/null @@ -1,204 +0,0 @@ -# File generated by CompCert 3.5 -# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s - .section .rodata - .balign 1 -__stringlit_1: - .ascii "position: %d\012random fill cycles: %lu\012search cycles: %lu\012\000" - .type __stringlit_1, @object - .size __stringlit_1, . - __stringlit_1 - .text - .balign 2 - .globl my_bsearch -my_bsearch: - addd $r17 = $r12, 0 - addd $r12 = $r12, -16 -;; - sd 0[$r12] = $r17 -;; -;; - get $r16 = $ra -;; - sd 8[$r12] = $r16 -;; - make $r4, 0 - addw $r6 = $r1, -1 -;; -.L100: - addw $r5 = $r4, $r6 -;; - srlw $r3 = $r5, 1 -;; - zxwd $r5 = $r3 -;; - slld $r8 = $r5, 2 -;; - lws $r1 = $r8[$r0] -;; - compw.eq $r32 = $r1, $r2 -;; - cb.wnez $r32? .L101 -;; - compw.lt $r32 = $r1, $r2 -;; - cb.wnez $r32? .L102 -;; - addw $r6 = $r3, -1 - goto .L103 -;; -.L102: - addw $r4 = $r3, 1 -;; -.L103: - compw.leu $r32 = $r4, $r6 -;; - cb.wnez $r32? .L100 -;; - make $r0, -1 - goto .L104 -;; -.L101: - addd $r0 = $r3, 0 -;; -.L104: - ld $r16 = 8[$r12] -;; - set $ra = $r16 -;; - addd $r12 = $r12, 16 -;; - ret -;; - .type my_bsearch, @function - .size my_bsearch, . - my_bsearch - .text - .balign 2 - .globl random_ascending_fill -random_ascending_fill: - addd $r17 = $r12, 0 - addd $r12 = $r12, -16 -;; - sd 0[$r12] = $r17 -;; -;; - get $r16 = $ra -;; - sd 8[$r12] = $r16 -;; - make $r7, 41 - make $r8, 0 - make $r6, 0 -;; -.L105: - compw.geu $r32 = $r6, $r1 -;; - cb.wnez $r32? .L106 -;; - zxwd $r2 = $r6 - andw $r3 = $r7, 1073741824 -;; - slld $r4 = $r2, 2 -;; - sw $r4[$r0] = $r8 - addw $r8 = $r8, 1 - cb.weqz $r3? .L107 -;; - addw $r8 = $r8, 1 -;; -.L107: - mulw $r2 = $r7, 97 - addw $r6 = $r6, 1 -;; - addw $r7 = $r2, 5 - goto .L105 -;; -.L106: - ld $r16 = 8[$r12] -;; - set $ra = $r16 -;; - addd $r12 = $r12, 16 -;; - ret -;; - .type random_ascending_fill, @function - .size random_ascending_fill, . - random_ascending_fill - .text - .balign 2 - .globl main -main: - addd $r17 = $r12, 0 - addd $r12 = $r12, -64 -;; - sd 0[$r12] = $r17 -;; -;; - get $r16 = $ra -;; - sd 8[$r12] = $r16 -;; - sd 16[$r12] = $r18 - make $r0, 20000 -;; - sd 24[$r12] = $r19 -;; - sd 32[$r12] = $r20 -;; - sd 40[$r12] = $r21 -;; - sd 48[$r12] = $r22 - make $r22, 5000 - call malloc -;; - addd $r21 = $r0, 0 - call get_current_cycle -;; - addd $r18 = $r0, 0 - addd $r1 = $r22, 0 - addd $r0 = $r21, 0 - call random_ascending_fill -;; - call get_current_cycle -;; - sbfd $r19 = $r18, $r0 - call get_current_cycle -;; - addd $r20 = $r0, 0 - make $r2, 1502 - addd $r1 = $r22, 0 - addd $r0 = $r21, 0 - call my_bsearch -;; - addd $r18 = $r0, 0 - call get_current_cycle -;; - sbfd $r3 = $r20, $r0 - make $r0 = __stringlit_1 - addd $r2 = $r19, 0 - addd $r1 = $r18, 0 - call printf -;; - addd $r0 = $r21, 0 - call free -;; - make $r0, 0 -;; - ld $r18 = 16[$r12] -;; - ld $r19 = 24[$r12] -;; - ld $r20 = 32[$r12] -;; - ld $r21 = 40[$r12] -;; - ld $r22 = 48[$r12] -;; - ld $r16 = 8[$r12] -;; - set $ra = $r16 -;; - addd $r12 = $r12, 64 -;; - ret -;; - .type main, @function - .size main, . - main |