Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions tests/benchmarks/main.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -33,8 +33,9 @@ ARK_CREATE_RUNTIME_BENCH(fibonacci)->Iterations(100);
ARK_CREATE_RUNTIME_BENCH(builtins);
ARK_CREATE_RUNTIME_BENCH(binary_trees);
ARK_CREATE_RUNTIME_BENCH(for_sum);
ARK_CREATE_RUNTIME_BENCH(create_closure);
ARK_CREATE_RUNTIME_BENCH(create_list);
ARK_CREATE_RUNTIME_BENCH(create_closure)->Iterations(500);
ARK_CREATE_RUNTIME_BENCH(create_list)->Iterations(500);
ARK_CREATE_RUNTIME_BENCH(n_queens)->Iterations(50);

// --------------------------------------------
// parser benchmarks
Expand Down
32 changes: 32 additions & 0 deletions tests/benchmarks/resources/runtime/n_queens.ark
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
(let queenPuzzle (fun (rows columns)
(if (<= rows 0)
[[]]
(addQueen (- rows 1) columns))))

(let addQueen (fun (newRow columns) {
(mut newSolutions [])
(let prev (queenPuzzle newRow columns))

(mut i 0)
(while (< i (len prev)) {
(let solution (@ prev i))
(mut newColumn 0)
(while (< newColumn columns) {
(if (not (hasConflict newRow newColumn solution)) (append! newSolutions (append solution newColumn)))
(set newColumn (+ newColumn 1)) })

(set i (+ i 1)) })

newSolutions }))

(let hasConflict (fun (newRow newColumn solution) {
(mut i 0)
(mut conflict false)
(while (and (< i newRow) (not conflict)) {
(if (or (= (@ solution i) newColumn) (= (+ (@ solution i) i) (+ newColumn newRow)) (= (- (@ solution i) i) (- newColumn newRow)))
(set conflict true))
(set i (+ i 1)) })

conflict }))

(assert (= (len (queenPuzzle 8 8)) 92) "92 solutions were found")
32 changes: 32 additions & 0 deletions tests/unittests/resources/RosettaSuite/n_queens.ark
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
(let queenPuzzle (fun (rows columns)
(if (<= rows 0)
[[]]
(addQueen (- rows 1) columns))))

(let addQueen (fun (newRow columns) {
(mut newSolutions [])
(let prev (queenPuzzle newRow columns))

(mut i 0)
(while (< i (len prev)) {
(let solution (@ prev i))
(mut newColumn 0)
(while (< newColumn columns) {
(if (not (hasConflict newRow newColumn solution)) (append! newSolutions (append solution newColumn)))
(set newColumn (+ newColumn 1)) })

(set i (+ i 1)) })

newSolutions }))

(let hasConflict (fun (newRow newColumn solution) {
(mut i 0)
(mut conflict false)
(while (and (< i newRow) (not conflict)) {
(if (or (= (@ solution i) newColumn) (= (+ (@ solution i) i) (+ newColumn newRow)) (= (- (@ solution i) i) (- newColumn newRow)))
(set conflict true))
(set i (+ i 1)) })

conflict }))

(assert (= (queenPuzzle 4 4) [[1 3 0 2] [2 0 3 1]]) "The two correct solutions were found")
Loading