compiler_ir_test.cc File Reference

Tests for Compiler_IR.H. More...

#include <gtest/gtest.h>
#include <Compiler_HIR_Lowering_MVP.H>
#include <Compiler_IR_Lowering_MVP.H>
#include <Compiler_Parser.H>

Include dependency graph for compiler_ir_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerIR, LowersLinearFunctionAndTopLevelDeterministically)
	TEST (CompilerIR, ResolvesGlobalSlotsInsideFunctions)
	TEST (CompilerIR, LowersIfElseAndLoopsIntoExplicitBlocks)
	TEST (CompilerIR, ValidatorWarnsAboutUnreachableBlocks)
	TEST (CompilerIR, ValidatorRejectsReturnPointingToNonExitBlock)

Detailed Description

Tests for Compiler_IR.H.

Definition in file compiler_ir_test.cc.

Function Documentation

TEST() [1/5]

TEST	(	CompilerIR	,
		LowersIfElseAndLoopsIntoExplicitBlocks
	)

Definition at line 160 of file compiler_ir_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::validate_ir_function().

TEST() [2/5]

TEST	(	CompilerIR	,
		LowersLinearFunctionAndTopLevelDeterministically
	)

Definition at line 71 of file compiler_ir_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_ir_module(), Aleph::Compiler_Typed_Semantic_Analyzer::type_context(), and Aleph::validate_ir_module().

TEST() [3/5]

TEST	(	CompilerIR	,
		ResolvesGlobalSlotsInsideFunctions
	)

Definition at line 136 of file compiler_ir_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [4/5]

TEST	(	CompilerIR	,
		ValidatorRejectsReturnPointingToNonExitBlock
	)

Definition at line 215 of file compiler_ir_test.cc.

References Aleph::DynArray< T >::append(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Function::entry_block, Aleph::exit(), Aleph::Compiler_IR_Function::exit_block, Aleph::Compiler_IR_Block::id, Aleph::Compiler_IR_Terminator::kind, Aleph::Compiler_IR_Block::label, Aleph::Compiler_IR_Function::name, Aleph::Compiler_IR_Function::next_value_id, Aleph::Compiler_IR_Terminator::return_value, Aleph::Compiler_IR_Terminator::successors, Aleph::Compiler_IR_Block::terminator, and Aleph::validate_ir_function().

TEST() [5/5]

TEST	(	CompilerIR	,
		ValidatorWarnsAboutUnreachableBlocks
	)

Definition at line 193 of file compiler_ir_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and Aleph::validate_ir_module().