[cfe-dev] OpenCL vec_step feature implementation - Updated

[Sebastian Redl]

On 16.02.2011, at 15:36, Anton Lokhmotov wrote:

> 
> 
>> I took care of the rest of your comments, and changed the
>> SizeOfAlignOfExpr name to UnaryTypePropertyExpr.
> Aside: While I'm not aware of any binary type property expressions, I guess
> there could be an operator, say, is_compatible(type1, type2) returning true
> if type1 is in some sense "compatible" with type2 and false otherwise.  For
> example, if "compatible" would mean "type1 can be implicitly converted to
> type2", for OpenCL is_compatible(int4, int4) would return true and
> is_compatible(int4, uint4) would return false.  Currently this is only of
> theoretical interest of course :).

It's called __is_convertible and is handle by BinaryTypeTraitExpr.

Sebastian