search for: ppad

...xample, if you have this: invoke void @foo() to label %invcont unwind label %lpad personality @__gxx_personality_v0 catches %struct.__fundamental_type_info_pseudo* @_ZTIi, %struct.__pointer_type_info_pseudo* @_ZTIPKc lpad: call void @bar(%A* %a) ; a cleanup br label %ppad ppad: %eh_ptr = call i8* llvm.eh.exception() %eh_sel = call i32 llvm.eh.selector() ; code to clean up. The call to @bar can insert an arbitrarily complex amount of code, including invokes, llvm.eh.selector calls, etc. Because there is no relationship between the invoke of @foo and %eh_sel i...

...e this: > > invoke void @foo() > to label %invcont unwind label %lpad > personality @__gxx_personality_v0 > catches %struct.__fundamental_type_info_pseudo* @_ZTIi, > %struct.__pointer_type_info_pseudo* @_ZTIPKc > > lpad: > call void @bar(%A* %a) ; a cleanup > br label %ppad > > ppad: > %eh_ptr = call i8* llvm.eh.exception() > %eh_sel = call i32 llvm.eh.selector() > ; code to clean up. > > The call to @bar can insert an arbitrarily complex amount of code, including > invokes, llvm.eh.selector calls, etc. Because there is no relationship between...

...o() >> to label %invcont unwind label %lpad >> personality @__gxx_personality_v0 >> catches %struct.__fundamental_type_info_pseudo* @_ZTIi, >> %struct.__pointer_type_info_pseudo* @_ZTIPKc >> >> lpad: >> call void @bar(%A* %a) ; a cleanup >> br label %ppad >> >> ppad: >> %eh_ptr = call i8* llvm.eh.exception() >> %eh_sel = call i32 llvm.eh.selector() >> ; code to clean up. >> >> The call to @bar can insert an arbitrarily complex amount of code, including >> invokes, llvm.eh.selector calls, etc. Because...

...; preds = %lpad25 > unreachable > > lpad: ; preds = > %invcont, %entry > unreachable > > lpad25: ; preds = %bb5, %bb > br i1 undef, label %bb7, label %ppad > > ppad: ; preds = %lpad25 > unreachable > } > > declare void @system__tasking__stages__complete_activation() > > declare void > @system__tasking__rendezvous__selective_wait(%struct.RETURN* noalias > sret, [0 x %struct....

Here is an alternative proposal to Bill's. It is closer to what we already have (which can be seen as a good or a bad thing!), and is also closer to what gcc does. It is more incremental than Bill's and introduces fewer new concepts. Executive summary ----------------- Remove the personality and list of catches out of eh.selector and stick them directly on invoke instructions. The

...; preds = %lpad25 >> unreachable >> >> lpad: ; preds = >> %invcont, %entry >> unreachable >> >> lpad25: ; preds = %bb5, %bb >> br i1 undef, label %bb7, label %ppad >> >> ppad: ; preds = %lpad25 >> unreachable >> } >> >> declare void @system__tasking__stages__complete_activation() >> >> declare void >> @system__tasking__rendezvous__selective_wait(%struct.RETURN...

...>>> >>> lpad: ; preds = >>> %invcont, %entry >>> unreachable >>> >>> lpad25: ; preds = %bb5, >>> %bb >>> br i1 undef, label %bb7, label %ppad >>> >>> ppad: ; preds = %lpad25 >>> unreachable >>> } >>> >>> declare void @system__tasking__stages__complete_activation() >>> >>> declare void >>> @system__tasking__rende...

Hi Jakub, interesting patch. I ran it over the Ada testsuite and this picked up some problems even without enabling dse-ssu. For example, "opt -inline -dse -domtree" crashes on the attached testcase. Ciao, Duncan. -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: dom_crash.ll URL:

Hello, This patch adds non-local DSE optimization. It uses Static Single Use representation. This is my first "big" patch, please be tolerant :-) Please note that optimization is disabled by default. -Jakub -------------- next part -------------- A non-text attachment was scrubbed... Name: dse_ssu.patch Type: application/octet-stream Size: 17352 bytes Desc: not available URL:

...personality_v0, > i8* @_ZTIi, > i8* @_ZTIPKc, > i8* null) > %eh_typeid = tail call i32 @llvm.eh.typeid.for( @_ZTIi ) > %6 = icmp eq i32 %eh_select27, %eh_typeid > br i1 %6, label %bb1, label %ppad > > ppad: > %eh_typeid55 = tail call i32 @llvm.eh.typeid.for( @_ZTIPKc ) > %7 = icmp eq i32 %eh_select27, %eh_typeid55 > %8 = tail call i8* @__cxa_begin_catch(i8* %eh_ptr) nounwind > br i1 %7, label %bb2, label %bb3 > > bb1: > ;; printf(&quo...

...i8* @__gxx_personality_v0, i8* @_ZTIi, i8* @_ZTIPKc, i8* null) %eh_typeid = tail call i32 @llvm.eh.typeid.for( @_ZTIi ) %6 = icmp eq i32 %eh_select27, %eh_typeid br i1 %6, label %bb1, label %ppad ppad: %eh_typeid55 = tail call i32 @llvm.eh.typeid.for( @_ZTIPKc ) %7 = icmp eq i32 %eh_select27, %eh_typeid55 %8 = tail call i8* @__cxa_begin_catch(i8* %eh_ptr) nounwind br i1 %7, label %bb2, label %bb3 bb1: ;; printf("i == %d\n", i) ret void bb2...