search for: botcazou

Displaying 7 results from an estimated 7 matches for "botcazou".

2011 Jun 14
3
[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?
Hi Chris, I've CC'd Eric Botcazou in the hope that he will clear up just what the Ada front-end needs from the rest of the compiler as far as asynchronous exceptions are concerned. >> gcc Ada turns signals into exceptions. As far as I know it does this >> completely asynchronously, and the fact that LLVM doesn't s...
2009 Dec 17
2
[LLVMdev] updated code size comparison
Hi Paolo, > I would also avoid testcases using volatile. Smaller code on these testcases > is often a sign of miscompilation rather than optimization. For example, > http://embed.cs.utah.edu/embarrassing/src_harvested_dec_09/076389.c is > miscompiled on GCC 3.4 and SunCC 5.10. Yeah, there are definitely several examples where small code is generated by miscompilation, especially
2009 Dec 17
0
[LLVMdev] updated code size comparison
...es in, unless there is a > strong feeling that they are too distracting. They serve as poignant > little reminders about how easy it is to get volatile wrong... They skew the results in favor of the less careful compilers so they are more than simply distracting, they are unfair. -- Eric Botcazou
2009 Dec 17
1
[LLVMdev] updated code size comparison
On Thu, Dec 17, 2009 at 19:54, Eric Botcazou <ebotcazou at adacore.com> wrote: >> However I would prefer to leave these testcases in, unless there is a >> strong feeling that they are too distracting.  They serve as poignant >> little reminders about how easy it is to get volatile wrong... > > They skew the resul...
2011 Jun 14
0
[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?
On Jun 14, 2011, at 10:27 AM, Duncan Sands wrote: > Hi Chris, I've CC'd Eric Botcazou in the hope that he will clear up just what > the Ada front-end needs from the rest of the compiler as far as asynchronous > exceptions are concerned. > >>> gcc Ada turns signals into exceptions. As far as I know it does this >>> completely asynchronously, and the fact...
2011 Jun 14
0
[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?
On Jun 14, 2011, at 2:11 AM, Duncan Sands wrote: > gcc Ada turns signals into exceptions. As far as I know it does this > completely asynchronously, and the fact that LLVM doesn't support this > is rather bad as far as Ada is concerned. That said, the Ada front-end You're saying that it turns asynch signals like SIGHUP (which can occur on any machine instruction) into signals?
2011 Jun 14
2
[LLVMdev] Is LLVM expressive enough to represent asynchronous exceptions?
Hi John, On 13/06/11 23:27, John McCall wrote: > On Jun 13, 2011, at 2:12 PM, Andrew Trick wrote: >> Although I believe asynchronous signals are also best handled by the runtime. They can be converted into cooperative exceptions. I have to say I can't see the value in resuming from an interrupt at literally any instruction address. > > For what it's worth, SEH (which