// Copyright (c) 2004-2009 Nokia Corporation and/or its subsidiary(-ies).
// All rights reserved.
// This component and the accompanying materials are made available
// under the terms of the License "ARM EABI LICENCE.txt"
// which accompanies this distribution, and is available
// in kernel/eka/compsupp.
//
// Initial Contributors:
// Nokia Corporation - initial contribution.
//
// Contributors:
//
// Description:
// e32/compsupp/symaehabi/symbian_rtti.cpp
// 
//

#include "cxxabi.h"
#include "unwind_env.h"
#include "unwinder.h"
#include "symbian_support.h"

// For information about these classes, se
// www.codesourcery.com/public/cxx-abi/abi.html#rtti. 
using abi::__class_type_info;
using abi::__si_class_type_info;
using abi::__vmi_class_type_info;
using abi::__base_class_type_info;


// Given base class info (aBaseInfo) and a derived object pointer (aDerivedObj),
// this function implements "cast to base" and stores result in aBaseObj. This
// essentially sets aBaseObj to point to a memory location that represents
// aDerivedObj as the given base class. This function requires that aBaseInfo
// describes a base class of the aDerivedObj's class.
static void _CastUp(const __base_class_type_info& aBaseInfo, TAny** aDerivedObj, TAny** aBaseObj)
	{
	// Guard against a null pointer for aDerivedObj
	if ( ! (*aDerivedObj) ) 
		{
		*aBaseObj = NULL;
		return;
		}

	TInt offset = aBaseInfo.__offset_flags >> aBaseInfo.__offset_shift;

	if (aBaseInfo.__offset_flags & aBaseInfo.__virtual_mask)
		{
		// For virtual bases, look up offset in vtable + offset.

		// Get vtbl pointer as the first 4 bytes of **aDerivedObj
		TUint32* vptr = (TUint32*) ( *( (TUint32*) (*aDerivedObj) ) );

		offset = *( vptr + offset / sizeof(TUint32) );
		}

	// Apply the offset.
	*aBaseObj = (TAny*) ( ( (TUint8*) *aDerivedObj ) + offset );
	}


// For a description of this function, see comments in unwind_env.h.
extern "C" TBool _DoDerivedToBaseConversion(const std::type_info* aDerivedType,
		                                    const std::type_info* aBaseType,
		                                    TAny**                aDerivedObj,
		                                    TAny**                aBaseObj)
	{

	const std::type_info& type_base_type = typeid(*aBaseType);
	const std::type_info& type_derived_type = typeid(*aDerivedType);

	// We must proceed depending on the type of the type_info objects for derived
	// class.  
	if ( type_derived_type == typeid(__si_class_type_info) )
		{
		// The __si_class_type_info means that the derived type has a single,
		// public, non-virtual base, and that the base is at offset zero. We should
		// be able to simply compare the base type from __si_class_type_info with
		// aBaseType

		const __si_class_type_info* derived = (const __si_class_type_info*) aDerivedType;

		if ( *(derived->__base_type) == *aBaseType ) 
			{
			// The types match, work done.
			*aBaseObj = *aDerivedObj;
			return true;
			} 
		else 
			{
			// The types don't match. We should proceed to comparison with the any
			// classes. In this case there is a single base as follows:
			const __class_type_info* bType = derived->__base_type;

			// No pointer adjustment required for __si_class_type_info. 
			return _DoDerivedToBaseConversion(bType, aBaseType, aDerivedObj, aBaseObj);
			}
		}
	else if ( type_derived_type == typeid(__vmi_class_type_info) ) 
		{
		// The __vmi_class_type_info is for all other scenarios. We get an array of
		// bases which we need to traverse and do comparison on.

		const __vmi_class_type_info* derived = (const __vmi_class_type_info*)aDerivedType;

		const unsigned count = derived->__base_count;

		for ( unsigned i = 0; i < count; i++ ) 
			{
			// Get the base info for this base class
			const __base_class_type_info bInfo = derived->__base_info[i];

			if ( ! ( bInfo.__offset_flags & bInfo.__public_mask) )
				{
				// The base is non-public base, so the remainder of the hierarchy
				// above this base is of no interest
				continue;
				} 

			// Get the class type info for this base
			const __class_type_info* bType = bInfo.__base_type;

			// First check if the type from the list corresponds to requested base
			// type.  
			if ( (*bType) == (*aBaseType) ) 
				{
				// Match! Convert the pointer to point to the base.
				_CastUp(bInfo, aDerivedObj, aBaseObj);
				return true;
				}

			// No match, we must now recursively delve into superclasses of bType.
			// To do that, we need to advance the derived class pointer to point to
			// the current base class as in bInfo.
			TAny* newDerivedPtr;
			_CastUp(bInfo, aDerivedObj, &newDerivedPtr);

			// Now go recursive, substituting aDerivedObj with adjusted pointer and bType instead of aDerivedType 
			TBool result = _DoDerivedToBaseConversion(bType, aBaseType, (TAny**)(&newDerivedPtr), aBaseObj);

			// Return only if the match is found, otherwise continue with the loop
			if ( result ) 
				{
				// Match came back from recursion, pass up.
				return true;
				}

			// No match from recursion, advance to next base.
			}
		}
	else
		{
		// assert(0);
		}

	// No match was found for aBaseType in the aDerivedType's ancestry.
	return false;
	}