From d9046522a6fc5d2a759def651e1ab0d1276ae24a Mon Sep 17 00:00:00 2001 From: Philipp Grulich Date: Thu, 8 Aug 2024 08:02:27 +0200 Subject: [PATCH] fix argument handling for root basic block --- .../test/data/after_ssa/addArrayInt32.trace | 25 -------- .../test/data/after_ssa/andCondition.trace | 16 ----- .../test/data/after_ssa/andFunction.trace | 15 ----- .../test/data/after_ssa/castVoidPtr.trace | 7 --- nautilus/test/data/after_ssa/collatz.trace | 31 ---------- .../after_ssa/complexLogicalExpressions.trace | 21 ------- .../data/after_ssa/compoundStatements.trace | 14 ----- .../data/after_ssa/conditionalReturn.trace | 12 ---- .../test/data/after_ssa/countDigits.trace | 16 ----- .../test/data/after_ssa/decimalToBinary.trace | 21 ------- .../deeplyNestedIfElseCondition.trace | 47 -------------- .../deeplyNestedIfElseIfCondition.trace | 38 ------------ nautilus/test/data/after_ssa/digitSum.trace | 17 ----- .../data/after_ssa/doubleIfCondition.trace | 25 -------- .../test/data/after_ssa/elseOnlySumLoop.trace | 26 -------- nautilus/test/data/after_ssa/factorial.trace | 15 ----- nautilus/test/data/after_ssa/fibonacci.trace | 16 ----- nautilus/test/data/after_ssa/gcd.trace | 12 ---- .../data/after_ssa/ifElseIfCondition.trace | 27 -------- .../test/data/after_ssa/ifElseIfElse.trace | 20 ------ .../test/data/after_ssa/ifElseSumLoop.trace | 28 --------- .../test/data/after_ssa/ifInsideLoop.trace | 26 -------- nautilus/test/data/after_ssa/ifNotEqual.trace | 12 ---- nautilus/test/data/after_ssa/ifSumLoop.trace | 26 -------- .../test/data/after_ssa/ifThenCondition.trace | 16 ----- .../data/after_ssa/ifThenElseCondition.trace | 18 ------ .../data/after_ssa/ifWithFunctionCall.trace | 14 ----- .../test/data/after_ssa/ifWithTernary.trace | 22 ------- nautilus/test/data/after_ssa/isPrime.trace | 30 --------- nautilus/test/data/after_ssa/logicalAnd.trace | 15 ----- nautilus/test/data/after_ssa/logicalOr.trace | 15 ----- nautilus/test/data/after_ssa/logicalXOR.trace | 15 ----- .../test/data/after_ssa/loopDirectCall.trace | 14 ----- .../data/after_ssa/multipleConditions.trace | 18 ------ .../after_ssa/nestedElseOnlySumLoop.trace | 37 ----------- nautilus/test/data/after_ssa/nestedIf.trace | 19 ------ .../nestedIfElseDifferentLevels.trace | 27 -------- .../data/after_ssa/nestedIfElseSumLoop.trace | 39 ------------ .../after_ssa/nestedIfNoElseCondition.trace | 28 --------- .../test/data/after_ssa/nestedIfSumLoop.trace | 37 ----------- .../after_ssa/nestedIfThenElseCondition.trace | 24 ------- .../test/data/after_ssa/nestedSumLoop.trace | 25 -------- .../test/data/after_ssa/orCondition.trace | 16 ----- .../data/after_ssa/passCustomStruct.trace | 3 - .../test/data/after_ssa/reverseNumber.trace | 19 ------ .../after_ssa/shortCircuitEvaluation.trace | 17 ----- .../data/after_ssa/simpleDirectCall.trace | 3 - .../test/data/after_ssa/specializeType.trace | 3 - nautilus/test/data/after_ssa/staticLoop.trace | 23 ------- .../data/after_ssa/staticLoopIncrement.trace | 23 ------- .../after_ssa/staticLoopWithDynamicLoop.trace | 52 ---------------- .../after_ssa/staticWhileLoopDecrement.trace | 25 -------- nautilus/test/data/after_ssa/sumArray.trace | 18 ------ nautilus/test/data/after_ssa/sumLoop.trace | 15 ----- .../test/data/after_ssa/sumOfNumbers.trace | 14 ----- .../test/data/after_ssa/sumOfSquares.trace | 15 ----- nautilus/test/data/after_ssa/useWrapper.trace | 5 -- .../data/after_ssa/varyingComplexity.trace | 31 ---------- .../test/data/after_ssa/voidFuncCall.trace | 3 - .../test/data/tracing/addArrayInt32.trace | 35 ----------- nautilus/test/data/tracing/andCondition.trace | 15 ----- nautilus/test/data/tracing/andFunction.trace | 21 ------- nautilus/test/data/tracing/assignShl.trace | 2 +- nautilus/test/data/tracing/assignShr.trace | 2 +- nautilus/test/data/tracing/assignment1.trace | 2 +- nautilus/test/data/tracing/assignment2.trace | 2 +- nautilus/test/data/tracing/assignment3.trace | 2 +- nautilus/test/data/tracing/assignment4.trace | 2 +- nautilus/test/data/tracing/assignment5.trace | 2 +- .../castFloatToDoubleAddExpression.trace | 2 +- .../castInt8ToInt64AddExpression.trace | 2 +- .../castInt8ToInt64AddExpression2.trace | 2 +- nautilus/test/data/tracing/castVoidPtr.trace | 9 --- nautilus/test/data/tracing/collatz.trace | 36 ----------- .../tracing/complexLogicalExpressions.trace | 20 ------ .../data/tracing/compoundStatements.trace | 14 ----- .../test/data/tracing/conditionalReturn.trace | 10 --- nautilus/test/data/tracing/countDigits.trace | 19 ------ .../test/data/tracing/decimalToBinary.trace | 25 -------- .../tracing/deeplyNestedIfElseCondition.trace | 56 ----------------- .../deeplyNestedIfElseIfCondition.trace | 46 -------------- nautilus/test/data/tracing/digitSum.trace | 20 ------ .../data/tracing/doubleAddExpression.trace | 2 +- .../test/data/tracing/doubleIfCondition.trace | 30 --------- .../test/data/tracing/elseOnlySumLoop.trace | 30 --------- nautilus/test/data/tracing/factorial.trace | 19 ------ nautilus/test/data/tracing/fibonacci.trace | 20 ------ .../data/tracing/floatAddExpression.trace | 2 +- nautilus/test/data/tracing/gcd.trace | 16 ----- .../test/data/tracing/ifElseIfCondition.trace | 33 ---------- nautilus/test/data/tracing/ifElseIfElse.trace | 21 ------- .../test/data/tracing/ifElseSumLoop.trace | 33 ---------- nautilus/test/data/tracing/ifInsideLoop.trace | 29 --------- nautilus/test/data/tracing/ifNotEqual.trace | 11 ---- nautilus/test/data/tracing/ifSumLoop.trace | 30 --------- .../test/data/tracing/ifThenCondition.trace | 18 ------ .../data/tracing/ifThenElseCondition.trace | 21 ------- .../data/tracing/ifWithFunctionCall.trace | 14 ----- .../test/data/tracing/ifWithTernary.trace | 23 ------- .../data/tracing/int16AddExpression.trace | 2 +- .../data/tracing/int32AddExpression.trace | 2 +- .../data/tracing/int64AddExpression.trace | 2 +- .../test/data/tracing/int8AddExpression.trace | 2 +- nautilus/test/data/tracing/isPrime.trace | 29 --------- nautilus/test/data/tracing/logicalAnd.trace | 14 ----- nautilus/test/data/tracing/logicalOr.trace | 14 ----- nautilus/test/data/tracing/logicalXOR.trace | 14 ----- .../test/data/tracing/loopDirectCall.trace | 20 ------ .../data/tracing/multipleConditions.trace | 17 ----- .../data/tracing/nestedElseOnlySumLoop.trace | 43 ------------- nautilus/test/data/tracing/nestedIf.trace | 19 ------ .../tracing/nestedIfElseDifferentLevels.trace | 29 --------- .../data/tracing/nestedIfElseSumLoop.trace | 46 -------------- .../tracing/nestedIfNoElseCondition.trace | 34 ---------- .../test/data/tracing/nestedIfSumLoop.trace | 43 ------------- .../tracing/nestedIfThenElseCondition.trace | 29 --------- .../test/data/tracing/nestedSumLoop.trace | 28 --------- nautilus/test/data/tracing/orCondition.trace | 15 ----- .../test/data/tracing/passCustomStruct.trace | 3 - .../test/data/tracing/reverseNumber.trace | 22 ------- .../data/tracing/shortCircuitEvaluation.trace | 16 ----- .../test/data/tracing/simpleDirectCall.trace | 7 --- .../test/data/tracing/specializeType.trace | 3 - nautilus/test/data/tracing/staticLoop.trace | 33 ---------- .../data/tracing/staticLoopIncrement.trace | 33 ---------- .../tracing/staticLoopWithDynamicLoop.trace | 62 ------------------- .../tracing/staticWhileLoopDecrement.trace | 36 ----------- nautilus/test/data/tracing/sumArray.trace | 23 ------- nautilus/test/data/tracing/sumLoop.trace | 17 ----- nautilus/test/data/tracing/sumOfNumbers.trace | 17 ----- nautilus/test/data/tracing/sumOfSquares.trace | 17 ----- nautilus/test/data/tracing/useWrapper.trace | 5 -- .../test/data/tracing/varyingComplexity.trace | 33 ---------- nautilus/test/data/tracing/voidFuncCall.trace | 7 --- 134 files changed, 16 insertions(+), 2629 deletions(-) delete mode 100644 nautilus/test/data/after_ssa/addArrayInt32.trace delete mode 100644 nautilus/test/data/after_ssa/andCondition.trace delete mode 100644 nautilus/test/data/after_ssa/andFunction.trace delete mode 100644 nautilus/test/data/after_ssa/castVoidPtr.trace delete mode 100644 nautilus/test/data/after_ssa/collatz.trace delete mode 100644 nautilus/test/data/after_ssa/complexLogicalExpressions.trace delete mode 100644 nautilus/test/data/after_ssa/compoundStatements.trace delete mode 100644 nautilus/test/data/after_ssa/conditionalReturn.trace delete mode 100644 nautilus/test/data/after_ssa/countDigits.trace delete mode 100644 nautilus/test/data/after_ssa/decimalToBinary.trace delete mode 100644 nautilus/test/data/after_ssa/deeplyNestedIfElseCondition.trace delete mode 100644 nautilus/test/data/after_ssa/deeplyNestedIfElseIfCondition.trace delete mode 100644 nautilus/test/data/after_ssa/digitSum.trace delete mode 100644 nautilus/test/data/after_ssa/doubleIfCondition.trace delete mode 100644 nautilus/test/data/after_ssa/elseOnlySumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/factorial.trace delete mode 100644 nautilus/test/data/after_ssa/fibonacci.trace delete mode 100644 nautilus/test/data/after_ssa/gcd.trace delete mode 100644 nautilus/test/data/after_ssa/ifElseIfCondition.trace delete mode 100644 nautilus/test/data/after_ssa/ifElseIfElse.trace delete mode 100644 nautilus/test/data/after_ssa/ifElseSumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/ifInsideLoop.trace delete mode 100644 nautilus/test/data/after_ssa/ifNotEqual.trace delete mode 100644 nautilus/test/data/after_ssa/ifSumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/ifThenCondition.trace delete mode 100644 nautilus/test/data/after_ssa/ifThenElseCondition.trace delete mode 100644 nautilus/test/data/after_ssa/ifWithFunctionCall.trace delete mode 100644 nautilus/test/data/after_ssa/ifWithTernary.trace delete mode 100644 nautilus/test/data/after_ssa/isPrime.trace delete mode 100644 nautilus/test/data/after_ssa/logicalAnd.trace delete mode 100644 nautilus/test/data/after_ssa/logicalOr.trace delete mode 100644 nautilus/test/data/after_ssa/logicalXOR.trace delete mode 100644 nautilus/test/data/after_ssa/loopDirectCall.trace delete mode 100644 nautilus/test/data/after_ssa/multipleConditions.trace delete mode 100644 nautilus/test/data/after_ssa/nestedElseOnlySumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIf.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIfElseDifferentLevels.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIfElseSumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIfNoElseCondition.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIfSumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/nestedIfThenElseCondition.trace delete mode 100644 nautilus/test/data/after_ssa/nestedSumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/orCondition.trace delete mode 100644 nautilus/test/data/after_ssa/passCustomStruct.trace delete mode 100644 nautilus/test/data/after_ssa/reverseNumber.trace delete mode 100644 nautilus/test/data/after_ssa/shortCircuitEvaluation.trace delete mode 100644 nautilus/test/data/after_ssa/simpleDirectCall.trace delete mode 100644 nautilus/test/data/after_ssa/specializeType.trace delete mode 100644 nautilus/test/data/after_ssa/staticLoop.trace delete mode 100644 nautilus/test/data/after_ssa/staticLoopIncrement.trace delete mode 100644 nautilus/test/data/after_ssa/staticLoopWithDynamicLoop.trace delete mode 100644 nautilus/test/data/after_ssa/staticWhileLoopDecrement.trace delete mode 100644 nautilus/test/data/after_ssa/sumArray.trace delete mode 100644 nautilus/test/data/after_ssa/sumLoop.trace delete mode 100644 nautilus/test/data/after_ssa/sumOfNumbers.trace delete mode 100644 nautilus/test/data/after_ssa/sumOfSquares.trace delete mode 100644 nautilus/test/data/after_ssa/useWrapper.trace delete mode 100644 nautilus/test/data/after_ssa/varyingComplexity.trace delete mode 100644 nautilus/test/data/after_ssa/voidFuncCall.trace delete mode 100644 nautilus/test/data/tracing/addArrayInt32.trace delete mode 100644 nautilus/test/data/tracing/andCondition.trace delete mode 100644 nautilus/test/data/tracing/andFunction.trace delete mode 100644 nautilus/test/data/tracing/castVoidPtr.trace delete mode 100644 nautilus/test/data/tracing/collatz.trace delete mode 100644 nautilus/test/data/tracing/complexLogicalExpressions.trace delete mode 100644 nautilus/test/data/tracing/compoundStatements.trace delete mode 100644 nautilus/test/data/tracing/conditionalReturn.trace delete mode 100644 nautilus/test/data/tracing/countDigits.trace delete mode 100644 nautilus/test/data/tracing/decimalToBinary.trace delete mode 100644 nautilus/test/data/tracing/deeplyNestedIfElseCondition.trace delete mode 100644 nautilus/test/data/tracing/deeplyNestedIfElseIfCondition.trace delete mode 100644 nautilus/test/data/tracing/digitSum.trace delete mode 100644 nautilus/test/data/tracing/doubleIfCondition.trace delete mode 100644 nautilus/test/data/tracing/elseOnlySumLoop.trace delete mode 100644 nautilus/test/data/tracing/factorial.trace delete mode 100644 nautilus/test/data/tracing/fibonacci.trace delete mode 100644 nautilus/test/data/tracing/gcd.trace delete mode 100644 nautilus/test/data/tracing/ifElseIfCondition.trace delete mode 100644 nautilus/test/data/tracing/ifElseIfElse.trace delete mode 100644 nautilus/test/data/tracing/ifElseSumLoop.trace delete mode 100644 nautilus/test/data/tracing/ifInsideLoop.trace delete mode 100644 nautilus/test/data/tracing/ifNotEqual.trace delete mode 100644 nautilus/test/data/tracing/ifSumLoop.trace delete mode 100644 nautilus/test/data/tracing/ifThenCondition.trace delete mode 100644 nautilus/test/data/tracing/ifThenElseCondition.trace delete mode 100644 nautilus/test/data/tracing/ifWithFunctionCall.trace delete mode 100644 nautilus/test/data/tracing/ifWithTernary.trace delete mode 100644 nautilus/test/data/tracing/isPrime.trace delete mode 100644 nautilus/test/data/tracing/logicalAnd.trace delete mode 100644 nautilus/test/data/tracing/logicalOr.trace delete mode 100644 nautilus/test/data/tracing/logicalXOR.trace delete mode 100644 nautilus/test/data/tracing/loopDirectCall.trace delete mode 100644 nautilus/test/data/tracing/multipleConditions.trace delete mode 100644 nautilus/test/data/tracing/nestedElseOnlySumLoop.trace delete mode 100644 nautilus/test/data/tracing/nestedIf.trace delete mode 100644 nautilus/test/data/tracing/nestedIfElseDifferentLevels.trace delete mode 100644 nautilus/test/data/tracing/nestedIfElseSumLoop.trace delete mode 100644 nautilus/test/data/tracing/nestedIfNoElseCondition.trace delete mode 100644 nautilus/test/data/tracing/nestedIfSumLoop.trace delete mode 100644 nautilus/test/data/tracing/nestedIfThenElseCondition.trace delete mode 100644 nautilus/test/data/tracing/nestedSumLoop.trace delete mode 100644 nautilus/test/data/tracing/orCondition.trace delete mode 100644 nautilus/test/data/tracing/passCustomStruct.trace delete mode 100644 nautilus/test/data/tracing/reverseNumber.trace delete mode 100644 nautilus/test/data/tracing/shortCircuitEvaluation.trace delete mode 100644 nautilus/test/data/tracing/simpleDirectCall.trace delete mode 100644 nautilus/test/data/tracing/specializeType.trace delete mode 100644 nautilus/test/data/tracing/staticLoop.trace delete mode 100644 nautilus/test/data/tracing/staticLoopIncrement.trace delete mode 100644 nautilus/test/data/tracing/staticLoopWithDynamicLoop.trace delete mode 100644 nautilus/test/data/tracing/staticWhileLoopDecrement.trace delete mode 100644 nautilus/test/data/tracing/sumArray.trace delete mode 100644 nautilus/test/data/tracing/sumLoop.trace delete mode 100644 nautilus/test/data/tracing/sumOfNumbers.trace delete mode 100644 nautilus/test/data/tracing/sumOfSquares.trace delete mode 100644 nautilus/test/data/tracing/useWrapper.trace delete mode 100644 nautilus/test/data/tracing/varyingComplexity.trace delete mode 100644 nautilus/test/data/tracing/voidFuncCall.trace diff --git a/nautilus/test/data/after_ssa/addArrayInt32.trace b/nautilus/test/data/after_ssa/addArrayInt32.trace deleted file mode 100644 index a78366ac..00000000 --- a/nautilus/test/data/after_ssa/addArrayInt32.trace +++ /dev/null @@ -1,25 +0,0 @@ -B0($1:ptr,$2:ptr,$3:i32) - CONST $4 0 :i32 - JMP $0 B3($4,$3,$1,$2) :void -B1($3:i32,$4:i32,$1:ptr,$2:ptr) - CONST $10 4 :i32 - MUL $11 $4 $10 :i32 - ADD $12 $1 $11 :ptr - LOAD $13 $12 :i32 - CONST $17 4 :i32 - MUL $18 $4 $17 :i32 - ADD $19 $2 $18 :ptr - LOAD $20 $19 :i32 - ADD $21 $13 $20 :i32 - CONST $25 4 :i32 - MUL $26 $4 $25 :i32 - ADD $27 $1 $26 :ptr - STORE $27 $21 :i32 - CONST $28 1 :i32 - ADD $29 $4 $28 :i32 - JMP $0 B3($29,$3,$1,$2) :void -B2() - RETURN $0 :void -B3($4:i32,$3:i32,$1:ptr,$2:ptr) ControlFlowMerge - LT $5 $4 $3 :bool - CMP $6 $5 B1($3,$4,$1,$2) B2() :void diff --git a/nautilus/test/data/after_ssa/andCondition.trace b/nautilus/test/data/after_ssa/andCondition.trace deleted file mode 100644 index 3d1975c6..00000000 --- a/nautilus/test/data/after_ssa/andCondition.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0($1:i32,$2:i32) - CONST $3 1 :i32 - CONST $4 8 :i32 - EQ $5 $1 $4 :bool - CONST $6 1 :i32 - EQ $7 $2 $6 :bool - AND $8 $5 $7 :bool - CMP $9 $8 B1($3) B2($3) :void -B1($3:i32) - CONST $10 14 :i32 - ADD $11 $3 $10 :i32 - JMP $0 B3($11) :void -B2($3:i32) - JMP $0 B3($3) :void -B3($3:i32) - RETURN $3 :i32 diff --git a/nautilus/test/data/after_ssa/andFunction.trace b/nautilus/test/data/after_ssa/andFunction.trace deleted file mode 100644 index 571bc06e..00000000 --- a/nautilus/test/data/after_ssa/andFunction.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 :bool - CONST $4 42 :i64 - CAST $5 $1 :i64 - EQ $6 $5 $4 :bool - AND $7 $2 $6 :bool - CONST $9 42 :i64 - CAST $10 $1 :i64 - EQ $11 $10 $9 :bool - AND $12 $7 $11 :bool - CONST $14 42 :i64 - CAST $15 $1 :i64 - EQ $16 $15 $14 :bool - AND $17 $12 $16 :bool - RETURN $17 :bool diff --git a/nautilus/test/data/after_ssa/castVoidPtr.trace b/nautilus/test/data/after_ssa/castVoidPtr.trace deleted file mode 100644 index c029e35c..00000000 --- a/nautilus/test/data/after_ssa/castVoidPtr.trace +++ /dev/null @@ -1,7 +0,0 @@ -B0($1:ptr) - CONST $2 0 :i32 - CONST $5 4 :i32 - MUL $6 $2 $5 :i32 - ADD $7 $1 $6 :ptr - LOAD $8 $7 :i32 - RETURN $8 :i32 diff --git a/nautilus/test/data/after_ssa/collatz.trace b/nautilus/test/data/after_ssa/collatz.trace deleted file mode 100644 index d5432b3e..00000000 --- a/nautilus/test/data/after_ssa/collatz.trace +++ /dev/null @@ -1,31 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B5($2,$1,$3) :void -B1($2:i32,$1:i32) - CONST $6 2 :i32 - MOD $7 $1 $6 :i32 - CONST $8 0 :i32 - EQ $9 $7 $8 :bool - CMP $10 $9 B3($2,$1) B4($2,$1) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$1:i32) - CONST $11 2 :i32 - DIV $12 $1 $11 :i32 - CONST $13 1 :i32 - JMP $0 B6($12,$2,$13) :void -B4($2:i32,$1:i32) - CONST $18 3 :i32 - MUL $19 $18 $1 :i32 - CONST $20 1 :i32 - ADD $21 $19 $20 :i32 - CONST $22 1 :i32 - JMP $0 B6($21,$2,$22) :void -B5($2:i32,$1:i32,$3:i32) ControlFlowMerge - NEQ $4 $1 $3 :bool - CMP $5 $4 B1($2,$1) B2($2) :void -B6($1:i32,$2:i32,$13:i32) ControlFlowMerge - ADD $14 $2 $13 :i32 - CONST $15 1 :i32 - JMP $0 B5($14,$1,$15) :void diff --git a/nautilus/test/data/after_ssa/complexLogicalExpressions.trace b/nautilus/test/data/after_ssa/complexLogicalExpressions.trace deleted file mode 100644 index 8034751d..00000000 --- a/nautilus/test/data/after_ssa/complexLogicalExpressions.trace +++ /dev/null @@ -1,21 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CONST $5 10 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CONST $8 15 :i32 - GT $9 $1 $8 :bool - CONST $10 20 :i32 - LT $11 $1 $10 :bool - AND $12 $9 $11 :bool - OR $13 $7 $12 :bool - CMP $14 $13 B1() B2($2) :void -B1() - CONST $15 1 :i32 - JMP $0 B3($15) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/compoundStatements.trace b/nautilus/test/data/after_ssa/compoundStatements.trace deleted file mode 100644 index 127ee009..00000000 --- a/nautilus/test/data/after_ssa/compoundStatements.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CMP $5 $4 B1() B2($2) :void -B1() - CONST $6 1 :i32 - CONST $7 2 :i32 - MUL $8 $6 $7 :i32 - JMP $0 B3($8) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/conditionalReturn.trace b/nautilus/test/data/after_ssa/conditionalReturn.trace deleted file mode 100644 index 092f9896..00000000 --- a/nautilus/test/data/after_ssa/conditionalReturn.trace +++ /dev/null @@ -1,12 +0,0 @@ -B0($1:i32) - CONST $2 42 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 1 :i32 - JMP $0 B3($5) :void -B2() - CONST $7 120 :i32 - JMP $0 B3($7) :void -B3($5:i32) - RETURN $5 :i32 diff --git a/nautilus/test/data/after_ssa/countDigits.trace b/nautilus/test/data/after_ssa/countDigits.trace deleted file mode 100644 index de0f3dcb..00000000 --- a/nautilus/test/data/after_ssa/countDigits.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B3($2,$1,$3) :void -B1($2:i32,$1:i32) - CONST $6 10 :i32 - DIV $7 $1 $6 :i32 - CONST $8 1 :i32 - ADD $9 $2 $8 :i32 - CONST $10 0 :i32 - JMP $0 B3($9,$7,$10) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$1:i32,$3:i32) ControlFlowMerge - NEQ $4 $1 $3 :bool - CMP $5 $4 B1($2,$1) B2($2) :void diff --git a/nautilus/test/data/after_ssa/decimalToBinary.trace b/nautilus/test/data/after_ssa/decimalToBinary.trace deleted file mode 100644 index 45253039..00000000 --- a/nautilus/test/data/after_ssa/decimalToBinary.trace +++ /dev/null @@ -1,21 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 1 :i32 - CONST $4 2 :i32 - JMP $0 B3($1,$3,$2,$4) :void -B1($1:i32,$3:i32,$2:i32) - CONST $15 2 :i32 - JMP $0 B3($1,$3,$2,$15) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$3:i32,$2:i32,$4:i32) ControlFlowMerge - MOD $5 $1 $4 :i32 - MUL $6 $5 $3 :i32 - ADD $7 $2 $6 :i32 - CONST $8 10 :i32 - MUL $9 $3 $8 :i32 - CONST $10 2 :i32 - DIV $11 $1 $10 :i32 - CONST $12 0 :i32 - GT $13 $11 $12 :bool - CMP $14 $13 B1($11,$9,$7) B2($7) :void diff --git a/nautilus/test/data/after_ssa/deeplyNestedIfElseCondition.trace b/nautilus/test/data/after_ssa/deeplyNestedIfElseCondition.trace deleted file mode 100644 index 700e2451..00000000 --- a/nautilus/test/data/after_ssa/deeplyNestedIfElseCondition.trace +++ /dev/null @@ -1,47 +0,0 @@ -B0() - CONST $1 5 :i32 - CONST $2 8 :i32 - LT $3 $1 $2 :bool - CMP $4 $3 B1($1) B2($1) :void -B1($1:i32) - CONST $5 6 :i32 - GT $6 $1 $5 :bool - CMP $7 $6 B3($1) B4($1) :void -B2($1:i32) - CONST $13 20 :i32 - ADD $14 $1 $13 :i32 - CONST $15 2 :i32 - JMP $0 B5($14,$15) :void -B3($1:i32) - CONST $8 10 :i32 - ADD $9 $1 $8 :i32 - CONST $10 2 :i32 - JMP $0 B5($9,$10) :void -B4($1:i32) - CONST $16 6 :i32 - LT $17 $1 $16 :bool - CMP $18 $17 B6($1) B7($1) :void -B5($1:i32,$10:i32) ControlFlowMerge - JMP $0 B10($1,$10) :void -B6($1:i32) - CONST $19 5 :i32 - EQ $20 $1 $19 :bool - CMP $21 $20 B8($1) B9($1) :void -B7($1:i32) - CONST $25 2 :i32 - JMP $0 B11($1,$25) :void -B8($1:i32) - CONST $22 5 :i32 - ADD $23 $1 $22 :i32 - CONST $24 2 :i32 - JMP $0 B10($23,$24) :void -B9($1:i32) - CONST $26 2 :i32 - JMP $0 B12($1,$26) :void -B10($1:i32,$10:i32) ControlFlowMerge - JMP $0 B11($1,$10) :void -B11($1:i32,$10:i32) ControlFlowMerge - JMP $0 B12($1,$10) :void -B12($1:i32,$10:i32) ControlFlowMerge - ADD $11 $1 $10 :i32 - RETURN $11 :i32 diff --git a/nautilus/test/data/after_ssa/deeplyNestedIfElseIfCondition.trace b/nautilus/test/data/after_ssa/deeplyNestedIfElseIfCondition.trace deleted file mode 100644 index b36b2d7e..00000000 --- a/nautilus/test/data/after_ssa/deeplyNestedIfElseIfCondition.trace +++ /dev/null @@ -1,38 +0,0 @@ -B0() - CONST $1 5 :i32 - CONST $2 8 :i32 - LT $3 $1 $2 :bool - CMP $4 $3 B1($1) B2($1) :void -B1($1:i32) - CONST $5 10 :i32 - ADD $6 $1 $5 :i32 - CONST $7 2 :i32 - JMP $0 B5($6,$7) :void -B2($1:i32) - CONST $10 5 :i32 - EQ $11 $1 $10 :bool - CMP $12 $11 B3($1) B4($1) :void -B3($1:i32) - CONST $13 5 :i32 - ADD $14 $1 $13 :i32 - CONST $15 2 :i32 - JMP $0 B5($14,$15) :void -B4($1:i32) - CONST $16 4 :i32 - EQ $17 $1 $16 :bool - CMP $18 $17 B6($1) B7($1) :void -B5($1:i32,$7:i32) ControlFlowMerge - JMP $0 B8($1,$7) :void -B6($1:i32) - CONST $19 4 :i32 - ADD $20 $1 $19 :i32 - CONST $21 2 :i32 - JMP $0 B8($20,$21) :void -B7($1:i32) - CONST $22 2 :i32 - JMP $0 B9($1,$22) :void -B8($1:i32,$7:i32) ControlFlowMerge - JMP $0 B9($1,$7) :void -B9($1:i32,$7:i32) ControlFlowMerge - ADD $8 $1 $7 :i32 - RETURN $8 :i32 diff --git a/nautilus/test/data/after_ssa/digitSum.trace b/nautilus/test/data/after_ssa/digitSum.trace deleted file mode 100644 index 106c06de..00000000 --- a/nautilus/test/data/after_ssa/digitSum.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B3($1,$2,$3) :void -B1($1:i32,$2:i32) - CONST $11 10 :i32 - JMP $0 B3($1,$2,$11) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$2:i32,$3:i32) ControlFlowMerge - MOD $4 $1 $3 :i32 - ADD $5 $2 $4 :i32 - CONST $6 10 :i32 - DIV $7 $1 $6 :i32 - CONST $8 0 :i32 - GT $9 $7 $8 :bool - CMP $10 $9 B1($7,$5) B2($5) :void diff --git a/nautilus/test/data/after_ssa/doubleIfCondition.trace b/nautilus/test/data/after_ssa/doubleIfCondition.trace deleted file mode 100644 index 68e524de..00000000 --- a/nautilus/test/data/after_ssa/doubleIfCondition.trace +++ /dev/null @@ -1,25 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 8 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1($1) B2($1) :void -B1($1:i32) - CONST $5 1 :i32 - JMP $0 B5($1,$5) :void -B2($1:i32) - CONST $13 1 :i32 - JMP $0 B5($1,$13) :void -B3($1:i32) - CONST $8 20 :i32 - ADD $9 $1 $8 :i32 - CONST $10 2 :i32 - JMP $0 B6($9,$10) :void -B4($1:i32) - CONST $14 2 :i32 - JMP $0 B6($1,$14) :void -B5($1:i32,$5:i32) ControlFlowMerge - EQ $6 $1 $5 :bool - CMP $7 $6 B3($1) B4($1) :void -B6($1:i32,$10:i32) ControlFlowMerge - ADD $11 $1 $10 :i32 - RETURN $11 :i32 diff --git a/nautilus/test/data/after_ssa/elseOnlySumLoop.trace b/nautilus/test/data/after_ssa/elseOnlySumLoop.trace deleted file mode 100644 index 4cc127c3..00000000 --- a/nautilus/test/data/after_ssa/elseOnlySumLoop.trace +++ /dev/null @@ -1,26 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5($1,$2,$3) :void -B1($1:i32,$2:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($1,$2) B4($2,$1) :void -B2($1:i32) - RETURN $1 :i32 -B3($1:i32,$2:i32) - CONST $9 1 :i32 - JMP $0 B6($1,$2,$9) :void -B4($2:i32,$1:i32) - CONST $12 1 :i32 - ADD $13 $1 $12 :i32 - CONST $14 1 :i32 - JMP $0 B6($13,$2,$14) :void -B5($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($1,$2) B2($1) :void -B6($1:i32,$2:i32,$9:i32) ControlFlowMerge - ADD $10 $2 $9 :i32 - CONST $11 10 :i32 - JMP $0 B5($1,$10,$11) :void diff --git a/nautilus/test/data/after_ssa/factorial.trace b/nautilus/test/data/after_ssa/factorial.trace deleted file mode 100644 index fe6a1dce..00000000 --- a/nautilus/test/data/after_ssa/factorial.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 1 :i32 - JMP $0 B3($2,$1,$3) :void -B1($1:i32,$2:i32) - MUL $7 $2 $1 :i32 - CONST $8 1 :i32 - SUB $9 $1 $8 :i32 - CONST $10 1 :i32 - JMP $0 B3($7,$9,$10) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$1:i32,$3:i32) ControlFlowMerge - GT $4 $1 $3 :bool - CMP $5 $4 B1($1,$2) B2($2) :void diff --git a/nautilus/test/data/after_ssa/fibonacci.trace b/nautilus/test/data/after_ssa/fibonacci.trace deleted file mode 100644 index 894aa0e1..00000000 --- a/nautilus/test/data/after_ssa/fibonacci.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 1 :i32 - CONST $4 0 :i32 - CONST $5 2 :i32 - JMP $0 B3($3,$5,$1,$2) :void -B1($1:i32,$5:i32,$3:i32,$2:i32) - ADD $8 $2 $3 :i32 - CONST $9 1 :i32 - ADD $10 $5 $9 :i32 - JMP $0 B3($8,$10,$1,$3) :void -B2($3:i32) - RETURN $3 :i32 -B3($3:i32,$5:i32,$1:i32,$2:i32) ControlFlowMerge - LTE $6 $5 $1 :bool - CMP $7 $6 B1($1,$5,$3,$2) B2($3) :void diff --git a/nautilus/test/data/after_ssa/gcd.trace b/nautilus/test/data/after_ssa/gcd.trace deleted file mode 100644 index e6557802..00000000 --- a/nautilus/test/data/after_ssa/gcd.trace +++ /dev/null @@ -1,12 +0,0 @@ -B0($1:i32,$2:i32) - CONST $3 0 :i32 - JMP $0 B3($1,$2,$3) :void -B1($1:i32,$2:i32) - MOD $7 $1 $2 :i32 - CONST $8 0 :i32 - JMP $0 B3($2,$7,$8) :void -B2($1:i32) - RETURN $1 :i32 -B3($1:i32,$2:i32,$3:i32) ControlFlowMerge - NEQ $4 $2 $3 :bool - CMP $5 $4 B1($1,$2) B2($1) :void diff --git a/nautilus/test/data/after_ssa/ifElseIfCondition.trace b/nautilus/test/data/after_ssa/ifElseIfCondition.trace deleted file mode 100644 index 8cf864a3..00000000 --- a/nautilus/test/data/after_ssa/ifElseIfCondition.trace +++ /dev/null @@ -1,27 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 8 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1($1) B2($1) :void -B1($1:i32) - CONST $5 14 :i32 - ADD $6 $1 $5 :i32 - CONST $7 2 :i32 - JMP $0 B5($6,$7) :void -B2($1:i32) - CONST $10 1 :i32 - EQ $11 $1 $10 :bool - CMP $12 $11 B3($1) B4($1) :void -B3($1:i32) - CONST $13 20 :i32 - ADD $14 $1 $13 :i32 - CONST $15 2 :i32 - JMP $0 B5($14,$15) :void -B4($1:i32) - CONST $16 2 :i32 - JMP $0 B6($1,$16) :void -B5($1:i32,$7:i32) ControlFlowMerge - JMP $0 B6($1,$7) :void -B6($1:i32,$7:i32) ControlFlowMerge - ADD $8 $1 $7 :i32 - RETURN $8 :i32 diff --git a/nautilus/test/data/after_ssa/ifElseIfElse.trace b/nautilus/test/data/after_ssa/ifElseIfElse.trace deleted file mode 100644 index 77caeb2b..00000000 --- a/nautilus/test/data/after_ssa/ifElseIfElse.trace +++ /dev/null @@ -1,20 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2($1) :void -B1() - CONST $6 10 :i32 - JMP $0 B5($6) :void -B2($1:i32) - CONST $8 1 :i32 - EQ $9 $1 $8 :bool - CMP $10 $9 B3() B4() :void -B3() - CONST $11 20 :i32 - JMP $0 B5($11) :void -B4() - CONST $13 30 :i32 - JMP $0 B5($13) :void -B5($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/ifElseSumLoop.trace b/nautilus/test/data/after_ssa/ifElseSumLoop.trace deleted file mode 100644 index 0436820f..00000000 --- a/nautilus/test/data/after_ssa/ifElseSumLoop.trace +++ /dev/null @@ -1,28 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5($1,$2,$3) :void -B1($2:i32,$1:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($2,$1) B4($2,$1) :void -B2($1:i32) - RETURN $1 :i32 -B3($2:i32,$1:i32) - CONST $9 10 :i32 - ADD $10 $1 $9 :i32 - CONST $11 1 :i32 - JMP $0 B6($10,$2,$11) :void -B4($2:i32,$1:i32) - CONST $14 1 :i32 - ADD $15 $1 $14 :i32 - CONST $16 1 :i32 - JMP $0 B6($15,$2,$16) :void -B5($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($2,$1) B2($1) :void -B6($1:i32,$2:i32,$11:i32) ControlFlowMerge - ADD $12 $2 $11 :i32 - CONST $13 10 :i32 - JMP $0 B5($1,$12,$13) :void diff --git a/nautilus/test/data/after_ssa/ifInsideLoop.trace b/nautilus/test/data/after_ssa/ifInsideLoop.trace deleted file mode 100644 index 212022db..00000000 --- a/nautilus/test/data/after_ssa/ifInsideLoop.trace +++ /dev/null @@ -1,26 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B5($2,$3,$1) :void -B1($1:i32,$3:i32,$2:i32) - CONST $6 2 :i32 - MOD $7 $3 $6 :i32 - CONST $8 0 :i32 - EQ $9 $7 $8 :bool - CMP $10 $9 B3($1,$3,$2) B4($2,$1,$3) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$3:i32,$2:i32) - CONST $11 1 :i32 - ADD $12 $2 $11 :i32 - CONST $13 1 :i32 - JMP $0 B6($12,$1,$3,$13) :void -B4($2:i32,$1:i32,$3:i32) - CONST $17 1 :i32 - JMP $0 B6($2,$1,$3,$17) :void -B5($2:i32,$3:i32,$1:i32) ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1($1,$3,$2) B2($2) :void -B6($2:i32,$1:i32,$3:i32,$13:i32) ControlFlowMerge - ADD $14 $3 $13 :i32 - JMP $0 B5($2,$14,$1) :void diff --git a/nautilus/test/data/after_ssa/ifNotEqual.trace b/nautilus/test/data/after_ssa/ifNotEqual.trace deleted file mode 100644 index 09b8f404..00000000 --- a/nautilus/test/data/after_ssa/ifNotEqual.trace +++ /dev/null @@ -1,12 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 5 :i32 - NEQ $4 $1 $3 :bool - CMP $5 $4 B1() B2($2) :void -B1() - CONST $6 2 :i32 - JMP $0 B3($6) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/ifSumLoop.trace b/nautilus/test/data/after_ssa/ifSumLoop.trace deleted file mode 100644 index 534cdcfc..00000000 --- a/nautilus/test/data/after_ssa/ifSumLoop.trace +++ /dev/null @@ -1,26 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5($1,$2,$3) :void -B1($2:i32,$1:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($2,$1) B4($1,$2) :void -B2($1:i32) - RETURN $1 :i32 -B3($2:i32,$1:i32) - CONST $9 10 :i32 - ADD $10 $1 $9 :i32 - CONST $11 1 :i32 - JMP $0 B6($10,$2,$11) :void -B4($1:i32,$2:i32) - CONST $14 1 :i32 - JMP $0 B6($1,$2,$14) :void -B5($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($2,$1) B2($1) :void -B6($1:i32,$2:i32,$11:i32) ControlFlowMerge - ADD $12 $2 $11 :i32 - CONST $13 10 :i32 - JMP $0 B5($1,$12,$13) :void diff --git a/nautilus/test/data/after_ssa/ifThenCondition.trace b/nautilus/test/data/after_ssa/ifThenCondition.trace deleted file mode 100644 index db7eafd5..00000000 --- a/nautilus/test/data/after_ssa/ifThenCondition.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1($2) B2($2) :void -B1($2:i32) - CONST $6 1 :i32 - ADD $7 $2 $6 :i32 - CONST $8 42 :i32 - JMP $0 B3($7,$8) :void -B2($2:i32) - CONST $11 42 :i32 - JMP $0 B3($2,$11) :void -B3($2:i32,$8:i32) ControlFlowMerge - ADD $9 $2 $8 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/after_ssa/ifThenElseCondition.trace b/nautilus/test/data/after_ssa/ifThenElseCondition.trace deleted file mode 100644 index db6d95c9..00000000 --- a/nautilus/test/data/after_ssa/ifThenElseCondition.trace +++ /dev/null @@ -1,18 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1($2) B2($2) :void -B1($2:i32) - CONST $6 1 :i32 - ADD $7 $2 $6 :i32 - CONST $8 42 :i32 - JMP $0 B3($7,$8) :void -B2($2:i32) - CONST $11 42 :i32 - ADD $12 $2 $11 :i32 - CONST $13 42 :i32 - JMP $0 B3($12,$13) :void -B3($2:i32,$8:i32) ControlFlowMerge - ADD $9 $2 $8 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/after_ssa/ifWithFunctionCall.trace b/nautilus/test/data/after_ssa/ifWithFunctionCall.trace deleted file mode 100644 index ebff2bfe..00000000 --- a/nautilus/test/data/after_ssa/ifWithFunctionCall.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $4 2 :i32 - MUL $5 $1 $4 :i32 - CONST $6 10 :i32 - GT $7 $5 $6 :bool - CMP $8 $7 B1() B2($2) :void -B1() - CONST $9 1 :i32 - JMP $0 B3($9) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/ifWithTernary.trace b/nautilus/test/data/after_ssa/ifWithTernary.trace deleted file mode 100644 index 7d2f3be0..00000000 --- a/nautilus/test/data/after_ssa/ifWithTernary.trace +++ /dev/null @@ -1,22 +0,0 @@ -B0($1:i32) - CONST $2 5 :i32 - GT $3 $1 $2 :bool - CMP $4 $3 B1($1) B2($1) :void -B1($1:i32) - CONST $5 10 :i32 - CONST $6 0 :i32 - JMP $0 B5($1,$6,$5) :void -B2($1:i32) - CONST $11 5 :i32 - CONST $12 0 :i32 - JMP $0 B5($1,$12,$11) :void -B3() - CONST $9 -1 :i32 - JMP $0 B6($9) :void -B4($5:i32) - JMP $0 B6($5) :void -B5($1:i32,$6:i32,$5:i32) ControlFlowMerge - EQ $7 $1 $6 :bool - CMP $8 $7 B3() B4($5) :void -B6($5:i32) - RETURN $5 :i32 diff --git a/nautilus/test/data/after_ssa/isPrime.trace b/nautilus/test/data/after_ssa/isPrime.trace deleted file mode 100644 index 90dd4279..00000000 --- a/nautilus/test/data/after_ssa/isPrime.trace +++ /dev/null @@ -1,30 +0,0 @@ -B0($1:i32) - CONST $2 :bool - CONST $3 :bool - CONST $4 1 :i32 - LTE $5 $1 $4 :bool - CMP $6 $5 B1($2) B2($2,$1,$3) :void -B1($2:bool) - JMP $0 B8($2) :void -B2($2:bool,$1:i32,$3:bool) - CONST $8 2 :i32 - JMP $0 B7($2,$1,$8,$3) :void -B3($2:bool,$1:i32,$8:i32,$3:bool) - MOD $12 $1 $8 :i32 - CONST $13 0 :i32 - EQ $14 $12 $13 :bool - CMP $15 $14 B5($2) B6($2,$1,$8,$3) :void -B4($3:bool) - JMP $0 B8($3) :void -B5($2:bool) - JMP $0 B8($2) :void -B6($2:bool,$1:i32,$8:i32,$3:bool) - CONST $18 1 :i32 - ADD $19 $8 $18 :i32 - JMP $0 B7($2,$1,$19,$3) :void -B7($2:bool,$1:i32,$8:i32,$3:bool) ControlFlowMerge - MUL $9 $8 $8 :i32 - LTE $10 $9 $1 :bool - CMP $11 $10 B3($2,$1,$8,$3) B4($3) :void -B8($2:bool) - RETURN $2 :bool diff --git a/nautilus/test/data/after_ssa/logicalAnd.trace b/nautilus/test/data/after_ssa/logicalAnd.trace deleted file mode 100644 index d8bd92c8..00000000 --- a/nautilus/test/data/after_ssa/logicalAnd.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CONST $5 15 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CMP $8 $7 B1() B2($2) :void -B1() - CONST $9 1 :i32 - JMP $0 B3($9) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/logicalOr.trace b/nautilus/test/data/after_ssa/logicalOr.trace deleted file mode 100644 index 7038ce8b..00000000 --- a/nautilus/test/data/after_ssa/logicalOr.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 10 :i32 - EQ $4 $1 $3 :bool - CONST $5 20 :i32 - EQ $6 $1 $5 :bool - OR $7 $4 $6 :bool - CMP $8 $7 B1() B2($2) :void -B1() - CONST $9 1 :i32 - JMP $0 B3($9) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/logicalXOR.trace b/nautilus/test/data/after_ssa/logicalXOR.trace deleted file mode 100644 index 4597d543..00000000 --- a/nautilus/test/data/after_ssa/logicalXOR.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 10 :i32 - LT $4 $1 $3 :bool - CONST $5 5 :i32 - GT $6 $1 $5 :bool - NEQ $7 $4 $6 :bool - CMP $8 $7 B1() B2($2) :void -B1() - CONST $9 1 :i32 - JMP $0 B3($9) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/loopDirectCall.trace b/nautilus/test/data/after_ssa/loopDirectCall.trace deleted file mode 100644 index be24c63c..00000000 --- a/nautilus/test/data/after_ssa/loopDirectCall.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0($1:i32,$2:i32) - CONST $3 0 :i32 - CONST $4 0 :i32 - JMP $0 B3($3,$4,$1,$2) :void -B1($1:i32,$4:i32,$2:i32,$3:i32) - CALL $11 ($3,$2) :i32 - CONST $12 1 :i32 - ADD $13 $4 $12 :i32 - JMP $0 B3($11,$13,$1,$2) :void -B2($3:i32) - RETURN $3 :i32 -B3($3:i32,$4:i32,$1:i32,$2:i32) ControlFlowMerge - LT $5 $4 $1 :bool - CMP $6 $5 B1($1,$4,$2,$3) B2($3) :void diff --git a/nautilus/test/data/after_ssa/multipleConditions.trace b/nautilus/test/data/after_ssa/multipleConditions.trace deleted file mode 100644 index 531e2d65..00000000 --- a/nautilus/test/data/after_ssa/multipleConditions.trace +++ /dev/null @@ -1,18 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - GT $4 $1 $3 :bool - CONST $5 10 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CONST $8 20 :i32 - EQ $9 $1 $8 :bool - OR $10 $7 $9 :bool - CMP $11 $10 B1() B2($2) :void -B1() - CONST $12 1 :i32 - JMP $0 B3($12) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/nestedElseOnlySumLoop.trace b/nautilus/test/data/after_ssa/nestedElseOnlySumLoop.trace deleted file mode 100644 index 93625c1b..00000000 --- a/nautilus/test/data/after_ssa/nestedElseOnlySumLoop.trace +++ /dev/null @@ -1,37 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7($1,$2,$3) :void -B1($1:i32,$2:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($1,$2) B4($2,$1) :void -B2($1:i32) - RETURN $1 :i32 -B3($1:i32,$2:i32) - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5($1,$2) B6($2,$1) :void -B4($2:i32,$1:i32) - CONST $15 1 :i32 - ADD $16 $1 $15 :i32 - CONST $17 1 :i32 - JMP $0 B8($16,$2,$17) :void -B5($1:i32,$2:i32) - CONST $12 1 :i32 - JMP $0 B8($1,$2,$12) :void -B6($2:i32,$1:i32) - CONST $18 100 :i32 - ADD $19 $1 $18 :i32 - CONST $20 1 :i32 - JMP $0 B9($19,$2,$20) :void -B7($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($1,$2) B2($1) :void -B8($1:i32,$2:i32,$12:i32) ControlFlowMerge - JMP $0 B9($1,$2,$12) :void -B9($1:i32,$2:i32,$12:i32) ControlFlowMerge - ADD $13 $2 $12 :i32 - CONST $14 10 :i32 - JMP $0 B7($1,$13,$14) :void diff --git a/nautilus/test/data/after_ssa/nestedIf.trace b/nautilus/test/data/after_ssa/nestedIf.trace deleted file mode 100644 index 7b87c8d1..00000000 --- a/nautilus/test/data/after_ssa/nestedIf.trace +++ /dev/null @@ -1,19 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 20 :i32 - LT $4 $1 $3 :bool - CMP $5 $4 B1($1) B2($2) :void -B1($1:i32) - CONST $6 10 :i32 - GT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2($2:i32) - JMP $0 B5($2) :void -B3() - CONST $9 2 :i32 - JMP $0 B5($9) :void -B4() - CONST $12 3 :i32 - JMP $0 B5($12) :void -B5($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/nestedIfElseDifferentLevels.trace b/nautilus/test/data/after_ssa/nestedIfElseDifferentLevels.trace deleted file mode 100644 index 2bcf08da..00000000 --- a/nautilus/test/data/after_ssa/nestedIfElseDifferentLevels.trace +++ /dev/null @@ -1,27 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - GT $4 $1 $3 :bool - CMP $5 $4 B1($1) B2() :void -B1($1:i32) - CONST $6 5 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4($1) :void -B2() - CONST $11 -1 :i32 - JMP $0 B7($11) :void -B3() - CONST $9 1 :i32 - JMP $0 B7($9) :void -B4($1:i32) - CONST $13 2 :i32 - CONST $14 6 :i32 - EQ $15 $1 $14 :bool - CMP $16 $15 B5() B6($13) :void -B5() - CONST $17 3 :i32 - JMP $0 B7($17) :void -B6($2:i32) - JMP $0 B7($2) :void -B7($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/nestedIfElseSumLoop.trace b/nautilus/test/data/after_ssa/nestedIfElseSumLoop.trace deleted file mode 100644 index 380fcacd..00000000 --- a/nautilus/test/data/after_ssa/nestedIfElseSumLoop.trace +++ /dev/null @@ -1,39 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7($1,$2,$3) :void -B1($2:i32,$1:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($2,$1) B4($2,$1) :void -B2($1:i32) - RETURN $1 :i32 -B3($2:i32,$1:i32) - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5($2,$1) B6($2,$1) :void -B4($2:i32,$1:i32) - CONST $17 1 :i32 - ADD $18 $1 $17 :i32 - CONST $19 1 :i32 - JMP $0 B8($18,$2,$19) :void -B5($2:i32,$1:i32) - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - CONST $14 1 :i32 - JMP $0 B8($13,$2,$14) :void -B6($2:i32,$1:i32) - CONST $20 100 :i32 - ADD $21 $1 $20 :i32 - CONST $22 1 :i32 - JMP $0 B9($21,$2,$22) :void -B7($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($2,$1) B2($1) :void -B8($1:i32,$2:i32,$14:i32) ControlFlowMerge - JMP $0 B9($1,$2,$14) :void -B9($1:i32,$2:i32,$14:i32) ControlFlowMerge - ADD $15 $2 $14 :i32 - CONST $16 10 :i32 - JMP $0 B7($1,$15,$16) :void diff --git a/nautilus/test/data/after_ssa/nestedIfNoElseCondition.trace b/nautilus/test/data/after_ssa/nestedIfNoElseCondition.trace deleted file mode 100644 index 4f734186..00000000 --- a/nautilus/test/data/after_ssa/nestedIfNoElseCondition.trace +++ /dev/null @@ -1,28 +0,0 @@ -B0($1:i32,$2:i32) - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1($2) B2($2) :void -B1($2:i32) - CONST $6 4 :i32 - ADD $7 $2 $6 :i32 - CONST $8 2 :i32 - JMP $0 B5($7,$8) :void -B2($2:i32) - CONST $13 9 :i32 - ADD $14 $2 $13 :i32 - CONST $15 8 :i32 - EQ $16 $14 $15 :bool - CMP $17 $16 B3($14) B4($14) :void -B3($2:i32) - CONST $18 14 :i32 - ADD $19 $2 $18 :i32 - CONST $20 2 :i32 - JMP $0 B5($2,$20) :void -B4($2:i32) - CONST $23 2 :i32 - JMP $0 B6($2,$23) :void -B5($2:i32,$8:i32) ControlFlowMerge - JMP $0 B6($2,$8) :void -B6($2:i32,$8:i32) ControlFlowMerge - ADD $9 $2 $8 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/after_ssa/nestedIfSumLoop.trace b/nautilus/test/data/after_ssa/nestedIfSumLoop.trace deleted file mode 100644 index 8d97cb4f..00000000 --- a/nautilus/test/data/after_ssa/nestedIfSumLoop.trace +++ /dev/null @@ -1,37 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7($1,$2,$3) :void -B1($2:i32,$1:i32) - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3($2,$1) B4($2,$1) :void -B2($1:i32) - RETURN $1 :i32 -B3($2:i32,$1:i32) - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5($2,$1) B6($1,$2) :void -B4($2:i32,$1:i32) - CONST $17 1 :i32 - ADD $18 $1 $17 :i32 - CONST $19 1 :i32 - JMP $0 B8($18,$2,$19) :void -B5($2:i32,$1:i32) - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - CONST $14 1 :i32 - JMP $0 B8($13,$2,$14) :void -B6($1:i32,$2:i32) - CONST $20 1 :i32 - JMP $0 B9($1,$2,$20) :void -B7($1:i32,$2:i32,$3:i32) ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1($2,$1) B2($1) :void -B8($1:i32,$2:i32,$14:i32) ControlFlowMerge - JMP $0 B9($1,$2,$14) :void -B9($1:i32,$2:i32,$14:i32) ControlFlowMerge - ADD $15 $2 $14 :i32 - CONST $16 10 :i32 - JMP $0 B7($1,$15,$16) :void diff --git a/nautilus/test/data/after_ssa/nestedIfThenElseCondition.trace b/nautilus/test/data/after_ssa/nestedIfThenElseCondition.trace deleted file mode 100644 index 51dfe96f..00000000 --- a/nautilus/test/data/after_ssa/nestedIfThenElseCondition.trace +++ /dev/null @@ -1,24 +0,0 @@ -B0($1:i32,$2:i32) - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1($2) B2($2) :void -B1($2:i32) - CONST $6 2 :i32 - JMP $0 B5($2,$6) :void -B2($2:i32) - CONST $11 8 :i32 - EQ $12 $2 $11 :bool - CMP $13 $12 B3($2) B4($2) :void -B3($2:i32) - CONST $14 2 :i32 - JMP $0 B5($2,$14) :void -B4($2:i32) - CONST $17 2 :i32 - ADD $18 $2 $17 :i32 - CONST $19 2 :i32 - JMP $0 B6($18,$19) :void -B5($2:i32,$6:i32) ControlFlowMerge - JMP $0 B6($2,$6) :void -B6($2:i32,$6:i32) ControlFlowMerge - ADD $7 $2 $6 :i32 - RETURN $7 :i32 diff --git a/nautilus/test/data/after_ssa/nestedSumLoop.trace b/nautilus/test/data/after_ssa/nestedSumLoop.trace deleted file mode 100644 index d70f65da..00000000 --- a/nautilus/test/data/after_ssa/nestedSumLoop.trace +++ /dev/null @@ -1,25 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 0 :i32 - JMP $0 B6($2,$3,$1) :void -B1($2:i32,$1:i32,$3:i32) - CONST $6 0 :i32 - JMP $0 B5($2,$1,$3,$6) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$3:i32,$6:i32,$2:i32) - CONST $9 10 :i32 - ADD $10 $2 $9 :i32 - CONST $11 1 :i32 - ADD $12 $6 $11 :i32 - JMP $0 B5($10,$1,$3,$12) :void -B4($2:i32,$1:i32,$3:i32) - CONST $15 1 :i32 - ADD $16 $3 $15 :i32 - JMP $0 B6($2,$16,$1) :void -B5($2:i32,$1:i32,$3:i32,$6:i32) ControlFlowMerge - LT $7 $6 $1 :bool - CMP $8 $7 B3($1,$3,$6,$2) B4($2,$1,$3) :void -B6($2:i32,$3:i32,$1:i32) ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1($2,$1,$3) B2($2) :void diff --git a/nautilus/test/data/after_ssa/orCondition.trace b/nautilus/test/data/after_ssa/orCondition.trace deleted file mode 100644 index 20277c27..00000000 --- a/nautilus/test/data/after_ssa/orCondition.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 8 :i32 - EQ $4 $1 $3 :bool - CONST $5 1 :i32 - EQ $6 $1 $5 :bool - OR $7 $4 $6 :bool - CMP $8 $7 B1($2) B2($2) :void -B1($2:i32) - CONST $9 14 :i32 - ADD $10 $2 $9 :i32 - JMP $0 B3($10) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/passCustomStruct.trace b/nautilus/test/data/after_ssa/passCustomStruct.trace deleted file mode 100644 index 0976f26e..00000000 --- a/nautilus/test/data/after_ssa/passCustomStruct.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0($1:ptr) - CALL $2 ($1) :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/reverseNumber.trace b/nautilus/test/data/after_ssa/reverseNumber.trace deleted file mode 100644 index 79de79f3..00000000 --- a/nautilus/test/data/after_ssa/reverseNumber.trace +++ /dev/null @@ -1,19 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B3($1,$2,$3) :void -B1($1:i32,$2:i32) - CONST $13 10 :i32 - JMP $0 B3($1,$2,$13) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$2:i32,$3:i32) ControlFlowMerge - MUL $4 $2 $3 :i32 - CONST $5 10 :i32 - MOD $6 $1 $5 :i32 - ADD $7 $4 $6 :i32 - CONST $8 10 :i32 - DIV $9 $1 $8 :i32 - CONST $10 0 :i32 - GT $11 $9 $10 :bool - CMP $12 $11 B1($9,$7) B2($7) :void diff --git a/nautilus/test/data/after_ssa/shortCircuitEvaluation.trace b/nautilus/test/data/after_ssa/shortCircuitEvaluation.trace deleted file mode 100644 index 07dd0a20..00000000 --- a/nautilus/test/data/after_ssa/shortCircuitEvaluation.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - NEQ $4 $1 $3 :bool - CONST $5 10 :i32 - DIV $6 $5 $1 :i32 - CONST $7 1 :i32 - GT $8 $6 $7 :bool - AND $9 $4 $8 :bool - CMP $10 $9 B1() B2($2) :void -B1() - CONST $11 1 :i32 - JMP $0 B3($11) :void -B2($2:i32) - JMP $0 B3($2) :void -B3($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/simpleDirectCall.trace b/nautilus/test/data/after_ssa/simpleDirectCall.trace deleted file mode 100644 index acc31067..00000000 --- a/nautilus/test/data/after_ssa/simpleDirectCall.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0($1:i32,$2:i32) - CALL $7 ($1,$2) :i32 - RETURN $7 :i32 diff --git a/nautilus/test/data/after_ssa/specializeType.trace b/nautilus/test/data/after_ssa/specializeType.trace deleted file mode 100644 index 0976f26e..00000000 --- a/nautilus/test/data/after_ssa/specializeType.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0($1:ptr) - CALL $2 ($1) :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/staticLoop.trace b/nautilus/test/data/after_ssa/staticLoop.trace deleted file mode 100644 index 6022c849..00000000 --- a/nautilus/test/data/after_ssa/staticLoop.trace +++ /dev/null @@ -1,23 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - CONST $4 10 :i32 - ADD $5 $3 $4 :i32 - CONST $6 10 :i32 - ADD $7 $5 $6 :i32 - CONST $8 10 :i32 - ADD $9 $7 $8 :i32 - CONST $10 10 :i32 - ADD $11 $9 $10 :i32 - CONST $12 10 :i32 - ADD $13 $11 $12 :i32 - CONST $14 10 :i32 - ADD $15 $13 $14 :i32 - CONST $16 10 :i32 - ADD $17 $15 $16 :i32 - CONST $18 10 :i32 - ADD $19 $17 $18 :i32 - CONST $20 10 :i32 - ADD $21 $19 $20 :i32 - RETURN $21 :i32 diff --git a/nautilus/test/data/after_ssa/staticLoopIncrement.trace b/nautilus/test/data/after_ssa/staticLoopIncrement.trace deleted file mode 100644 index 6022c849..00000000 --- a/nautilus/test/data/after_ssa/staticLoopIncrement.trace +++ /dev/null @@ -1,23 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - CONST $4 10 :i32 - ADD $5 $3 $4 :i32 - CONST $6 10 :i32 - ADD $7 $5 $6 :i32 - CONST $8 10 :i32 - ADD $9 $7 $8 :i32 - CONST $10 10 :i32 - ADD $11 $9 $10 :i32 - CONST $12 10 :i32 - ADD $13 $11 $12 :i32 - CONST $14 10 :i32 - ADD $15 $13 $14 :i32 - CONST $16 10 :i32 - ADD $17 $15 $16 :i32 - CONST $18 10 :i32 - ADD $19 $17 $18 :i32 - CONST $20 10 :i32 - ADD $21 $19 $20 :i32 - RETURN $21 :i32 diff --git a/nautilus/test/data/after_ssa/staticLoopWithDynamicLoop.trace b/nautilus/test/data/after_ssa/staticLoopWithDynamicLoop.trace deleted file mode 100644 index 044bf5c6..00000000 --- a/nautilus/test/data/after_ssa/staticLoopWithDynamicLoop.trace +++ /dev/null @@ -1,52 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B9($2,$3,$1) :void -B1($1:i32,$3:i32,$2:i32) - CONST $6 5 :i32 - GT $7 $3 $6 :bool - CMP $8 $7 B3($1,$3,$2) B4($1,$3,$2) :void -B2($2:i32) - RETURN $2 :i32 -B3($1:i32,$3:i32,$2:i32) - CONST $9 1 :i32 - ADD $10 $2 $9 :i32 - CONST $11 10 :i32 - JMP $0 B10($1,$3,$10,$11) :void -B4($1:i32,$3:i32,$2:i32) - CONST $31 10 :i32 - JMP $0 B10($1,$3,$2,$31) :void -B5($1:i32,$3:i32,$2:i32) - CONST $16 1 :i32 - ADD $17 $2 $16 :i32 - CONST $18 10 :i32 - JMP $0 B11($1,$3,$17,$18) :void -B6($1:i32,$3:i32,$2:i32) - CONST $33 10 :i32 - JMP $0 B11($1,$3,$2,$33) :void -B7($1:i32,$3:i32,$2:i32) - CONST $23 1 :i32 - ADD $24 $2 $23 :i32 - CONST $25 10 :i32 - JMP $0 B12($1,$3,$24,$25) :void -B8($1:i32,$3:i32,$2:i32) - CONST $35 10 :i32 - JMP $0 B12($1,$3,$2,$35) :void -B9($2:i32,$3:i32,$1:i32) ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1($1,$3,$2) B2($2) :void -B10($1:i32,$3:i32,$2:i32,$11:i32) ControlFlowMerge - ADD $12 $2 $11 :i32 - CONST $13 5 :i32 - GT $14 $3 $13 :bool - CMP $15 $14 B5($1,$3,$12) B6($1,$3,$12) :void -B11($1:i32,$3:i32,$2:i32,$18:i32) ControlFlowMerge - ADD $19 $2 $18 :i32 - CONST $20 5 :i32 - GT $21 $3 $20 :bool - CMP $22 $21 B7($1,$3,$19) B8($1,$3,$19) :void -B12($1:i32,$3:i32,$2:i32,$25:i32) ControlFlowMerge - ADD $26 $2 $25 :i32 - CONST $27 1 :i32 - ADD $28 $3 $27 :i32 - JMP $0 B9($26,$28,$1) :void diff --git a/nautilus/test/data/after_ssa/staticWhileLoopDecrement.trace b/nautilus/test/data/after_ssa/staticWhileLoopDecrement.trace deleted file mode 100644 index 065c1267..00000000 --- a/nautilus/test/data/after_ssa/staticWhileLoopDecrement.trace +++ /dev/null @@ -1,25 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - CONST $4 9 :i32 - ADD $5 $3 $4 :i32 - CONST $6 8 :i32 - ADD $7 $5 $6 :i32 - CONST $8 7 :i32 - ADD $9 $7 $8 :i32 - CONST $10 6 :i32 - ADD $11 $9 $10 :i32 - CONST $12 5 :i32 - ADD $13 $11 $12 :i32 - CONST $14 4 :i32 - ADD $15 $13 $14 :i32 - CONST $16 3 :i32 - ADD $17 $15 $16 :i32 - CONST $18 2 :i32 - ADD $19 $17 $18 :i32 - CONST $20 1 :i32 - ADD $21 $19 $20 :i32 - CONST $22 0 :i32 - ADD $23 $21 $22 :i32 - RETURN $23 :i32 diff --git a/nautilus/test/data/after_ssa/sumArray.trace b/nautilus/test/data/after_ssa/sumArray.trace deleted file mode 100644 index cbd614c4..00000000 --- a/nautilus/test/data/after_ssa/sumArray.trace +++ /dev/null @@ -1,18 +0,0 @@ -B0($1:ptr,$2:i32) - CONST $3 0 :i32 - CONST $4 0 :i32 - JMP $0 B3($3,$4,$2,$1) :void -B1($2:i32,$4:i32,$3:i32,$1:ptr) - CONST $10 4 :i32 - MUL $11 $4 $10 :i32 - ADD $12 $1 $11 :ptr - LOAD $13 $12 :i32 - ADD $14 $3 $13 :i32 - CONST $15 1 :i32 - ADD $16 $4 $15 :i32 - JMP $0 B3($14,$16,$2,$1) :void -B2($3:i32) - RETURN $3 :i32 -B3($3:i32,$4:i32,$2:i32,$1:ptr) ControlFlowMerge - LT $5 $4 $2 :bool - CMP $6 $5 B1($2,$4,$3,$1) B2($3) :void diff --git a/nautilus/test/data/after_ssa/sumLoop.trace b/nautilus/test/data/after_ssa/sumLoop.trace deleted file mode 100644 index 17d9e974..00000000 --- a/nautilus/test/data/after_ssa/sumLoop.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 1 :i32 - CONST $3 0 :i32 - JMP $0 B3($2,$3,$1) :void -B1($1:i32,$3:i32,$2:i32) - CONST $6 10 :i32 - ADD $7 $2 $6 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - JMP $0 B3($7,$9,$1) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$3:i32,$1:i32) ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1($1,$3,$2) B2($2) :void diff --git a/nautilus/test/data/after_ssa/sumOfNumbers.trace b/nautilus/test/data/after_ssa/sumOfNumbers.trace deleted file mode 100644 index 9c85275c..00000000 --- a/nautilus/test/data/after_ssa/sumOfNumbers.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B3($2,$3,$1) :void -B1($1:i32,$3:i32,$2:i32) - ADD $7 $2 $3 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - JMP $0 B3($7,$9,$1) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$3:i32,$1:i32) ControlFlowMerge - LTE $4 $3 $1 :bool - CMP $5 $4 B1($1,$3,$2) B2($2) :void diff --git a/nautilus/test/data/after_ssa/sumOfSquares.trace b/nautilus/test/data/after_ssa/sumOfSquares.trace deleted file mode 100644 index 20f3e464..00000000 --- a/nautilus/test/data/after_ssa/sumOfSquares.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B3($2,$3,$1) :void -B1($1:i32,$3:i32,$2:i32) - MUL $6 $3 $3 :i32 - ADD $7 $2 $6 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - JMP $0 B3($7,$9,$1) :void -B2($2:i32) - RETURN $2 :i32 -B3($2:i32,$3:i32,$1:i32) ControlFlowMerge - LTE $4 $3 $1 :bool - CMP $5 $4 B1($1,$3,$2) B2($2) :void diff --git a/nautilus/test/data/after_ssa/useWrapper.trace b/nautilus/test/data/after_ssa/useWrapper.trace deleted file mode 100644 index 79d3913a..00000000 --- a/nautilus/test/data/after_ssa/useWrapper.trace +++ /dev/null @@ -1,5 +0,0 @@ -B0($1:ptr,$2:ptr) - CALL $3 ($1) :i32 - CALL $4 ($2) :i32 - ADD $5 $3 $4 :i32 - RETURN $5 :i32 diff --git a/nautilus/test/data/after_ssa/varyingComplexity.trace b/nautilus/test/data/after_ssa/varyingComplexity.trace deleted file mode 100644 index 4431d9c0..00000000 --- a/nautilus/test/data/after_ssa/varyingComplexity.trace +++ /dev/null @@ -1,31 +0,0 @@ -B0($1:i32) - CONST $2 0 :i32 - CONST $3 5 :i32 - LT $4 $1 $3 :bool - CMP $5 $4 B1() B2($1) :void -B1() - CONST $6 1 :i32 - JMP $0 B7($6) :void -B2($1:i32) - CONST $8 5 :i32 - GTE $9 $1 $8 :bool - CONST $10 10 :i32 - LTE $11 $1 $10 :bool - AND $12 $9 $11 :bool - CMP $13 $12 B3($1) B4() :void -B3($1:i32) - CONST $14 2 :i32 - CONST $15 7 :i32 - EQ $16 $1 $15 :bool - CMP $17 $16 B5($14) B6($14) :void -B4() - CONST $21 3 :i32 - JMP $0 B7($21) :void -B5($2:i32) - CONST $18 1 :i32 - ADD $19 $2 $18 :i32 - JMP $0 B7($19) :void -B6($2:i32) - JMP $0 B7($2) :void -B7($2:i32) - RETURN $2 :i32 diff --git a/nautilus/test/data/after_ssa/voidFuncCall.trace b/nautilus/test/data/after_ssa/voidFuncCall.trace deleted file mode 100644 index d1354bb0..00000000 --- a/nautilus/test/data/after_ssa/voidFuncCall.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0($1:i32,$2:i32) - CALL $7 ($1,$2) :void - RETURN $1 :i32 diff --git a/nautilus/test/data/tracing/addArrayInt32.trace b/nautilus/test/data/tracing/addArrayInt32.trace deleted file mode 100644 index 31c9934c..00000000 --- a/nautilus/test/data/tracing/addArrayInt32.trace +++ /dev/null @@ -1,35 +0,0 @@ -B0() - CONST $4 0 :i32 - JMP $0 B3() :void -B1() - ASSIGN $7 $4 :i32 - ASSIGN $8 $7 :i32 - ASSIGN $9 $8 :i32 - CONST $10 4 :i32 - MUL $11 $9 $10 :i32 - ADD $12 $1 $11 :ptr - LOAD $13 $12 :i32 - ASSIGN $14 $4 :i32 - ASSIGN $15 $14 :i32 - ASSIGN $16 $15 :i32 - CONST $17 4 :i32 - MUL $18 $16 $17 :i32 - ADD $19 $2 $18 :ptr - LOAD $20 $19 :i32 - ADD $21 $13 $20 :i32 - ASSIGN $22 $4 :i32 - ASSIGN $23 $22 :i32 - ASSIGN $24 $23 :i32 - CONST $25 4 :i32 - MUL $26 $24 $25 :i32 - ADD $27 $1 $26 :ptr - STORE $27 $21 :i32 - CONST $28 1 :i32 - ADD $29 $4 $28 :i32 - ASSIGN $4 $29 :i32 - JMP $0 B3() :void -B2() - RETURN $0 :void -B3() ControlFlowMerge - LT $5 $4 $3 :bool - CMP $6 $5 B1() B2() :void diff --git a/nautilus/test/data/tracing/andCondition.trace b/nautilus/test/data/tracing/andCondition.trace deleted file mode 100644 index df1dbc89..00000000 --- a/nautilus/test/data/tracing/andCondition.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0() - CONST $3 1 :i32 - CONST $4 8 :i32 - EQ $5 $1 $4 :bool - CONST $6 1 :i32 - EQ $7 $2 $6 :bool - AND $8 $5 $7 :bool - CMP $9 $8 B1() B2() :void -B1() - CONST $10 14 :i32 - ADD $11 $3 $10 :i32 - ASSIGN $3 $11 :i32 - RETURN $3 :i32 -B2() - RETURN $3 :i32 diff --git a/nautilus/test/data/tracing/andFunction.trace b/nautilus/test/data/tracing/andFunction.trace deleted file mode 100644 index 96efa878..00000000 --- a/nautilus/test/data/tracing/andFunction.trace +++ /dev/null @@ -1,21 +0,0 @@ -B0() - CONST $2 :bool - ASSIGN $3 $2 :bool - CONST $4 42 :i64 - CAST $5 $1 :i64 - EQ $6 $5 $4 :bool - AND $7 $3 $6 :bool - ASSIGN $2 $7 :bool - ASSIGN $8 $2 :bool - CONST $9 42 :i64 - CAST $10 $1 :i64 - EQ $11 $10 $9 :bool - AND $12 $8 $11 :bool - ASSIGN $2 $12 :bool - ASSIGN $13 $2 :bool - CONST $14 42 :i64 - CAST $15 $1 :i64 - EQ $16 $15 $14 :bool - AND $17 $13 $16 :bool - ASSIGN $2 $17 :bool - RETURN $2 :bool diff --git a/nautilus/test/data/tracing/assignShl.trace b/nautilus/test/data/tracing/assignShl.trace index 5d2520d3..140cb6e9 100644 --- a/nautilus/test/data/tracing/assignShl.trace +++ b/nautilus/test/data/tracing/assignShl.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) CONST $2 5 :i32 LSH $3 $1 $2 :i32 ASSIGN $1 $3 :i32 diff --git a/nautilus/test/data/tracing/assignShr.trace b/nautilus/test/data/tracing/assignShr.trace index d0af05ab..1d989700 100644 --- a/nautilus/test/data/tracing/assignShr.trace +++ b/nautilus/test/data/tracing/assignShr.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) CONST $2 5 :i32 RSH $3 $1 $2 :i32 ASSIGN $1 $3 :i32 diff --git a/nautilus/test/data/tracing/assignment1.trace b/nautilus/test/data/tracing/assignment1.trace index 06f03466..56fc6838 100644 --- a/nautilus/test/data/tracing/assignment1.trace +++ b/nautilus/test/data/tracing/assignment1.trace @@ -1,3 +1,3 @@ -B0() +B0($1:i32) ASSIGN $2 $1 :i32 RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/assignment2.trace b/nautilus/test/data/tracing/assignment2.trace index 85d199e7..d7de1ca1 100644 --- a/nautilus/test/data/tracing/assignment2.trace +++ b/nautilus/test/data/tracing/assignment2.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) ASSIGN $2 $1 :i32 CONST $3 1 :i32 ADD $4 $2 $3 :i32 diff --git a/nautilus/test/data/tracing/assignment3.trace b/nautilus/test/data/tracing/assignment3.trace index ad8cd445..071412ab 100644 --- a/nautilus/test/data/tracing/assignment3.trace +++ b/nautilus/test/data/tracing/assignment3.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) ASSIGN $2 $1 :i32 CONST $3 1 :i32 ADD $4 $2 $3 :i32 diff --git a/nautilus/test/data/tracing/assignment4.trace b/nautilus/test/data/tracing/assignment4.trace index 3ec5fd43..91f0d310 100644 --- a/nautilus/test/data/tracing/assignment4.trace +++ b/nautilus/test/data/tracing/assignment4.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) CONST $2 42 :i32 CONST $3 1 :i32 ADD $4 $1 $3 :i32 diff --git a/nautilus/test/data/tracing/assignment5.trace b/nautilus/test/data/tracing/assignment5.trace index ca10cd8a..5a826c6a 100644 --- a/nautilus/test/data/tracing/assignment5.trace +++ b/nautilus/test/data/tracing/assignment5.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) CONST $2 42 :i32 CONST $3 1 :i32 ADD $4 $1 $3 :i32 diff --git a/nautilus/test/data/tracing/castFloatToDoubleAddExpression.trace b/nautilus/test/data/tracing/castFloatToDoubleAddExpression.trace index b3a36c0f..08c07b97 100644 --- a/nautilus/test/data/tracing/castFloatToDoubleAddExpression.trace +++ b/nautilus/test/data/tracing/castFloatToDoubleAddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:f32) CONST $2 7 :f64 CAST $3 $1 :f64 ADD $4 $3 $2 :f64 diff --git a/nautilus/test/data/tracing/castInt8ToInt64AddExpression.trace b/nautilus/test/data/tracing/castInt8ToInt64AddExpression.trace index 867b49c0..8013ccdc 100644 --- a/nautilus/test/data/tracing/castInt8ToInt64AddExpression.trace +++ b/nautilus/test/data/tracing/castInt8ToInt64AddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i8) CONST $2 7 :i64 CAST $3 $1 :i64 ADD $4 $3 $2 :i64 diff --git a/nautilus/test/data/tracing/castInt8ToInt64AddExpression2.trace b/nautilus/test/data/tracing/castInt8ToInt64AddExpression2.trace index a030c1ec..bae53481 100644 --- a/nautilus/test/data/tracing/castInt8ToInt64AddExpression2.trace +++ b/nautilus/test/data/tracing/castInt8ToInt64AddExpression2.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i8) CONST $2 42 :i64 CAST $3 $1 :i64 ADD $4 $2 $3 :i64 diff --git a/nautilus/test/data/tracing/castVoidPtr.trace b/nautilus/test/data/tracing/castVoidPtr.trace deleted file mode 100644 index 09a43a38..00000000 --- a/nautilus/test/data/tracing/castVoidPtr.trace +++ /dev/null @@ -1,9 +0,0 @@ -B0() - CONST $2 0 :i32 - ASSIGN $3 $2 :i32 - ASSIGN $4 $3 :i32 - CONST $5 4 :i32 - MUL $6 $4 $5 :i32 - ADD $7 $1 $6 :ptr - LOAD $8 $7 :i32 - RETURN $8 :i32 diff --git a/nautilus/test/data/tracing/collatz.trace b/nautilus/test/data/tracing/collatz.trace deleted file mode 100644 index 76816a8a..00000000 --- a/nautilus/test/data/tracing/collatz.trace +++ /dev/null @@ -1,36 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B5() :void -B1() - CONST $6 2 :i32 - MOD $7 $1 $6 :i32 - CONST $8 0 :i32 - EQ $9 $7 $8 :bool - CMP $10 $9 B3() B4() :void -B2() - RETURN $2 :i32 -B3() - CONST $11 2 :i32 - DIV $12 $1 $11 :i32 - ASSIGN $1 $12 :i32 - CONST $13 1 :i32 - JMP $0 B6() :void -B4() - CONST $18 3 :i32 - MUL $19 $18 $1 :i32 - CONST $20 1 :i32 - ADD $21 $19 $20 :i32 - ASSIGN $1 $21 :i32 - CONST $22 1 :i32 - ASSIGN $13 $22 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - NEQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B6() ControlFlowMerge - ADD $14 $2 $13 :i32 - ASSIGN $2 $14 :i32 - CONST $15 1 :i32 - ASSIGN $3 $15 :i32 - JMP $0 B5() :void diff --git a/nautilus/test/data/tracing/complexLogicalExpressions.trace b/nautilus/test/data/tracing/complexLogicalExpressions.trace deleted file mode 100644 index bf7ff363..00000000 --- a/nautilus/test/data/tracing/complexLogicalExpressions.trace +++ /dev/null @@ -1,20 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CONST $5 10 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CONST $8 15 :i32 - GT $9 $1 $8 :bool - CONST $10 20 :i32 - LT $11 $1 $10 :bool - AND $12 $9 $11 :bool - OR $13 $7 $12 :bool - CMP $14 $13 B1() B2() :void -B1() - CONST $15 1 :i32 - ASSIGN $2 $15 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/compoundStatements.trace b/nautilus/test/data/tracing/compoundStatements.trace deleted file mode 100644 index 045ebdf5..00000000 --- a/nautilus/test/data/tracing/compoundStatements.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 1 :i32 - ASSIGN $2 $6 :i32 - CONST $7 2 :i32 - MUL $8 $2 $7 :i32 - ASSIGN $2 $8 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/conditionalReturn.trace b/nautilus/test/data/tracing/conditionalReturn.trace deleted file mode 100644 index 903018e3..00000000 --- a/nautilus/test/data/tracing/conditionalReturn.trace +++ /dev/null @@ -1,10 +0,0 @@ -B0() - CONST $2 42 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 1 :i32 - RETURN $5 :i32 -B2() - CONST $7 120 :i32 - RETURN $7 :i32 diff --git a/nautilus/test/data/tracing/countDigits.trace b/nautilus/test/data/tracing/countDigits.trace deleted file mode 100644 index e2d5b9d3..00000000 --- a/nautilus/test/data/tracing/countDigits.trace +++ /dev/null @@ -1,19 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B3() :void -B1() - CONST $6 10 :i32 - DIV $7 $1 $6 :i32 - ASSIGN $1 $7 :i32 - CONST $8 1 :i32 - ADD $9 $2 $8 :i32 - ASSIGN $2 $9 :i32 - CONST $10 0 :i32 - ASSIGN $3 $10 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - NEQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/decimalToBinary.trace b/nautilus/test/data/tracing/decimalToBinary.trace deleted file mode 100644 index 2620e036..00000000 --- a/nautilus/test/data/tracing/decimalToBinary.trace +++ /dev/null @@ -1,25 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 1 :i32 - CONST $4 2 :i32 - JMP $0 B3() :void -B1() - CONST $15 2 :i32 - ASSIGN $4 $15 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - MOD $5 $1 $4 :i32 - MUL $6 $5 $3 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 10 :i32 - MUL $9 $3 $8 :i32 - ASSIGN $3 $9 :i32 - CONST $10 2 :i32 - DIV $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - CONST $12 0 :i32 - GT $13 $1 $12 :bool - CMP $14 $13 B1() B2() :void diff --git a/nautilus/test/data/tracing/deeplyNestedIfElseCondition.trace b/nautilus/test/data/tracing/deeplyNestedIfElseCondition.trace deleted file mode 100644 index 36fd4e89..00000000 --- a/nautilus/test/data/tracing/deeplyNestedIfElseCondition.trace +++ /dev/null @@ -1,56 +0,0 @@ -B0() - CONST $1 5 :i32 - CONST $2 8 :i32 - LT $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 6 :i32 - GT $6 $1 $5 :bool - CMP $7 $6 B3() B4() :void -B2() - CONST $13 20 :i32 - ADD $14 $1 $13 :i32 - ASSIGN $1 $14 :i32 - CONST $15 2 :i32 - ASSIGN $10 $15 :i32 - JMP $0 B5() :void -B3() - CONST $8 10 :i32 - ADD $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 2 :i32 - JMP $0 B5() :void -B4() - CONST $16 6 :i32 - LT $17 $1 $16 :bool - CMP $18 $17 B6() B7() :void -B5() ControlFlowMerge - JMP $0 B10() :void -B6() - CONST $19 5 :i32 - EQ $20 $1 $19 :bool - CMP $21 $20 B8() B9() :void -B7() - CONST $25 2 :i32 - ASSIGN $10 $25 :i32 - JMP $0 B11() :void -B8() - CONST $22 5 :i32 - ADD $23 $1 $22 :i32 - ASSIGN $1 $23 :i32 - CONST $24 2 :i32 - ASSIGN $10 $24 :i32 - JMP $0 B10() :void -B9() - CONST $26 2 :i32 - ASSIGN $10 $26 :i32 - JMP $0 B12() :void -B10() ControlFlowMerge - JMP $0 B11() :void -B11() ControlFlowMerge - JMP $0 B12() :void -B12() ControlFlowMerge - ADD $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - ASSIGN $12 $1 :i32 - RETURN $12 :i32 diff --git a/nautilus/test/data/tracing/deeplyNestedIfElseIfCondition.trace b/nautilus/test/data/tracing/deeplyNestedIfElseIfCondition.trace deleted file mode 100644 index 20ac3e4f..00000000 --- a/nautilus/test/data/tracing/deeplyNestedIfElseIfCondition.trace +++ /dev/null @@ -1,46 +0,0 @@ -B0() - CONST $1 5 :i32 - CONST $2 8 :i32 - LT $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 10 :i32 - ADD $6 $1 $5 :i32 - ASSIGN $1 $6 :i32 - CONST $7 2 :i32 - JMP $0 B5() :void -B2() - CONST $10 5 :i32 - EQ $11 $1 $10 :bool - CMP $12 $11 B3() B4() :void -B3() - CONST $13 5 :i32 - ADD $14 $1 $13 :i32 - ASSIGN $1 $14 :i32 - CONST $15 2 :i32 - ASSIGN $7 $15 :i32 - JMP $0 B5() :void -B4() - CONST $16 4 :i32 - EQ $17 $1 $16 :bool - CMP $18 $17 B6() B7() :void -B5() ControlFlowMerge - JMP $0 B8() :void -B6() - CONST $19 4 :i32 - ADD $20 $1 $19 :i32 - ASSIGN $1 $20 :i32 - CONST $21 2 :i32 - ASSIGN $7 $21 :i32 - JMP $0 B8() :void -B7() - CONST $22 2 :i32 - ASSIGN $7 $22 :i32 - JMP $0 B9() :void -B8() ControlFlowMerge - JMP $0 B9() :void -B9() ControlFlowMerge - ADD $8 $1 $7 :i32 - ASSIGN $1 $8 :i32 - ASSIGN $9 $1 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/tracing/digitSum.trace b/nautilus/test/data/tracing/digitSum.trace deleted file mode 100644 index a9a6697f..00000000 --- a/nautilus/test/data/tracing/digitSum.trace +++ /dev/null @@ -1,20 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B3() :void -B1() - CONST $11 10 :i32 - ASSIGN $3 $11 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - MOD $4 $1 $3 :i32 - ADD $5 $2 $4 :i32 - ASSIGN $2 $5 :i32 - CONST $6 10 :i32 - DIV $7 $1 $6 :i32 - ASSIGN $1 $7 :i32 - CONST $8 0 :i32 - GT $9 $1 $8 :bool - CMP $10 $9 B1() B2() :void diff --git a/nautilus/test/data/tracing/doubleAddExpression.trace b/nautilus/test/data/tracing/doubleAddExpression.trace index 95803a9f..61dfd097 100644 --- a/nautilus/test/data/tracing/doubleAddExpression.trace +++ b/nautilus/test/data/tracing/doubleAddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:f64) CONST $2 7 :f64 ADD $3 $1 $2 :f64 RETURN $3 :f64 diff --git a/nautilus/test/data/tracing/doubleIfCondition.trace b/nautilus/test/data/tracing/doubleIfCondition.trace deleted file mode 100644 index 879fcda9..00000000 --- a/nautilus/test/data/tracing/doubleIfCondition.trace +++ /dev/null @@ -1,30 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 8 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 1 :i32 - JMP $0 B5() :void -B2() - CONST $13 1 :i32 - ASSIGN $5 $13 :i32 - JMP $0 B5() :void -B3() - CONST $8 20 :i32 - ADD $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 2 :i32 - JMP $0 B6() :void -B4() - CONST $14 2 :i32 - ASSIGN $10 $14 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - EQ $6 $1 $5 :bool - CMP $7 $6 B3() B4() :void -B6() ControlFlowMerge - ADD $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - ASSIGN $12 $1 :i32 - RETURN $12 :i32 diff --git a/nautilus/test/data/tracing/elseOnlySumLoop.trace b/nautilus/test/data/tracing/elseOnlySumLoop.trace deleted file mode 100644 index c2a76d1c..00000000 --- a/nautilus/test/data/tracing/elseOnlySumLoop.trace +++ /dev/null @@ -1,30 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 1 :i32 - JMP $0 B6() :void -B4() - CONST $12 1 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 1 :i32 - ASSIGN $9 $14 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B6() ControlFlowMerge - ADD $10 $2 $9 :i32 - ASSIGN $2 $10 :i32 - CONST $11 10 :i32 - ASSIGN $3 $11 :i32 - JMP $0 B5() :void diff --git a/nautilus/test/data/tracing/factorial.trace b/nautilus/test/data/tracing/factorial.trace deleted file mode 100644 index cc3d1349..00000000 --- a/nautilus/test/data/tracing/factorial.trace +++ /dev/null @@ -1,19 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 1 :i32 - JMP $0 B3() :void -B1() - ASSIGN $6 $1 :i32 - MUL $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 1 :i32 - SUB $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 1 :i32 - ASSIGN $3 $10 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - GT $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/fibonacci.trace b/nautilus/test/data/tracing/fibonacci.trace deleted file mode 100644 index 786f1b93..00000000 --- a/nautilus/test/data/tracing/fibonacci.trace +++ /dev/null @@ -1,20 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 1 :i32 - CONST $4 0 :i32 - CONST $5 2 :i32 - JMP $0 B3() :void -B1() - ADD $8 $2 $3 :i32 - ASSIGN $4 $8 :i32 - ASSIGN $2 $3 :i32 - ASSIGN $3 $4 :i32 - CONST $9 1 :i32 - ADD $10 $5 $9 :i32 - ASSIGN $5 $10 :i32 - JMP $0 B3() :void -B2() - RETURN $3 :i32 -B3() ControlFlowMerge - LTE $6 $5 $1 :bool - CMP $7 $6 B1() B2() :void diff --git a/nautilus/test/data/tracing/floatAddExpression.trace b/nautilus/test/data/tracing/floatAddExpression.trace index 5982d808..65c12e47 100644 --- a/nautilus/test/data/tracing/floatAddExpression.trace +++ b/nautilus/test/data/tracing/floatAddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:f32) CONST $2 7 :f32 ADD $3 $1 $2 :f32 RETURN $3 :f32 diff --git a/nautilus/test/data/tracing/gcd.trace b/nautilus/test/data/tracing/gcd.trace deleted file mode 100644 index 0d7b3725..00000000 --- a/nautilus/test/data/tracing/gcd.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0() - CONST $3 0 :i32 - JMP $0 B3() :void -B1() - ASSIGN $6 $2 :i32 - MOD $7 $1 $2 :i32 - ASSIGN $2 $7 :i32 - ASSIGN $1 $6 :i32 - CONST $8 0 :i32 - ASSIGN $3 $8 :i32 - JMP $0 B3() :void -B2() - RETURN $1 :i32 -B3() ControlFlowMerge - NEQ $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/ifElseIfCondition.trace b/nautilus/test/data/tracing/ifElseIfCondition.trace deleted file mode 100644 index 9a30dde8..00000000 --- a/nautilus/test/data/tracing/ifElseIfCondition.trace +++ /dev/null @@ -1,33 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 8 :i32 - EQ $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 14 :i32 - ADD $6 $1 $5 :i32 - ASSIGN $1 $6 :i32 - CONST $7 2 :i32 - JMP $0 B5() :void -B2() - CONST $10 1 :i32 - EQ $11 $1 $10 :bool - CMP $12 $11 B3() B4() :void -B3() - CONST $13 20 :i32 - ADD $14 $1 $13 :i32 - ASSIGN $1 $14 :i32 - CONST $15 2 :i32 - ASSIGN $7 $15 :i32 - JMP $0 B5() :void -B4() - CONST $16 2 :i32 - ASSIGN $7 $16 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - JMP $0 B6() :void -B6() ControlFlowMerge - ADD $8 $1 $7 :i32 - ASSIGN $1 $8 :i32 - ASSIGN $9 $1 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/tracing/ifElseIfElse.trace b/nautilus/test/data/tracing/ifElseIfElse.trace deleted file mode 100644 index ebe378e3..00000000 --- a/nautilus/test/data/tracing/ifElseIfElse.trace +++ /dev/null @@ -1,21 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 10 :i32 - ASSIGN $2 $6 :i32 - RETURN $2 :i32 -B2() - CONST $8 1 :i32 - EQ $9 $1 $8 :bool - CMP $10 $9 B3() B4() :void -B3() - CONST $11 20 :i32 - ASSIGN $2 $11 :i32 - RETURN $2 :i32 -B4() - CONST $13 30 :i32 - ASSIGN $2 $13 :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/ifElseSumLoop.trace b/nautilus/test/data/tracing/ifElseSumLoop.trace deleted file mode 100644 index 95d3aab3..00000000 --- a/nautilus/test/data/tracing/ifElseSumLoop.trace +++ /dev/null @@ -1,33 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 10 :i32 - ADD $10 $1 $9 :i32 - ASSIGN $1 $10 :i32 - CONST $11 1 :i32 - JMP $0 B6() :void -B4() - CONST $14 1 :i32 - ADD $15 $1 $14 :i32 - ASSIGN $1 $15 :i32 - CONST $16 1 :i32 - ASSIGN $11 $16 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B6() ControlFlowMerge - ADD $12 $2 $11 :i32 - ASSIGN $2 $12 :i32 - CONST $13 10 :i32 - ASSIGN $3 $13 :i32 - JMP $0 B5() :void diff --git a/nautilus/test/data/tracing/ifInsideLoop.trace b/nautilus/test/data/tracing/ifInsideLoop.trace deleted file mode 100644 index d8ad0637..00000000 --- a/nautilus/test/data/tracing/ifInsideLoop.trace +++ /dev/null @@ -1,29 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B5() :void -B1() - CONST $6 2 :i32 - MOD $7 $3 $6 :i32 - CONST $8 0 :i32 - EQ $9 $7 $8 :bool - CMP $10 $9 B3() B4() :void -B2() - RETURN $2 :i32 -B3() - CONST $11 1 :i32 - ADD $12 $2 $11 :i32 - ASSIGN $2 $12 :i32 - CONST $13 1 :i32 - JMP $0 B6() :void -B4() - CONST $17 1 :i32 - ASSIGN $13 $17 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void -B6() ControlFlowMerge - ADD $14 $3 $13 :i32 - ASSIGN $3 $14 :i32 - JMP $0 B5() :void diff --git a/nautilus/test/data/tracing/ifNotEqual.trace b/nautilus/test/data/tracing/ifNotEqual.trace deleted file mode 100644 index 7615a731..00000000 --- a/nautilus/test/data/tracing/ifNotEqual.trace +++ /dev/null @@ -1,11 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 5 :i32 - NEQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 2 :i32 - ASSIGN $2 $6 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/ifSumLoop.trace b/nautilus/test/data/tracing/ifSumLoop.trace deleted file mode 100644 index bbf0c322..00000000 --- a/nautilus/test/data/tracing/ifSumLoop.trace +++ /dev/null @@ -1,30 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B5() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 10 :i32 - ADD $10 $1 $9 :i32 - ASSIGN $1 $10 :i32 - CONST $11 1 :i32 - JMP $0 B6() :void -B4() - CONST $14 1 :i32 - ASSIGN $11 $14 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B6() ControlFlowMerge - ADD $12 $2 $11 :i32 - ASSIGN $2 $12 :i32 - CONST $13 10 :i32 - ASSIGN $3 $13 :i32 - JMP $0 B5() :void diff --git a/nautilus/test/data/tracing/ifThenCondition.trace b/nautilus/test/data/tracing/ifThenCondition.trace deleted file mode 100644 index 2b268bc5..00000000 --- a/nautilus/test/data/tracing/ifThenCondition.trace +++ /dev/null @@ -1,18 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 1 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 42 :i32 - JMP $0 B3() :void -B2() - CONST $11 42 :i32 - ASSIGN $8 $11 :i32 - JMP $0 B3() :void -B3() ControlFlowMerge - ADD $9 $2 $8 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/tracing/ifThenElseCondition.trace b/nautilus/test/data/tracing/ifThenElseCondition.trace deleted file mode 100644 index 773cdf93..00000000 --- a/nautilus/test/data/tracing/ifThenElseCondition.trace +++ /dev/null @@ -1,21 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 1 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 42 :i32 - JMP $0 B3() :void -B2() - CONST $11 42 :i32 - ADD $12 $2 $11 :i32 - ASSIGN $2 $12 :i32 - CONST $13 42 :i32 - ASSIGN $8 $13 :i32 - JMP $0 B3() :void -B3() ControlFlowMerge - ADD $9 $2 $8 :i32 - RETURN $9 :i32 diff --git a/nautilus/test/data/tracing/ifWithFunctionCall.trace b/nautilus/test/data/tracing/ifWithFunctionCall.trace deleted file mode 100644 index 3282622c..00000000 --- a/nautilus/test/data/tracing/ifWithFunctionCall.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0() - CONST $2 0 :i32 - ASSIGN $3 $1 :i32 - CONST $4 2 :i32 - MUL $5 $3 $4 :i32 - CONST $6 10 :i32 - GT $7 $5 $6 :bool - CMP $8 $7 B1() B2() :void -B1() - CONST $9 1 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/ifWithTernary.trace b/nautilus/test/data/tracing/ifWithTernary.trace deleted file mode 100644 index f0029aef..00000000 --- a/nautilus/test/data/tracing/ifWithTernary.trace +++ /dev/null @@ -1,23 +0,0 @@ -B0() - CONST $2 5 :i32 - GT $3 $1 $2 :bool - CMP $4 $3 B1() B2() :void -B1() - CONST $5 10 :i32 - CONST $6 0 :i32 - JMP $0 B5() :void -B2() - CONST $11 5 :i32 - ASSIGN $5 $11 :i32 - CONST $12 0 :i32 - ASSIGN $6 $12 :i32 - JMP $0 B5() :void -B3() - CONST $9 -1 :i32 - ASSIGN $5 $9 :i32 - RETURN $5 :i32 -B4() - RETURN $5 :i32 -B5() ControlFlowMerge - EQ $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void diff --git a/nautilus/test/data/tracing/int16AddExpression.trace b/nautilus/test/data/tracing/int16AddExpression.trace index 4f786865..fa4e99cb 100644 --- a/nautilus/test/data/tracing/int16AddExpression.trace +++ b/nautilus/test/data/tracing/int16AddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i16) CONST $2 5 :i16 ADD $3 $1 $2 :i32 RETURN $3 :i16 diff --git a/nautilus/test/data/tracing/int32AddExpression.trace b/nautilus/test/data/tracing/int32AddExpression.trace index 8dcf4247..7090e004 100644 --- a/nautilus/test/data/tracing/int32AddExpression.trace +++ b/nautilus/test/data/tracing/int32AddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i32) CONST $2 5 :i32 ADD $3 $1 $2 :i32 RETURN $3 :i32 diff --git a/nautilus/test/data/tracing/int64AddExpression.trace b/nautilus/test/data/tracing/int64AddExpression.trace index e492ff50..3a837f24 100644 --- a/nautilus/test/data/tracing/int64AddExpression.trace +++ b/nautilus/test/data/tracing/int64AddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i64) CONST $2 7 :i64 ADD $3 $1 $2 :i64 RETURN $3 :i64 diff --git a/nautilus/test/data/tracing/int8AddExpression.trace b/nautilus/test/data/tracing/int8AddExpression.trace index 74eb878c..c98a835f 100644 --- a/nautilus/test/data/tracing/int8AddExpression.trace +++ b/nautilus/test/data/tracing/int8AddExpression.trace @@ -1,4 +1,4 @@ -B0() +B0($1:i8) CONST $2  :i8 ADD $3 $2 $1 :i32 RETURN $3 :i8 diff --git a/nautilus/test/data/tracing/isPrime.trace b/nautilus/test/data/tracing/isPrime.trace deleted file mode 100644 index 2506eea5..00000000 --- a/nautilus/test/data/tracing/isPrime.trace +++ /dev/null @@ -1,29 +0,0 @@ -B0() - CONST $2 :bool - CONST $3 :bool - CONST $4 1 :i32 - LTE $5 $1 $4 :bool - CMP $6 $5 B1() B2() :void -B1() - RETURN $2 :bool -B2() - CONST $8 2 :i32 - JMP $0 B7() :void -B3() - MOD $12 $1 $8 :i32 - CONST $13 0 :i32 - EQ $14 $12 $13 :bool - CMP $15 $14 B5() B6() :void -B4() - RETURN $3 :bool -B5() - RETURN $2 :bool -B6() - CONST $18 1 :i32 - ADD $19 $8 $18 :i32 - ASSIGN $8 $19 :i32 - JMP $0 B7() :void -B7() ControlFlowMerge - MUL $9 $8 $8 :i32 - LTE $10 $9 $1 :bool - CMP $11 $10 B3() B4() :void diff --git a/nautilus/test/data/tracing/logicalAnd.trace b/nautilus/test/data/tracing/logicalAnd.trace deleted file mode 100644 index 8a8ab338..00000000 --- a/nautilus/test/data/tracing/logicalAnd.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 5 :i32 - GT $4 $1 $3 :bool - CONST $5 15 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CMP $8 $7 B1() B2() :void -B1() - CONST $9 1 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/logicalOr.trace b/nautilus/test/data/tracing/logicalOr.trace deleted file mode 100644 index 0940a833..00000000 --- a/nautilus/test/data/tracing/logicalOr.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 10 :i32 - EQ $4 $1 $3 :bool - CONST $5 20 :i32 - EQ $6 $1 $5 :bool - OR $7 $4 $6 :bool - CMP $8 $7 B1() B2() :void -B1() - CONST $9 1 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/logicalXOR.trace b/nautilus/test/data/tracing/logicalXOR.trace deleted file mode 100644 index b365a91c..00000000 --- a/nautilus/test/data/tracing/logicalXOR.trace +++ /dev/null @@ -1,14 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 10 :i32 - LT $4 $1 $3 :bool - CONST $5 5 :i32 - GT $6 $1 $5 :bool - NEQ $7 $4 $6 :bool - CMP $8 $7 B1() B2() :void -B1() - CONST $9 1 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/loopDirectCall.trace b/nautilus/test/data/tracing/loopDirectCall.trace deleted file mode 100644 index e245507a..00000000 --- a/nautilus/test/data/tracing/loopDirectCall.trace +++ /dev/null @@ -1,20 +0,0 @@ -B0() - CONST $3 0 :i32 - CONST $4 0 :i32 - JMP $0 B3() :void -B1() - ASSIGN $7 $3 :i32 - ASSIGN $8 $2 :i32 - ASSIGN $9 $7 :i32 - ASSIGN $10 $8 :i32 - CALL $11 ($9,$10) :i32 - ASSIGN $3 $11 :i32 - CONST $12 1 :i32 - ADD $13 $4 $12 :i32 - ASSIGN $4 $13 :i32 - JMP $0 B3() :void -B2() - RETURN $3 :i32 -B3() ControlFlowMerge - LT $5 $4 $1 :bool - CMP $6 $5 B1() B2() :void diff --git a/nautilus/test/data/tracing/multipleConditions.trace b/nautilus/test/data/tracing/multipleConditions.trace deleted file mode 100644 index 63481573..00000000 --- a/nautilus/test/data/tracing/multipleConditions.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - GT $4 $1 $3 :bool - CONST $5 10 :i32 - LT $6 $1 $5 :bool - AND $7 $4 $6 :bool - CONST $8 20 :i32 - EQ $9 $1 $8 :bool - OR $10 $7 $9 :bool - CMP $11 $10 B1() B2() :void -B1() - CONST $12 1 :i32 - ASSIGN $2 $12 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/nestedElseOnlySumLoop.trace b/nautilus/test/data/tracing/nestedElseOnlySumLoop.trace deleted file mode 100644 index f72ec525..00000000 --- a/nautilus/test/data/tracing/nestedElseOnlySumLoop.trace +++ /dev/null @@ -1,43 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5() B6() :void -B4() - CONST $15 1 :i32 - ADD $16 $1 $15 :i32 - ASSIGN $1 $16 :i32 - CONST $17 1 :i32 - ASSIGN $12 $17 :i32 - JMP $0 B8() :void -B5() - CONST $12 1 :i32 - JMP $0 B8() :void -B6() - CONST $18 100 :i32 - ADD $19 $1 $18 :i32 - ASSIGN $1 $19 :i32 - CONST $20 1 :i32 - ASSIGN $12 $20 :i32 - JMP $0 B9() :void -B7() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B8() ControlFlowMerge - JMP $0 B9() :void -B9() ControlFlowMerge - ADD $13 $2 $12 :i32 - ASSIGN $2 $13 :i32 - CONST $14 10 :i32 - ASSIGN $3 $14 :i32 - JMP $0 B7() :void diff --git a/nautilus/test/data/tracing/nestedIf.trace b/nautilus/test/data/tracing/nestedIf.trace deleted file mode 100644 index 46b2a613..00000000 --- a/nautilus/test/data/tracing/nestedIf.trace +++ /dev/null @@ -1,19 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 20 :i32 - LT $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 10 :i32 - GT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $2 :i32 -B3() - CONST $9 2 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B4() - CONST $12 3 :i32 - ASSIGN $2 $12 :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/nestedIfElseDifferentLevels.trace b/nautilus/test/data/tracing/nestedIfElseDifferentLevels.trace deleted file mode 100644 index fec82153..00000000 --- a/nautilus/test/data/tracing/nestedIfElseDifferentLevels.trace +++ /dev/null @@ -1,29 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - GT $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 5 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - CONST $11 -1 :i32 - ASSIGN $2 $11 :i32 - RETURN $2 :i32 -B3() - CONST $9 1 :i32 - ASSIGN $2 $9 :i32 - RETURN $2 :i32 -B4() - CONST $13 2 :i32 - ASSIGN $2 $13 :i32 - CONST $14 6 :i32 - EQ $15 $1 $14 :bool - CMP $16 $15 B5() B6() :void -B5() - CONST $17 3 :i32 - ASSIGN $2 $17 :i32 - RETURN $2 :i32 -B6() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/nestedIfElseSumLoop.trace b/nautilus/test/data/tracing/nestedIfElseSumLoop.trace deleted file mode 100644 index 5565b77b..00000000 --- a/nautilus/test/data/tracing/nestedIfElseSumLoop.trace +++ /dev/null @@ -1,46 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5() B6() :void -B4() - CONST $17 1 :i32 - ADD $18 $1 $17 :i32 - ASSIGN $1 $18 :i32 - CONST $19 1 :i32 - ASSIGN $14 $19 :i32 - JMP $0 B8() :void -B5() - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 1 :i32 - JMP $0 B8() :void -B6() - CONST $20 100 :i32 - ADD $21 $1 $20 :i32 - ASSIGN $1 $21 :i32 - CONST $22 1 :i32 - ASSIGN $14 $22 :i32 - JMP $0 B9() :void -B7() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B8() ControlFlowMerge - JMP $0 B9() :void -B9() ControlFlowMerge - ADD $15 $2 $14 :i32 - ASSIGN $2 $15 :i32 - CONST $16 10 :i32 - ASSIGN $3 $16 :i32 - JMP $0 B7() :void diff --git a/nautilus/test/data/tracing/nestedIfNoElseCondition.trace b/nautilus/test/data/tracing/nestedIfNoElseCondition.trace deleted file mode 100644 index 3d211406..00000000 --- a/nautilus/test/data/tracing/nestedIfNoElseCondition.trace +++ /dev/null @@ -1,34 +0,0 @@ -B0() - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 4 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 2 :i32 - JMP $0 B5() :void -B2() - CONST $13 9 :i32 - ADD $14 $2 $13 :i32 - ASSIGN $2 $14 :i32 - CONST $15 8 :i32 - EQ $16 $2 $15 :bool - CMP $17 $16 B3() B4() :void -B3() - CONST $18 14 :i32 - ADD $19 $2 $18 :i32 - CONST $20 2 :i32 - ASSIGN $8 $20 :i32 - JMP $0 B5() :void -B4() - CONST $23 2 :i32 - ASSIGN $8 $23 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - JMP $0 B6() :void -B6() ControlFlowMerge - ADD $9 $2 $8 :i32 - ASSIGN $2 $9 :i32 - ASSIGN $10 $2 :i32 - RETURN $10 :i32 diff --git a/nautilus/test/data/tracing/nestedIfSumLoop.trace b/nautilus/test/data/tracing/nestedIfSumLoop.trace deleted file mode 100644 index 72ecd5b8..00000000 --- a/nautilus/test/data/tracing/nestedIfSumLoop.trace +++ /dev/null @@ -1,43 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B7() :void -B1() - CONST $6 50 :i32 - LT $7 $1 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $1 :i32 -B3() - CONST $9 40 :i32 - LT $10 $1 $9 :bool - CMP $11 $10 B5() B6() :void -B4() - CONST $17 1 :i32 - ADD $18 $1 $17 :i32 - ASSIGN $1 $18 :i32 - CONST $19 1 :i32 - ASSIGN $14 $19 :i32 - JMP $0 B8() :void -B5() - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 1 :i32 - JMP $0 B8() :void -B6() - CONST $20 1 :i32 - ASSIGN $14 $20 :i32 - JMP $0 B9() :void -B7() ControlFlowMerge - LT $4 $2 $3 :bool - CMP $5 $4 B1() B2() :void -B8() ControlFlowMerge - JMP $0 B9() :void -B9() ControlFlowMerge - ADD $15 $2 $14 :i32 - ASSIGN $2 $15 :i32 - CONST $16 10 :i32 - ASSIGN $3 $16 :i32 - JMP $0 B7() :void diff --git a/nautilus/test/data/tracing/nestedIfThenElseCondition.trace b/nautilus/test/data/tracing/nestedIfThenElseCondition.trace deleted file mode 100644 index 1108edb6..00000000 --- a/nautilus/test/data/tracing/nestedIfThenElseCondition.trace +++ /dev/null @@ -1,29 +0,0 @@ -B0() - CONST $3 42 :i32 - EQ $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 2 :i32 - JMP $0 B5() :void -B2() - CONST $11 8 :i32 - EQ $12 $2 $11 :bool - CMP $13 $12 B3() B4() :void -B3() - CONST $14 2 :i32 - ASSIGN $6 $14 :i32 - JMP $0 B5() :void -B4() - CONST $17 2 :i32 - ADD $18 $2 $17 :i32 - ASSIGN $2 $18 :i32 - CONST $19 2 :i32 - ASSIGN $6 $19 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - JMP $0 B6() :void -B6() ControlFlowMerge - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - ASSIGN $8 $2 :i32 - RETURN $8 :i32 diff --git a/nautilus/test/data/tracing/nestedSumLoop.trace b/nautilus/test/data/tracing/nestedSumLoop.trace deleted file mode 100644 index e08b67e3..00000000 --- a/nautilus/test/data/tracing/nestedSumLoop.trace +++ /dev/null @@ -1,28 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 0 :i32 - JMP $0 B6() :void -B1() - CONST $6 0 :i32 - JMP $0 B5() :void -B2() - RETURN $2 :i32 -B3() - CONST $9 10 :i32 - ADD $10 $2 $9 :i32 - ASSIGN $2 $10 :i32 - CONST $11 1 :i32 - ADD $12 $6 $11 :i32 - ASSIGN $6 $12 :i32 - JMP $0 B5() :void -B4() - CONST $15 1 :i32 - ADD $16 $3 $15 :i32 - ASSIGN $3 $16 :i32 - JMP $0 B6() :void -B5() ControlFlowMerge - LT $7 $6 $1 :bool - CMP $8 $7 B3() B4() :void -B6() ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/orCondition.trace b/nautilus/test/data/tracing/orCondition.trace deleted file mode 100644 index 2924f637..00000000 --- a/nautilus/test/data/tracing/orCondition.trace +++ /dev/null @@ -1,15 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 8 :i32 - EQ $4 $1 $3 :bool - CONST $5 1 :i32 - EQ $6 $1 $5 :bool - OR $7 $4 $6 :bool - CMP $8 $7 B1() B2() :void -B1() - CONST $9 14 :i32 - ADD $10 $2 $9 :i32 - ASSIGN $2 $10 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/passCustomStruct.trace b/nautilus/test/data/tracing/passCustomStruct.trace deleted file mode 100644 index b2d5553a..00000000 --- a/nautilus/test/data/tracing/passCustomStruct.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0() - CALL $2 ($1) :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/reverseNumber.trace b/nautilus/test/data/tracing/reverseNumber.trace deleted file mode 100644 index f5426ffa..00000000 --- a/nautilus/test/data/tracing/reverseNumber.trace +++ /dev/null @@ -1,22 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 10 :i32 - JMP $0 B3() :void -B1() - CONST $13 10 :i32 - ASSIGN $3 $13 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - MUL $4 $2 $3 :i32 - CONST $5 10 :i32 - MOD $6 $1 $5 :i32 - ADD $7 $4 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 10 :i32 - DIV $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 0 :i32 - GT $11 $1 $10 :bool - CMP $12 $11 B1() B2() :void diff --git a/nautilus/test/data/tracing/shortCircuitEvaluation.trace b/nautilus/test/data/tracing/shortCircuitEvaluation.trace deleted file mode 100644 index 81347bf6..00000000 --- a/nautilus/test/data/tracing/shortCircuitEvaluation.trace +++ /dev/null @@ -1,16 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - NEQ $4 $1 $3 :bool - CONST $5 10 :i32 - DIV $6 $5 $1 :i32 - CONST $7 1 :i32 - GT $8 $6 $7 :bool - AND $9 $4 $8 :bool - CMP $10 $9 B1() B2() :void -B1() - CONST $11 1 :i32 - ASSIGN $2 $11 :i32 - RETURN $2 :i32 -B2() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/simpleDirectCall.trace b/nautilus/test/data/tracing/simpleDirectCall.trace deleted file mode 100644 index 0ee8c29d..00000000 --- a/nautilus/test/data/tracing/simpleDirectCall.trace +++ /dev/null @@ -1,7 +0,0 @@ -B0() - ASSIGN $3 $1 :i32 - ASSIGN $4 $2 :i32 - ASSIGN $5 $3 :i32 - ASSIGN $6 $4 :i32 - CALL $7 ($5,$6) :i32 - RETURN $7 :i32 diff --git a/nautilus/test/data/tracing/specializeType.trace b/nautilus/test/data/tracing/specializeType.trace deleted file mode 100644 index b2d5553a..00000000 --- a/nautilus/test/data/tracing/specializeType.trace +++ /dev/null @@ -1,3 +0,0 @@ -B0() - CALL $2 ($1) :i32 - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/staticLoop.trace b/nautilus/test/data/tracing/staticLoop.trace deleted file mode 100644 index 60c02701..00000000 --- a/nautilus/test/data/tracing/staticLoop.trace +++ /dev/null @@ -1,33 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - ASSIGN $1 $3 :i32 - CONST $4 10 :i32 - ADD $5 $1 $4 :i32 - ASSIGN $1 $5 :i32 - CONST $6 10 :i32 - ADD $7 $1 $6 :i32 - ASSIGN $1 $7 :i32 - CONST $8 10 :i32 - ADD $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 10 :i32 - ADD $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 10 :i32 - ADD $15 $1 $14 :i32 - ASSIGN $1 $15 :i32 - CONST $16 10 :i32 - ADD $17 $1 $16 :i32 - ASSIGN $1 $17 :i32 - CONST $18 10 :i32 - ADD $19 $1 $18 :i32 - ASSIGN $1 $19 :i32 - CONST $20 10 :i32 - ADD $21 $1 $20 :i32 - ASSIGN $1 $21 :i32 - RETURN $1 :i32 diff --git a/nautilus/test/data/tracing/staticLoopIncrement.trace b/nautilus/test/data/tracing/staticLoopIncrement.trace deleted file mode 100644 index 60c02701..00000000 --- a/nautilus/test/data/tracing/staticLoopIncrement.trace +++ /dev/null @@ -1,33 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - ASSIGN $1 $3 :i32 - CONST $4 10 :i32 - ADD $5 $1 $4 :i32 - ASSIGN $1 $5 :i32 - CONST $6 10 :i32 - ADD $7 $1 $6 :i32 - ASSIGN $1 $7 :i32 - CONST $8 10 :i32 - ADD $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 10 :i32 - ADD $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - CONST $12 10 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 10 :i32 - ADD $15 $1 $14 :i32 - ASSIGN $1 $15 :i32 - CONST $16 10 :i32 - ADD $17 $1 $16 :i32 - ASSIGN $1 $17 :i32 - CONST $18 10 :i32 - ADD $19 $1 $18 :i32 - ASSIGN $1 $19 :i32 - CONST $20 10 :i32 - ADD $21 $1 $20 :i32 - ASSIGN $1 $21 :i32 - RETURN $1 :i32 diff --git a/nautilus/test/data/tracing/staticLoopWithDynamicLoop.trace b/nautilus/test/data/tracing/staticLoopWithDynamicLoop.trace deleted file mode 100644 index b12aab08..00000000 --- a/nautilus/test/data/tracing/staticLoopWithDynamicLoop.trace +++ /dev/null @@ -1,62 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 0 :i32 - JMP $0 B9() :void -B1() - CONST $6 5 :i32 - GT $7 $3 $6 :bool - CMP $8 $7 B3() B4() :void -B2() - RETURN $2 :i32 -B3() - CONST $9 1 :i32 - ADD $10 $2 $9 :i32 - ASSIGN $2 $10 :i32 - CONST $11 10 :i32 - JMP $0 B10() :void -B4() - CONST $31 10 :i32 - ASSIGN $11 $31 :i32 - JMP $0 B10() :void -B5() - CONST $16 1 :i32 - ADD $17 $2 $16 :i32 - ASSIGN $2 $17 :i32 - CONST $18 10 :i32 - JMP $0 B11() :void -B6() - CONST $33 10 :i32 - ASSIGN $18 $33 :i32 - JMP $0 B11() :void -B7() - CONST $23 1 :i32 - ADD $24 $2 $23 :i32 - ASSIGN $2 $24 :i32 - CONST $25 10 :i32 - JMP $0 B12() :void -B8() - CONST $35 10 :i32 - ASSIGN $25 $35 :i32 - JMP $0 B12() :void -B9() ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void -B10() ControlFlowMerge - ADD $12 $2 $11 :i32 - ASSIGN $2 $12 :i32 - CONST $13 5 :i32 - GT $14 $3 $13 :bool - CMP $15 $14 B5() B6() :void -B11() ControlFlowMerge - ADD $19 $2 $18 :i32 - ASSIGN $2 $19 :i32 - CONST $20 5 :i32 - GT $21 $3 $20 :bool - CMP $22 $21 B7() B8() :void -B12() ControlFlowMerge - ADD $26 $2 $25 :i32 - ASSIGN $2 $26 :i32 - CONST $27 1 :i32 - ADD $28 $3 $27 :i32 - ASSIGN $3 $28 :i32 - JMP $0 B9() :void diff --git a/nautilus/test/data/tracing/staticWhileLoopDecrement.trace b/nautilus/test/data/tracing/staticWhileLoopDecrement.trace deleted file mode 100644 index 68c7ecbb..00000000 --- a/nautilus/test/data/tracing/staticWhileLoopDecrement.trace +++ /dev/null @@ -1,36 +0,0 @@ -B0() - CONST $1 1 :i32 - CONST $2 10 :i32 - ADD $3 $1 $2 :i32 - ASSIGN $1 $3 :i32 - CONST $4 9 :i32 - ADD $5 $1 $4 :i32 - ASSIGN $1 $5 :i32 - CONST $6 8 :i32 - ADD $7 $1 $6 :i32 - ASSIGN $1 $7 :i32 - CONST $8 7 :i32 - ADD $9 $1 $8 :i32 - ASSIGN $1 $9 :i32 - CONST $10 6 :i32 - ADD $11 $1 $10 :i32 - ASSIGN $1 $11 :i32 - CONST $12 5 :i32 - ADD $13 $1 $12 :i32 - ASSIGN $1 $13 :i32 - CONST $14 4 :i32 - ADD $15 $1 $14 :i32 - ASSIGN $1 $15 :i32 - CONST $16 3 :i32 - ADD $17 $1 $16 :i32 - ASSIGN $1 $17 :i32 - CONST $18 2 :i32 - ADD $19 $1 $18 :i32 - ASSIGN $1 $19 :i32 - CONST $20 1 :i32 - ADD $21 $1 $20 :i32 - ASSIGN $1 $21 :i32 - CONST $22 0 :i32 - ADD $23 $1 $22 :i32 - ASSIGN $1 $23 :i32 - RETURN $1 :i32 diff --git a/nautilus/test/data/tracing/sumArray.trace b/nautilus/test/data/tracing/sumArray.trace deleted file mode 100644 index b36fed72..00000000 --- a/nautilus/test/data/tracing/sumArray.trace +++ /dev/null @@ -1,23 +0,0 @@ -B0() - CONST $3 0 :i32 - CONST $4 0 :i32 - JMP $0 B3() :void -B1() - ASSIGN $7 $4 :i32 - ASSIGN $8 $7 :i32 - ASSIGN $9 $8 :i32 - CONST $10 4 :i32 - MUL $11 $9 $10 :i32 - ADD $12 $1 $11 :ptr - LOAD $13 $12 :i32 - ADD $14 $3 $13 :i32 - ASSIGN $3 $14 :i32 - CONST $15 1 :i32 - ADD $16 $4 $15 :i32 - ASSIGN $4 $16 :i32 - JMP $0 B3() :void -B2() - RETURN $3 :i32 -B3() ControlFlowMerge - LT $5 $4 $2 :bool - CMP $6 $5 B1() B2() :void diff --git a/nautilus/test/data/tracing/sumLoop.trace b/nautilus/test/data/tracing/sumLoop.trace deleted file mode 100644 index e9f44097..00000000 --- a/nautilus/test/data/tracing/sumLoop.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0() - CONST $2 1 :i32 - CONST $3 0 :i32 - JMP $0 B3() :void -B1() - CONST $6 10 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - ASSIGN $3 $9 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - LT $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/sumOfNumbers.trace b/nautilus/test/data/tracing/sumOfNumbers.trace deleted file mode 100644 index 47641c7c..00000000 --- a/nautilus/test/data/tracing/sumOfNumbers.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B3() :void -B1() - ASSIGN $6 $3 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - ASSIGN $3 $9 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - LTE $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/sumOfSquares.trace b/nautilus/test/data/tracing/sumOfSquares.trace deleted file mode 100644 index 0c309cf7..00000000 --- a/nautilus/test/data/tracing/sumOfSquares.trace +++ /dev/null @@ -1,17 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 1 :i32 - JMP $0 B3() :void -B1() - MUL $6 $3 $3 :i32 - ADD $7 $2 $6 :i32 - ASSIGN $2 $7 :i32 - CONST $8 1 :i32 - ADD $9 $3 $8 :i32 - ASSIGN $3 $9 :i32 - JMP $0 B3() :void -B2() - RETURN $2 :i32 -B3() ControlFlowMerge - LTE $4 $3 $1 :bool - CMP $5 $4 B1() B2() :void diff --git a/nautilus/test/data/tracing/useWrapper.trace b/nautilus/test/data/tracing/useWrapper.trace deleted file mode 100644 index b3b12c61..00000000 --- a/nautilus/test/data/tracing/useWrapper.trace +++ /dev/null @@ -1,5 +0,0 @@ -B0() - CALL $3 ($1) :i32 - CALL $4 ($2) :i32 - ADD $5 $3 $4 :i32 - RETURN $5 :i32 diff --git a/nautilus/test/data/tracing/varyingComplexity.trace b/nautilus/test/data/tracing/varyingComplexity.trace deleted file mode 100644 index bbb7b06f..00000000 --- a/nautilus/test/data/tracing/varyingComplexity.trace +++ /dev/null @@ -1,33 +0,0 @@ -B0() - CONST $2 0 :i32 - CONST $3 5 :i32 - LT $4 $1 $3 :bool - CMP $5 $4 B1() B2() :void -B1() - CONST $6 1 :i32 - ASSIGN $2 $6 :i32 - RETURN $2 :i32 -B2() - CONST $8 5 :i32 - GTE $9 $1 $8 :bool - CONST $10 10 :i32 - LTE $11 $1 $10 :bool - AND $12 $9 $11 :bool - CMP $13 $12 B3() B4() :void -B3() - CONST $14 2 :i32 - ASSIGN $2 $14 :i32 - CONST $15 7 :i32 - EQ $16 $1 $15 :bool - CMP $17 $16 B5() B6() :void -B4() - CONST $21 3 :i32 - ASSIGN $2 $21 :i32 - RETURN $2 :i32 -B5() - CONST $18 1 :i32 - ADD $19 $2 $18 :i32 - ASSIGN $2 $19 :i32 - RETURN $2 :i32 -B6() - RETURN $2 :i32 diff --git a/nautilus/test/data/tracing/voidFuncCall.trace b/nautilus/test/data/tracing/voidFuncCall.trace deleted file mode 100644 index 27f886fa..00000000 --- a/nautilus/test/data/tracing/voidFuncCall.trace +++ /dev/null @@ -1,7 +0,0 @@ -B0() - ASSIGN $3 $1 :i32 - ASSIGN $4 $2 :i32 - ASSIGN $5 $3 :i32 - ASSIGN $6 $4 :i32 - CALL $7 ($5,$6) :void - RETURN $1 :i32