#include <DILEval.h>

Inheritance diagram for lldb_private::dil::Interpreter:

Public Member Functions
	Interpreter (lldb::TargetSP target, llvm::StringRef expr, std::shared_ptr< StackFrame > frame_sp, lldb::DynamicValueType use_dynamic, uint32_t options)
llvm::Expected< lldb::ValueObjectSP >	Evaluate (const ASTNode &node)
	Evaluate an ASTNode.

Private Member Functions
llvm::Expected< lldb::ValueObjectSP >	EvaluateAndDereference (const ASTNode &node)
	Evaluate an ASTNode.
llvm::Expected< lldb::ValueObjectSP >	Visit (const IdentifierNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const MemberOfNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const UnaryOpNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const BinaryOpNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const ArraySubscriptNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const BitFieldExtractionNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const IntegerLiteralNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const FloatLiteralNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const BooleanLiteralNode &node) override
llvm::Expected< lldb::ValueObjectSP >	Visit (const CastNode &node) override
llvm::Expected< lldb::ValueObjectSP >	UnaryConversion (lldb::ValueObjectSP valobj, uint32_t location)
	Perform usual unary conversions on a value.
llvm::Expected< CompilerType >	PromoteSignedInteger (CompilerType &lhs_type, CompilerType &rhs_type)
	If lhs_type is unsigned and rhs_type is signed, check whether it can represent all of the values of lhs_type.
llvm::Expected< CompilerType >	ArithmeticConversion (lldb::ValueObjectSP &lhs, lldb::ValueObjectSP &rhs, uint32_t location)
	Perform an arithmetic conversion on two values from an arithmetic operation.
llvm::Expected< lldb::ValueObjectSP >	PointerOffset (lldb::ValueObjectSP ptr, lldb::ValueObjectSP offset, BinaryOpKind operation, uint32_t location)
	Add or subtract the offset to the pointer according to the pointee type byte size.
llvm::Expected< lldb::ValueObjectSP >	EvaluateScalarOp (BinaryOpKind kind, lldb::ValueObjectSP lhs, lldb::ValueObjectSP rhs, CompilerType result_type, uint32_t location)
llvm::Expected< lldb::ValueObjectSP >	EvaluateBinaryAddition (lldb::ValueObjectSP lhs, lldb::ValueObjectSP rhs, uint32_t location)
llvm::Expected< lldb::ValueObjectSP >	EvaluateBinarySubtraction (lldb::ValueObjectSP lhs, lldb::ValueObjectSP rhs, uint32_t location)
llvm::Expected< CompilerType >	PickIntegerType (lldb::TypeSystemSP type_system, std::shared_ptr< ExecutionContextScope > ctx, const IntegerLiteralNode &literal)
llvm::Expected< CastKind >	VerifyArithmeticCast (CompilerType source_type, CompilerType target_type, int location)
	A helper function for VerifyCastType (below).
llvm::Expected< CastKind >	VerifyCastType (lldb::ValueObjectSP operand, CompilerType source_type, CompilerType target_type, int location)
	As a preparation for type casting, compare the requested 'target' type of the cast with the type of the operand to be cast.
Private Member Functions inherited from lldb_private::dil::Visitor
virtual	~Visitor ()=default

Private Attributes
lldb::TargetSP	m_target
llvm::StringRef	m_expr
lldb::ValueObjectSP	m_scope
std::shared_ptr< StackFrame >	m_exe_ctx_scope
lldb::DynamicValueType	m_use_dynamic
bool	m_use_synthetic
bool	m_fragile_ivar
bool	m_check_ptr_vs_member
bool	m_allow_var_updates

Detailed Description

Definition at line 39 of file DILEval.h.

Constructor & Destructor Documentation

◆ Interpreter()

lldb_private::dil::Interpreter::Interpreter	(	lldb::TargetSP	target,
		llvm::StringRef	expr,
		std::shared_ptr< StackFrame >	frame_sp,
		lldb::DynamicValueType	use_dynamic,
		uint32_t	options )

Definition at line 389 of file DILEval.cpp.

References lldb_private::StackFrame::eExpressionPathOptionCheckPtrVsMember, lldb_private::StackFrame::eExpressionPathOptionsAllowVarUpdates, lldb_private::StackFrame::eExpressionPathOptionsNoFragileObjcIvar, lldb_private::StackFrame::eExpressionPathOptionsNoSyntheticChildren, m_allow_var_updates, m_check_ptr_vs_member, m_exe_ctx_scope, m_expr, m_fragile_ivar, m_target, m_use_dynamic, and m_use_synthetic.

Member Function Documentation

◆ ArithmeticConversion()

llvm::Expected< CompilerType > lldb_private::dil::Interpreter::ArithmeticConversion	(	lldb::ValueObjectSP &	lhs,
		lldb::ValueObjectSP &	rhs,
		uint32_t	location )

private

Perform an arithmetic conversion on two values from an arithmetic operation.

Returns: The result type of an arithmetic operation.

Definition at line 219 of file DILEval.cpp.

References lldb_private::CompilerType::CompareTypes(), lldb_private::dil::ConversionRank(), lldb_private::CompilerType::IsInteger(), lldb_private::CompilerType::IsScalarType(), lldb_private::CompilerType::IsSigned(), m_expr, PromoteSignedInteger(), and UnaryConversion().

Referenced by EvaluateBinaryAddition(), and EvaluateBinarySubtraction().

◆ Evaluate()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::Evaluate ( const ASTNode & node )

Evaluate an ASTNode.

Returns: A non-null lldb::ValueObjectSP or an Error.

Definition at line 410 of file DILEval.cpp.

References lldb_private::dil::ASTNode::Accept(), lldb_private::dil::ASTNode::GetLocation(), and m_expr.

Referenced by lldb_private::StackFrame::DILGetValueForVariableExpressionPath(), EvaluateAndDereference(), Visit(), Visit(), Visit(), and Visit().

◆ EvaluateAndDereference()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::EvaluateAndDereference ( const ASTNode & node )

private

Evaluate an ASTNode.

If the result is a reference, it is also dereferenced using ValueObject::Dereference.

Returns: A non-null lldb::ValueObjectSP or an Error.

Definition at line 423 of file DILEval.cpp.

References error(), and Evaluate().

Referenced by Visit(), Visit(), and Visit().

◆ EvaluateBinaryAddition()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::EvaluateBinaryAddition	(	lldb::ValueObjectSP	lhs,
		lldb::ValueObjectSP	rhs,
		uint32_t	location )

private

Definition at line 617 of file DILEval.cpp.

References lldb_private::dil::Add, ArithmeticConversion(), EvaluateScalarOp(), lldb_private::CompilerType::IsScalarType(), m_expr, and PointerOffset().

Referenced by Visit().

◆ EvaluateBinarySubtraction()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::EvaluateBinarySubtraction	(	lldb::ValueObjectSP	lhs,
		lldb::ValueObjectSP	rhs,
		uint32_t	location )

private

Definition at line 655 of file DILEval.cpp.

References ArithmeticConversion(), lldb_private::CompilerType::CompareTypes(), lldb_private::ValueObject::CreateValueObjectFromScalar(), EvaluateScalarOp(), lldb_private::CompilerType::GetByteSize(), lldb_private::CompilerType::GetCanonicalType(), lldb_private::CompilerType::GetPointeeType(), lldb_private::dil::GetTypeSystemFromCU(), lldb_private::CompilerType::IsScalarType(), m_exe_ctx_scope, m_expr, PointerOffset(), and lldb_private::dil::Sub.

Referenced by Visit().

◆ EvaluateScalarOp()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::EvaluateScalarOp	(	BinaryOpKind	kind,
		lldb::ValueObjectSP	lhs,
		lldb::ValueObjectSP	rhs,
		CompilerType	result_type,
		uint32_t	location )

private

Definition at line 591 of file DILEval.cpp.

References lldb_private::dil::Add, lldb_private::ValueObject::CreateValueObjectFromScalar(), l, m_exe_ctx_scope, m_expr, and lldb_private::dil::Sub.

Referenced by EvaluateBinaryAddition(), and EvaluateBinarySubtraction().

◆ PickIntegerType()

llvm::Expected< CompilerType > lldb_private::dil::Interpreter::PickIntegerType	(	lldb::TypeSystemSP	type_system,
		std::shared_ptr< ExecutionContextScope >	ctx,
		const IntegerLiteralNode &	literal )

private

Definition at line 1075 of file DILEval.cpp.

References lldb::eBasicTypeInt, lldb::eBasicTypeInvalid, lldb::eBasicTypeLong, lldb::eBasicTypeLongLong, lldb::eBasicTypeUnsignedInt, lldb::eBasicTypeUnsignedLong, lldb::eBasicTypeUnsignedLongLong, lldb_private::CompilerType::GetBitSize(), lldb_private::dil::ASTNode::GetLocation(), lldb_private::dil::IntegerLiteralNode::GetRadix(), lldb_private::dil::IntegerLiteralNode::GetTypeSuffix(), lldb_private::dil::IntegerLiteralNode::GetValue(), lldb_private::dil::IntegerLiteralNode::IsUnsigned(), lldb_private::dil::Long, m_expr, and lldb_private::dil::None.

Referenced by Visit().

◆ PointerOffset()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::PointerOffset	(	lldb::ValueObjectSP	ptr,
		lldb::ValueObjectSP	offset,
		BinaryOpKind	operation,
		uint32_t	location )

private

Add or subtract the offset to the pointer according to the pointee type byte size.

Returns: A new ValueObject with a new pointer value.

Definition at line 554 of file DILEval.cpp.

References lldb_private::dil::Add, lldb_private::ValueObject::CreateValueObjectFromScalar(), m_exe_ctx_scope, m_expr, m_target, and lldb_private::dil::Sub.

Referenced by EvaluateBinaryAddition(), and EvaluateBinarySubtraction().

◆ PromoteSignedInteger()

llvm::Expected< CompilerType > lldb_private::dil::Interpreter::PromoteSignedInteger	(	CompilerType &	lhs_type,
		CompilerType &	rhs_type )

private

If lhs_type is unsigned and rhs_type is signed, check whether it can represent all of the values of lhs_type.

If not, then promote rhs_type to the unsigned version of its type. This expects that Rank(lhs_type) < Rank(rhs_type).

Returns: Unchanged rhs_type or promoted unsigned version.

Definition at line 190 of file DILEval.cpp.

References lldb_private::dil::BasicTypeToUnsigned(), lldb_private::dil::GetBasicType(), lldb_private::CompilerType::GetBasicTypeEnumeration(), lldb_private::CompilerType::GetBitSize(), lldb_private::CompilerType::GetCanonicalType(), lldb_private::dil::GetTypeSystemFromCU(), lldb_private::CompilerType::IsInteger(), lldb_private::CompilerType::IsSigned(), and m_exe_ctx_scope.

Referenced by ArithmeticConversion().

◆ UnaryConversion()

llvm::Expected< lldb::ValueObjectSP > lldb_private::dil::Interpreter::UnaryConversion	(	lldb::ValueObjectSP	valobj,
		uint32_t	location )

private

Perform usual unary conversions on a value.

At the moment this includes array-to-pointer and integral promotion for eligible types.

Definition at line 68 of file DILEval.cpp.

References lldb_private::dil::ArrayToPointerConversion(), lldb_private::ValueObject::CreateValueObjectFromScalar(), lldb::eBasicTypeInt, lldb::eBasicTypeUnsignedInt, lldb_private::dil::GetBasicType(), lldb_private::CompilerType::GetBitSize(), lldb_private::dil::GetTypeSystemFromCU(), lldb_private::CompilerType::IsArrayType(), lldb_private::CompilerType::IsInteger(), lldb_private::CompilerType::IsSigned(), m_exe_ctx_scope, and m_expr.

Referenced by ArithmeticConversion(), and Visit().

◆ VerifyArithmeticCast()

llvm::Expected< CastKind > lldb_private::dil::Interpreter::VerifyArithmeticCast	(	CompilerType	source_type,
		CompilerType	target_type,
		int	location )

private

A helper function for VerifyCastType (below).

This performs arithmetic-specific checks. It should only be called if the target_type is a scalar type.

Definition at line 1171 of file DILEval.cpp.

References lldb_private::dil::eArithmetic, lldb_private::CompilerType::GetByteSize(), lldb_private::CompilerType::GetTypeInfo(), lldb_private::CompilerType::IsBoolean(), lldb_private::CompilerType::IsEnumerationType(), lldb_private::CompilerType::IsNullPtrType(), lldb_private::CompilerType::IsPointerType(), lldb_private::CompilerType::IsScalarType(), m_exe_ctx_scope, m_expr, and lldb_private::CompilerType::TypeDescription().

Referenced by VerifyCastType().

◆ VerifyCastType()

llvm::Expected< CastKind > lldb_private::dil::Interpreter::VerifyCastType	(	lldb::ValueObjectSP	operand,
		CompilerType	source_type,
		CompilerType	target_type,
		int	location )