compiler_cfg_test.cc File Reference

Tests for Compiler_CFG.H. More...

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

Include dependency graph for compiler_cfg_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerCFG, LowersLinearFunctionAndTopLevelDeterministically)
	TEST (CompilerCFG, LowersIfElseIntoBranchAndJoinBlocks)
	TEST (CompilerCFG, LowersWhileLoopWithContinue)
	TEST (CompilerCFG, ValidatorWarnsAboutUnreachableBlocks)
	TEST (CompilerCFG, ValidatorRejectsReturnToNonCanonicalExitBlock)

Detailed Description

Tests for Compiler_CFG.H.

Definition in file compiler_cfg_test.cc.

Function Documentation

TEST() [1/5]

TEST	(	CompilerCFG	,
		LowersIfElseIntoBranchAndJoinBlocks
	)

Definition at line 137 of file compiler_cfg_test.cc.

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

TEST() [2/5]

TEST	(	CompilerCFG	,
		LowersLinearFunctionAndTopLevelDeterministically
	)

Definition at line 71 of file compiler_cfg_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_cfg_module(), Aleph::Compiler_Typed_Semantic_Analyzer::type_context(), and Aleph::validate_cfg_module().

TEST() [3/5]

TEST	(	CompilerCFG	,
		LowersWhileLoopWithContinue
	)

Definition at line 179 of file compiler_cfg_test.cc.

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

TEST() [4/5]

TEST	(	CompilerCFG	,
		ValidatorRejectsReturnToNonCanonicalExitBlock
	)

Definition at line 240 of file compiler_cfg_test.cc.

References Aleph::DynArray< T >::append(), Aleph::Compiler_CFG_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_CFG_Function::entry_block, Aleph::exit(), Aleph::Compiler_CFG_Function::exit_block, Aleph::Compiler_CFG_Block::id, Aleph::Compiler_CFG_Terminator::kind, Aleph::Compiler_CFG_Block::label, Aleph::Compiler_CFG_Function::name, Aleph::Compiler_CFG_Terminator::successors, Aleph::Compiler_CFG_Block::terminator, and Aleph::validate_cfg_function().

TEST() [5/5]

TEST	(	CompilerCFG	,
		ValidatorWarnsAboutUnreachableBlocks
	)

Definition at line 218 of file compiler_cfg_test.cc.

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