added test cases

This commit is contained in:
2026-01-17 16:29:06 +01:00
parent 99f16c2534
commit 1ea823a1f6
59 changed files with 7506 additions and 0 deletions

View File

@@ -0,0 +1,906 @@
====================
Program2
====================
function x(int y, int x) -> int {
const int y;
z = x(3 / 3, y) * y(3 + z, z);
while (y > 13 / x) {
int[13][3][3] x;
y = (z - 3) * 3;
y(z * y, 3 + 3);
}
}
//----------
function y(int y, char z) -> int[3u] {
mut bool z;
if (y * ((z - 13) - z) >= ((z * 3) / (y - y)) * ((x - z) * x)) {
U64 y;
if (y + y <= 3 + x) {
I32 z;
return y;
return;
}
z(13 / x, z);
} else if (x * 3 > 0) {
const uint32_t a = y(y * x, 3);
return a;
} else {
z(13i32);
}
x = x(13 - y, 13 * 3) * ((z * 3 - 3) - (13 - 13) / z);
}
--------------------
(source_file
(translation_entity
(function_definition
(identifier)
(function_signature
(parameter_list
(parameter_declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(int_type))))
(identifier))
(parameter_declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(int_type))))
(identifier)))
(return_list
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(int_type))))))
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_qualifier_list
(type_qualifier))
(type_specifier
(int_type))))
(init_declarator
(identifier))))
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))))))))))))))))
(block_item
(statement
(primary_block
(iteration_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))
(secondary_block
(statement
(primary_block
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(array_specifier
(type_specifier
(array_specifier
(type_specifier
(array_specifier
(type_specifier
(int_type))
(constant_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))
(constant_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))
(constant_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))))
(init_declarator
(identifier))))
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))))))
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))))))))))))))))))))))))))))
(comment)
(translation_entity
(function_definition
(identifier)
(function_signature
(parameter_list
(parameter_declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(int_type))))
(identifier))
(parameter_declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier)))
(identifier)))
(return_list
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(array_specifier
(type_specifier
(int_type))
(constant_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(unsigned_integer_literal))))))))))))))))))
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_qualifier_list
(type_qualifier))
(type_specifier)))
(init_declarator
(identifier))))
(block_item
(statement
(primary_block
(selection_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))))))))
(geq_operator)
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))))))))))
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(uint_type))))
(init_declarator
(identifier))))
(block_item
(statement
(primary_block
(selection_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))
(leq_operator)
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_specifier
(int_type))))
(init_declarator
(identifier))))
(block_item
(statement
(jump_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))
(block_item
(statement
(jump_statement)))))))))
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))))))))))))))
(selection_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))
(statement_block
(block_item_list
(block_item
(declaration
(declaration_specifier
(type_specifier_qualifier
(type_qualifier_list
(type_qualifier))
(type_specifier
(uint_type))))
(init_declarator
(identifier)
(initializer
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))))))))))))))
(block_item
(statement
(jump_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))))))))
(statement_block
(block_item_list
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(signed_integer_literal)))))))))))))))))))))))))))))))))
(block_item
(statement
(expression_statement
(expression
(assignment_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))
(argument_expression_list
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))))))))
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier)))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal))))))))))))))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(expression
(assignment_expression
(logical_expression
(equality_expression
(relational_expression
(additive_expression
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))
(multiplicative_expression
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(constant
(integer_literal)))))))))))))))))
(cast_expression
(unary_expression
(postfix_expression
(base_expression
(identifier))))))))))))))))))))))))))))))))