[LLVMdev] RFC: Exception Handling Proposal II

[Rafael Espíndola]

>  dispatch region(927) resume to label %Resume [
>      %struct.__fundamental_type_info_pseudo* @_ZTIi, label %bb1.lpad
>      %struct.__pointer_type_info_pseudo* @_ZTIPKc, label %bb2.lpad
>    ]

How do you handle two language types that map to the same LLVM type?

Some languages need fancier catches. For example, being able to catch
any object of class foo or a class that derives from foo. This is to
be implemented by having a landing pad for foo that does the necessary
checks and jumps to the actual (language level) handler?

If I understand this correctly and there is indeed the need for some
language specific logic at the IL, wouldn't it be simpler to have a
simple catch label at the LLVM level?

Cheers,
Rafael