diff options
author | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-12-25 03:10:07 +0000 |
---|---|---|
committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-12-25 03:10:07 +0000 |
commit | b969c5981b3bdf1ce96369522c396b77891653d5 (patch) | |
tree | 0707fbe7a23f971aedfd56421fe14da7876f00b3 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
parent | fb56bde933002809d025acbbaec84a5722953f4d (diff) | |
download | bcm5719-llvm-b969c5981b3bdf1ce96369522c396b77891653d5.tar.gz bcm5719-llvm-b969c5981b3bdf1ce96369522c396b77891653d5.zip |
GC poses hazards to the inliner. Consider:
define void @f() {
...
call i32 @g()
...
}
define void @g() {
...
}
The hazards are:
- @f and @g have GC, but they differ GC. Inlining is invalid. This
may never occur.
- @f has no GC, but @g does. g's GC must be propagated to @f.
The other scenarios are safe:
- @f and @g have the same GC.
- @f and @g have no GC.
- @g has no GC.
This patch adds inliner checks for the former two scenarios.
llvm-svn: 45351
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions