Re: setjmp () detection in RTL

2013-02-14 Thread Kirill Yukhin
> Isn't the REG_SETJMP note sufficient for this purpose? Yeah, missed that. Sorry for flood. Thanks a lot!

Re: setjmp () detection in RTL

2013-02-14 Thread Eric Botcazou
> Could anybody pls advise, if I can detect that given RTL `call` is > actually a setjmp ()? > > I see no references in dump... > (call_insn 6 5 7 (set (reg:SI 0 ax) > (call (mem:QI (symbol_ref:DI ("_setjmp") [flags 0x41] > ) [0 _setjmp S1 A8]) > (const_int 0 [0]))) 4.c:17 -1 >

Re: setjmp () detection in RTL

2013-02-14 Thread Richard Biener
On Thu, Feb 14, 2013 at 9:35 AM, Kirill Yukhin wrote: > Hi, > Could anybody pls advise, if I can detect that given RTL `call` is > actually a setjmp ()? Get at the function-decl and use special_function_p (decl, 0) & ECF_RETURNS_TWICE (that will conservatively detect all possible setjmp calls but

setjmp () detection in RTL

2013-02-14 Thread Kirill Yukhin
Hi, Could anybody pls advise, if I can detect that given RTL `call` is actually a setjmp ()? I see no references in dump... (call_insn 6 5 7 (set (reg:SI 0 ax) (call (mem:QI (symbol_ref:DI ("_setjmp") [flags 0x41] ) [0 _setjmp S1 A8]) (const_int 0 [0]))) 4.c:17 -1 (expr_li