Skip to content

Commit

Permalink
some tests
Browse files Browse the repository at this point in the history
  • Loading branch information
NaC-L committed Dec 7, 2024
1 parent ebf8b02 commit 45a5dcd
Show file tree
Hide file tree
Showing 4 changed files with 54 additions and 0 deletions.
11 changes: 11 additions & 0 deletions testcases/bench_add.asm
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
section .text

global main
main:
xor rcx, rcx
do_loop:
add rax, rax
inc rcx
cmp rcx, 1000
jbe do_loop
ret
13 changes: 13 additions & 0 deletions testcases/bench_add_concretized.asm
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
section .text

global main
main:
xor rcx, rcx

do_loop:
add rcx, rcx
inc rcx
cmp rcx, 1000
jbe do_loop

ret
15 changes: 15 additions & 0 deletions testcases/bench_add_mem.asm
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
section .text

global main
main:
xor rcx, rcx
push rax

do_loop:
add [rsp], rax
inc rcx
cmp rcx, 1000
jbe do_loop

pop rax
ret
15 changes: 15 additions & 0 deletions testcases/bench_add_mem_concretized.asm
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
section .text

global main
main:
xor rcx, rcx
push rcx

do_loop:
add [rsp], rcx
inc rcx
cmp rcx, 1000
jbe do_loop

pop rax
ret

0 comments on commit 45a5dcd

Please sign in to comment.