compiler_dataflow_test.cc File Reference

Tests for Compiler_Dataflow.H. More...

#include <climits>
#include <gtest/gtest.h>
#include <Compiler_Dataflow.H>

Include dependency graph for compiler_dataflow_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerDataflowConstant, ParsesLLONG_MAX)
	TEST (CompilerDataflowConstant, ParsesLLONG_MINString)
	TEST (CompilerDataflowConstant, RejectsOverflowAboveLLONG_MAX)
	TEST (CompilerDataflowConstant, RejectsEmptyString)
	TEST (CompilerDataflowConstant, UnaryMinusLLONG_MINDoesNotFold)
	TEST (CompilerDataflowConstant, UnaryMinusNormalIntegerFolds)
	TEST (CompilerDataflowConstant, BinaryDivLLONG_MINByMinusOneDoesNotFold)
	TEST (CompilerDataflowConstant, BinaryModLLONG_MINByMinusOneDoesNotFold)
	TEST (CompilerDataflowConstant, BinaryAddOverflowDoesNotFold)
	TEST (CompilerDataflowConstant, BinaryMulLLONG_MINByOneFoldsToLLONG_MIN)
	TEST (CompilerDataflowConstant, BinaryMulOverflowDoesNotFold)
	TEST (CompilerDataflow, BranchFoldPreservesLiveOutForTakenArm)
	TEST (CompilerDataflow, BranchFoldFalseTakesElseArm)
	TEST (CompilerDataflow, ReportsUninitializedLocalLoads)
	TEST (CompilerDataflow, ComputesReachabilityLivenessAndConstants)
	TEST (CompilerDataflow, RebuildsPredecessorsForForwardMeets)
	TEST (CompilerDataflow, EliminatesDeadStoresAndConstantBranches)
	TEST (CompilerDataflow, PreservesExitBlockWhenCompactingInfiniteLoop)

Detailed Description

Tests for Compiler_Dataflow.H.

Definition in file compiler_dataflow_test.cc.

Function Documentation

TEST() [1/18]

TEST	(	CompilerDataflow	,
		BranchFoldFalseTakesElseArm
	)

Definition at line 749 of file compiler_dataflow_test.cc.

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

TEST() [2/18]

TEST	(	CompilerDataflow	,
		BranchFoldPreservesLiveOutForTakenArm
	)

Definition at line 710 of file compiler_dataflow_test.cc.

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

TEST() [3/18]

TEST	(	CompilerDataflow	,
		ComputesReachabilityLivenessAndConstants
	)

Definition at line 785 of file compiler_dataflow_test.cc.

References Aleph::analyze_dataflow_function(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_IR_Function::local_slots, Aleph::validate_dataflow_analysis(), and Aleph::validate_ir_function().

TEST() [4/18]

TEST	(	CompilerDataflow	,
		EliminatesDeadStoresAndConstantBranches
	)

Definition at line 826 of file compiler_dataflow_test.cc.

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

TEST() [5/18]

TEST	(	CompilerDataflow	,
		PreservesExitBlockWhenCompactingInfiniteLoop
	)

Definition at line 848 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_ir_invalid_id(), Aleph::eliminate_dead_code(), Aleph::validate_dead_code_elimination(), and Aleph::validate_ir_function().

TEST() [6/18]

TEST	(	CompilerDataflow	,
		RebuildsPredecessorsForForwardMeets
	)

Definition at line 814 of file compiler_dataflow_test.cc.

References Aleph::analyze_dataflow_function(), Aleph::Compiler_IR_Function::blocks, Aleph::blossom_maximum_cardinality_matching(), and Aleph::validate_dataflow_analysis().

TEST() [7/18]

TEST	(	CompilerDataflow	,
		ReportsUninitializedLocalLoads
	)

Definition at line 766 of file compiler_dataflow_test.cc.

References Aleph::analyze_dataflow_function(), Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_dataflow_analysis(), Aleph::validate_dataflow_analysis(), and Aleph::validate_ir_function().

TEST() [8/18]

TEST	(	CompilerDataflowConstant	,
		BinaryAddOverflowDoesNotFold
	)

Definition at line 678 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [9/18]

TEST	(	CompilerDataflowConstant	,
		BinaryDivLLONG_MINByMinusOneDoesNotFold
	)

Definition at line 666 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [10/18]

TEST	(	CompilerDataflowConstant	,
		BinaryModLLONG_MINByMinusOneDoesNotFold
	)

Definition at line 672 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [11/18]

TEST	(	CompilerDataflowConstant	,
		BinaryMulLLONG_MINByOneFoldsToLLONG_MIN
	)

Definition at line 684 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [12/18]

TEST	(	CompilerDataflowConstant	,
		BinaryMulOverflowDoesNotFold
	)

Definition at line 691 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and r.

TEST() [13/18]

TEST	(	CompilerDataflowConstant	,
		ParsesLLONG_MAX
	)

Definition at line 619 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and value.

TEST() [14/18]

TEST	(	CompilerDataflowConstant	,
		ParsesLLONG_MINString
	)

Definition at line 626 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and value.

TEST() [15/18]

TEST	(	CompilerDataflowConstant	,
		RejectsEmptyString
	)

Definition at line 639 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and value.

TEST() [16/18]

TEST	(	CompilerDataflowConstant	,
		RejectsOverflowAboveLLONG_MAX
	)

Definition at line 633 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), and value.

TEST() [17/18]

TEST	(	CompilerDataflowConstant	,
		UnaryMinusLLONG_MINDoesNotFold
	)

Definition at line 649 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().

TEST() [18/18]

TEST	(	CompilerDataflowConstant	,
		UnaryMinusNormalIntegerFolds
	)

Definition at line 655 of file compiler_dataflow_test.cc.

References Aleph::blossom_maximum_cardinality_matching().