[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?

[Bill Wendling]

On Jun 13, 2011, at 12:29 AM, John McCall wrote:

> 
> On Jun 12, 2011, at 11:24 PM, Bill Wendling wrote:
> 
>> On Jun 12, 2011, at 4:40 PM, John McCall wrote:
>> 
>>> On Jun 12, 2011, at 2:14 PM, Cameron Zwarich wrote:
>>> 
>>>> On Jun 12, 2011, at 1:25 AM, Duncan Sands wrote:
>>>> 
>>>>> Hi Sohail,
>>>>> 
>>>>>> Is LLVM expressive enough to represent asynchronous exceptions?
>>>>> 
>>>>> not currently.  The first step in this direction is to get rid of the invoke
>>>>> instruction and attach exception handling information to basic blocks.  See
>>>>> http://nondot.org/sabre/LLVMNotes/ExceptionHandlingChanges.txt
>>>>> for a discussion.
>>>> 
>>>> Is this really a good idea? Why have a control flow graph if it doesn't actually capture control flow? There are lots of compilers for languages with more pervasive exceptions that represent them explicitly, e.g. the Hotspot server compiler for Java or several ML compilers (where integer overflow throws an exception).
>>> 
>>> You and Bill seem to be responding to a different question, namely "Is LLVM expressive enough to represent synchronous exceptions from non-call instructions?"  This really has nothing to do with Sohail's question.  Duncan is quite correct:  the only reasonable representation for asynchronous exceptions is to attach EH information to basic blocks.
>>> 
>> Placing the EH information on the basic block has the same implications for the CFG for both questions.
> 
> Let me make an analogy.  We live in Germany.  Sohail wants to drive to Spain.  Duncan told him to go through France.  You and Cameron are saying that the traffic in France is awful, and some friends who went to Italy didn't go through France.  I am trying to point out that Italy is not Spain, even though they are both on the Mediterranean, and that you have to drive through France to get to Spain.
> 
I realize that Italy isn't Spain, though I do want to see the Sistine Chapel before I die (but since that would involve getting on a plane, it poses a bit of a problem). Like Cameron, I'm referring to Chris's original proposal.

-bw