GC poses hazards to the inliner. Consider:
authorGordon Henriksen <gordonhenriksen@mac.com>
Tue, 25 Dec 2007 03:10:07 +0000 (03:10 +0000)
committerGordon Henriksen <gordonhenriksen@mac.com>
Tue, 25 Dec 2007 03:10:07 +0000 (03:10 +0000)
commit0e13821c96937830ec817f08095c3cef1fdcac8d
treebea72ad62be6d14047374fbba74e95c7b225c077
parente1433f24cf714c49b266e8cefdbbb8a464ffcb8e
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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45351 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/InlineFunction.cpp
test/CodeGen/Generic/GC/inline.ll [new file with mode: 0644]
test/CodeGen/Generic/GC/inline2.ll [new file with mode: 0644]