commit b969c5981b3bdf1ce96369522c396b77891653d5
author Gordon Henriksen <gordonhenriksen@mac.com> Tue Dec 25 03:10:07 2007 +0000
committer Gordon Henriksen <gordonhenriksen@mac.com> Tue Dec 25 03:10:07 2007 +0000
tree 0707fbe7a23f971aedfd56421fe14da7876f00b3
parent fb56bde933002809d025acbbaec84a5722953f4d

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