ssa_test.cc File Reference

Tests for SSA.H. More...

#include <gtest/gtest.h>
#include <SSA.H>

Include dependency graph for ssa_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerSSA, ComputesDominatorsAndFrontiersForDiamond)
	TEST (CompilerSSA, InsertsPhiAndRemovesLocalLoadsStoresInDiamond)
	TEST (CompilerSSA, RenamesLoopBackedgeThroughHeaderPhi)

Detailed Description

Tests for SSA.H.

Definition in file ssa_test.cc.

Function Documentation

TEST() [1/3]

TEST	(	CompilerSSA	,
		ComputesDominatorsAndFrontiersForDiamond
	)

Definition at line 287 of file ssa_test.cc.

References Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_ssa_invalid_id(), and Aleph::validate_ssa_function().

TEST() [2/3]

TEST	(	CompilerSSA	,
		InsertsPhiAndRemovesLocalLoadsStoresInDiamond
	)

Definition at line 314 of file ssa_test.cc.

References Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_ssa_function(), Aleph::Compiler_IR_Terminator::condition_value, Aleph::Compiler_IR_Block::instructions, Aleph::join(), Aleph::Compiler_IR_Terminator::kind, Aleph::Compiler_IR_Block::terminator, and Aleph::validate_ssa_function().

TEST() [3/3]

TEST	(	CompilerSSA	,
		RenamesLoopBackedgeThroughHeaderPhi
	)

Definition at line 351 of file ssa_test.cc.

References Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Terminator::condition_value, Aleph::Compiler_IR_Block::instructions, Aleph::Compiler_IR_Terminator::kind, Aleph::Compiler_IR_Block::terminator, and Aleph::validate_ssa_function().