MlirToJlmConverterTests.cpp File Reference

#include <gtest/gtest.h>
#include <jlm/llvm/ir/operators/IntegerOperations.hpp>
#include <jlm/llvm/ir/operators/lambda.hpp>
#include <jlm/llvm/ir/operators/operators.hpp>
#include <jlm/llvm/ir/RvsdgModule.hpp>
#include <jlm/mlir/frontend/MlirToJlmConverter.hpp>
#include <jlm/rvsdg/traverser.hpp>
#include <jlm/rvsdg/view.hpp>

Include dependency graph for MlirToJlmConverterTests.cpp:

Go to the source code of this file.

Functions
	TEST (MlirToJlmConverterTests, TestLambda)
	TEST (MlirToJlmConverterTests, TestDivOperation)
	TestDivOperation. More...
	TEST (MlirToJlmConverterTests, TestCompZeroExt)
	TestCompZeroExt. More...
	TEST (MlirToJlmConverterTests, TestMatchOp)
	TestMatchOp. More...
	TEST (MlirToJlmConverterTests, TestGammaOp)
	TestMatchOp. More...
	TEST (MlirToJlmConverterTests, TestThetaOp)
	TestThetaOp. More...

Function Documentation

TEST() [1/6]

TEST	(	MlirToJlmConverterTests	,
		TestCompZeroExt
	)

TestCompZeroExt.

This test is similar to TestLambda, but it adds an add operation, a comparison operation and a zero extension operation to the lambda block and do a graph traversal check. This function is similar to the TestComZeroExt function in the backend tests.

The divide op has to be connected to a lambda block argument and not only to constants because the rvsdg Builder_ has a constant propagation pass

Definition at line 309 of file MlirToJlmConverterTests.cpp.

TEST() [2/6]

TEST	(	MlirToJlmConverterTests	,
		TestDivOperation
	)

TestDivOperation.

This test is similar to TestLambda, but it adds a division operation to the lambda block and do a graph traversal. This function is similar to the TestAddOperation function in the backend tests.

The divide op has to be connected to a lambda block argument and not only to constants because the rvsdg Builder_ has a constant propagation pass

Definition at line 131 of file MlirToJlmConverterTests.cpp.

TEST() [3/6]

TEST	(	MlirToJlmConverterTests	,
		TestGammaOp
	)

TestMatchOp.

This function tests the Gamma operation. It creates a lambda block with a Gamma operation.

Definition at line 676 of file MlirToJlmConverterTests.cpp.

TEST() [4/6]

TEST	(	MlirToJlmConverterTests	,
		TestLambda
	)

Definition at line 18 of file MlirToJlmConverterTests.cpp.

TEST() [5/6]

TEST	(	MlirToJlmConverterTests	,
		TestMatchOp
	)

TestMatchOp.

This function tests the Match operation. It creates a lambda block with a Match operation.

The default alternative has an empty mapping

Definition at line 519 of file MlirToJlmConverterTests.cpp.

TEST() [6/6]

TEST	(	MlirToJlmConverterTests	,
		TestThetaOp
	)

TestThetaOp.

This function tests the Theta operation. It creates a lambda block with a Theta operation.

Definition at line 833 of file MlirToJlmConverterTests.cpp.