llvm-6502/win32
Duncan Sands b0f1e1780c Add a new codegen pass that normalizes dwarf exception handling
code in preparation for code generation.  The main thing it does
is handle the case when eh.exception calls (and, in a future
patch, eh.selector calls) are far away from landing pads.  Right
now in practice you only find eh.exception calls close to landing
pads: either in a landing pad (the common case) or in a landing
pad successor, due to loop passes shifting them about.  However
future exception handling improvements will result in calls far
from landing pads:
(1) Inlining of rewinds.  Consider the following case:
In function @f:
...
  invoke @g to label %normal unwind label %unwinds
...
unwinds:
  %ex = call i8* @llvm.eh.exception()
...

In function @g:
...
  invoke @something to label %continue unwind label %handler
...
handler:
  %ex = call i8* @llvm.eh.exception()
... perform cleanups ...
  "rethrow exception"

Now inline @g into @f.  Currently this is turned into:
In function @f:
...
  invoke @something to label %continue unwind label %handler
...
handler:
  %ex = call i8* @llvm.eh.exception()
... perform cleanups ...
  invoke "rethrow exception" to label %normal unwind label %unwinds
unwinds:
  %ex = call i8* @llvm.eh.exception()
...

However we would like to simplify invoke of "rethrow exception" into
a branch to the %unwinds label.  Then %unwinds is no longer a landing
pad, and the eh.exception call there is then far away from any landing
pads.

(2) Using the unwind instruction for cleanups.
It would be nice to have codegen handle the following case:
  invoke @something to label %continue unwind label %run_cleanups
...
handler:
... perform cleanups ...
  unwind

This requires turning "unwind" into a library call, which
necessarily takes a pointer to the exception as an argument
(this patch also does this unwind lowering).  But that means
you are using eh.exception again far from a landing pad.

(3) Bugpoint simplifications.  When bugpoint is simplifying
exception handling code it often generates eh.exception calls
far from a landing pad, which then causes codegen to assert.
Bugpoint then latches on to this assertion and loses sight
of the original problem.

Note that it is currently rare for this pass to actually do
anything.  And in fact it normally shouldn't do anything at
all given the code coming out of llvm-gcc!  But it does fire
a few times in the testsuite.  As far as I can see this is
almost always due to the LoopStrengthReduce codegen pass
introducing pointless loop preheader blocks which are landing
pads and only contain a branch to another block.  This other
block contains an eh.exception call.  So probably by tweaking
LoopStrengthReduce a bit this can be avoided.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72276 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-22 20:36:31 +00:00
..
Analysis Fix PR3415 (infinite loop in EscapeAnalysis) by 2009-01-28 11:33:59 +00:00
Archive This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
AsmParser More updates to VC proj... 2009-01-26 22:03:42 +00:00
Bitcode This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
bugpoint This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
CBackend This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
CodeGen Add a new codegen pass that normalizes dwarf exception handling 2009-05-22 20:36:31 +00:00
Configure This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
ExecutionEngine This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
Fibonacci This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
Linker This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llc This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
lli This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-ar This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-as This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-bcanalyzer This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-dis This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-ld This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-link This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-nm This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-prof This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
llvm-ranlib This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
opt This replaces all $(SolutionDir) macros with $(ProjectDir)..\ 2008-07-14 18:46:16 +00:00
Support Make it compile on VC2005: 2008-08-17 18:24:26 +00:00
System Update VC++ project file 2008-10-05 01:04:07 +00:00
TableGen Update VC++ projects. 2008-11-06 06:24:59 +00:00
Target Add files to VC++ projects. 2008-11-13 21:18:54 +00:00
Transforms Handful of fixes to the VC project files. 2009-01-22 23:05:37 +00:00
VMCore Changes to make the Windows build work... 2008-10-23 23:28:23 +00:00
x86 Add files to VC++ projects. 2008-11-13 21:18:54 +00:00
clang.sln remove unavailable clang project 2008-11-08 01:02:44 +00:00
common.vsprops Updated VS build system. Patch provided by Cedric Venet: 2008-06-20 22:19:12 +00:00
config.h Update hand-crafted VC++ build. 2009-02-02 19:22:02 +00:00
dobison.cmd Fix win32 when no bison is around, PR2331, patch by 'hume'. 2008-05-24 05:11:48 +00:00
doflex.cmd Match changes to unix build system. 2006-02-14 06:12:08 +00:00
llvm.sln Revert 51067 check-in for now. 2008-05-15 18:46:28 +00:00
unistd.h Top level files for building natively on win32 2004-11-03 16:14:40 +00:00