search for: 103670

...they're killed by the OS (using a mechanism that is not visible in C) are effectively undefined? -- Sanjoy > Some years ago there was a lot of discussion about this on the ML. Se > Nick's patch, for example: > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > The patch was eventually dropped, I don't recall why. I think it's fine to > assume that readnone functions always terminate. It would probably fine for > readonly functions as well. > > Nuno > > > -----Original Message----- > From: Sanjoy Das > Sent:...

Running -early-cse on declare void @rn() readnone nounwind define void @f() { entry: call void @rn() ret void } removes the call to @rn(). But @rn() could have had an infinite loop in it in which case @f() went from being a non-terminating program to an terminating no-op. Is this intentional? The only way I can see this transform being legal is if infinite loops are declared to have

...ot;AlwaysReturn" that would indicate that a function > does not contain any infinite loops, so that the LoopDeletion pass and > others could treat it accordingly. What do you think? I called it "halting": http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html but it turns out that making it efficient at compile time and make the optimizers make use of it is very tricky. In short, we want to be able to automatically deduce that a function is halting (as well as permitting labelling by the frontend which is easy) and that deduction requires a Fu...

...eric sense without harming our ability to serve as a compiler for other languages. In 2010, Nick proposed to add a 'halting' attribute that could be added to functions to indicate that they would not execute indefinitely (http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html). At the time that the patch was proposed, there were infrastructure problems with inferring the attribute for functions with loops (related to using function-level analysis passes from a CGSCC pass), but hopefully those will be fixed with the new pass manager. Regardless, however, such infere...

...d SCEV to determine an upper bound) and applying function attributes is an SCC operation (indeed, an SCC is itself a loop), so it's all blocked behind fixing the PassManager to allow CGSGGPasses to depend on FunctionPasses. http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html I'm now in a similar situation where I want 'nounwind' to mean "only exits by terminating the program or a return instruction" but unfortunately functions which longjmp are considered nounwind. I would like to change llvm to make longjmp'ing a form of unwinding (a...

...and SCEV to determine an upper bound) and applying function attributes is an SCC operation (indeed, an SCC is itself a loop), so it's all blocked behind fixing the PassManager to allow CGSGGPasses to depend on FunctionPasses. http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html I'm now in a similar situation where I want 'nounwind' to mean "only exits by terminating the program or a return instruction" but unfortunately functions which longjmp are considered nounwind. I would like to change llvm to make longjmp'ing a form of unwinding (an e...

Hi, I'm trying to install War3 Roc+TFT+patch 1.17 I succeded the installation. but when I starrtt the game, I got the main menu but image is blinking and mouse cursor is very slow (so I don't try to play) My system is a Fedora Core 3 / 2.6.10 and lastest wine rpm from winehq Here is wine log: > fixme:user:EnumDisplayDevicesA ((nil),0,0x67f9e4,0x00000000), stub! >

...SCEV to determine an upper bound) and applying function attributes is an SCC operation (indeed, an SCC is itself a loop), so it's all blocked behind fixing the PassManager to allow CGSGGPasses to depend on FunctionPasses. > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > I'm now in a similar situation where I want 'nounwind' to mean "only exits by terminating the program or a return instruction" but unfortunately functions which longjmp are considered nounwind. I would like to change llvm to make longjmp'ing a form of unwind...

...ability to serve > as a compiler for other languages. > > In 2010, Nick proposed to add a 'halting' attribute that could be > added to functions to indicate that they would not execute > indefinitely ( > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > ). At the time that the patch was proposed, there were > infrastructure problems with inferring the attribute for functions > with loops (related to using function-level analysis passes from a > CGSCC pass), but hopefully those will be fixed with the new pass > manager. Regard...

...SCEV to determine an upper bound) and applying function attributes is an SCC operation (indeed, an SCC is itself a loop), so it's all blocked behind fixing the PassManager to allow CGSGGPasses to depend on FunctionPasses. > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > I'm now in a similar situation where I want 'nounwind' to mean "only exits by terminating the program or a return instruction" but unfortunately functions which longjmp are considered nounwind. I would like to change llvm to make longjmp'ing a form of unwind...

Does 'nounwind' have semantics that inform optimization passes? It seems to in some cases, but not consistently. For example... int32_t foo(int32_t* ptr) { int i = 0; int result; do { bar(ptr); result = *ptr; bar(ptr); } while (i++ < *ptr); return result; } Say we have a front end that declares bar as... declare void @bar(i32*) readonly; So 'bar' is

...SCEV to determine an upper bound) and applying function attributes is an SCC operation (indeed, an SCC is itself a loop), so it's all blocked behind fixing the PassManager to allow CGSGGPasses to depend on FunctionPasses. > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > I'm now in a similar situation where I want 'nounwind' to mean "only exits by terminating the program or a return instruction" but unfortunately functions which longjmp are considered nounwind. I would like to change llvm to make longjmp'ing a form of unwind...

On 11/25/2010 12:59 PM, Andrew Clinton wrote: > On 11/24/2010 06:55 PM, Owen Anderson wrote: >> On Nov 23, 2010, at 9:22 AM, Andrew Clinton wrote: >> >> >>> Most of my programs contain loops that the LoopDeletion pass is unable >>> to remove. It appears that the following code in LoopDeletion.cpp:152 >>> is the culprit: >>> >>>

...upper bound) and applying function attributes is an SCC operation (indeed, > an SCC is itself a loop), so it's all blocked behind fixing the PassManager > to allow CGSGGPasses to depend on FunctionPasses. > > > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > > > I'm now in a similar situation where I want 'nounwind' to mean "only > exits by terminating the program or a return instruction" but unfortunately > functions which longjmp are considered nounwind. I would like to change > llvm to make longjmp...

...function attributes > is an SCC operation (indeed, an SCC is itself a loop), so it's all > blocked behind fixing the PassManager to allow CGSGGPasses to depend > on FunctionPasses. > > > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > > > I'm now in a similar situation where I want 'nounwind' to mean > "only exits by terminating the program or a return instruction" but > unfortunately functions which longjmp are considered nounwind. I > would like to chang...

On 11/24/2010 06:55 PM, Owen Anderson wrote: > On Nov 23, 2010, at 9:22 AM, Andrew Clinton wrote: > > >> Most of my programs contain loops that the LoopDeletion pass is unable >> to remove. It appears that the following code in LoopDeletion.cpp:152 >> is the culprit: >> >> ScalarEvolution& SE = getAnalysis<ScalarEvolution>(); >>

...function attributes > is an SCC operation (indeed, an SCC is itself a loop), so it's all > blocked behind fixing the PassManager to allow CGSGGPasses to depend > on FunctionPasses. > > > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > > > I'm now in a similar situation where I want 'nounwind' to mean > "only exits by terminating the program or a return instruction" but > unfortunately functions which longjmp are considered nounwind. I > would like to chang...

...a compiler for other languages. > > > > In 2010, Nick proposed to add a 'halting' attribute that could be > > added to functions to indicate that they would not execute > > indefinitely ( > > http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20100705/103670.html > > ). At the time that the patch was proposed, there were > > infrastructure problems with inferring the attribute for functions > > with loops (related to using function-level analysis passes from a > > CGSCC pass), but hopefully those will be fixed with the new pass...