#include <TestRvsdgs.hpp>

Inheritance diagram for jlm::mlir::IntegerConversionTest:

Collaboration diagram for jlm::mlir::IntegerConversionTest:

[legend]

Public Attributes
jlm::rvsdg::LambdaNode *	lambda

jlm::rvsdg::SimpleNode *	sext

jlm::rvsdg::SimpleNode *	trunc

Private Member Functions
std::unique_ptr< jlm::llvm::LlvmRvsdgModule >	SetupRvsdg () override
	Create RVSDG for this test.

Additional Inherited Members
Public Member Functions inherited from jlm::llvm::RvsdgTest
virtual	~RvsdgTest ()=default

jlm::llvm::LlvmRvsdgModule &	module ()

const rvsdg::Graph &	graph ()

void	InitializeTest ()

Detailed Description

IntegerConversionTest class.

This class sets up an RVSDG representing the following function:

int32_t f(int32_t p)
{
  return (int32_t)(int64_t)p;
}

The sign extension widens the 32-bit argument to 64 bits, which is what makes it a real conversion instead of a no-op, and the truncation narrows it back. Both operations are chained so that the conversion is reachable from the lambda result.

Definition at line 165 of file TestRvsdgs.hpp.

Member Function Documentation

◆ SetupRvsdg()

std::unique_ptr< jlm::llvm::LlvmRvsdgModule > jlm::mlir::IntegerConversionTest::SetupRvsdg ( )

overrideprivatevirtual

Create RVSDG for this test.

Implements jlm::llvm::RvsdgTest.

Definition at line 211 of file TestRvsdgs.cpp.

Member Data Documentation

◆ lambda

jlm::rvsdg::LambdaNode* jlm::mlir::IntegerConversionTest::lambda

Definition at line 172 of file TestRvsdgs.hpp.

◆ sext

jlm::rvsdg::SimpleNode* jlm::mlir::IntegerConversionTest::sext

Definition at line 174 of file TestRvsdgs.hpp.

◆ trunc

jlm::rvsdg::SimpleNode* jlm::mlir::IntegerConversionTest::trunc

Definition at line 176 of file TestRvsdgs.hpp.

The documentation for this class was generated from the following files:

jlm/mlir/TestRvsdgs.hpp
jlm/mlir/TestRvsdgs.cpp

Public Attributes

Private Member Functions