[PATCH] Speedup IMA by speeding up comp_types

[Andrew Pinski <pinskia at physics dot uc dot edu>]

This is just a repost (and updated) patch from:
<http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01479.html>

OK? Bootstrapped and tested with all languages (including Ada and 
treelang)
on powerpc-darwin with no regressions.

Thanks,
Andrew Pinski

ChangeLog:

	PR c/18851
	* c-typeck.c (tagged_tu_seen): Add val field.
	(comptypes): Move functional to comptypes_internal
	and free tagged_tu_seen.
	(comptypes_internal): New function and call comptypes_internal
	instead of comptypes. Speed up by sibcalling
	tagged_types_tu_compatible_p.
	(alloc_tagged_tu_seen): New function
	(free_all_tagged_tu_seen_up_to): New function.
	(tagged_types_tu_compatible_p): Return the val of the seen two
	types.
	Add that the two types are the same to tagged_tu_seen_base
	if they are and call comptypes_internal instead of comptypes.
	<case UNION_TYPE>: Speed up common type where the fields are
	in the same order.
	(function_types_compatible_p): Call comptypes_internal instead of
	comptypes.
	(type_lists_compatible_p): Likewise.

Attachment: speedupIMA.diff.txt
Description: Text document