| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- ; RUN: opt -S -inline %s | FileCheck %s
- declare void @foo()
- declare void @bar()
- define void @callee(i8* %arg) {
- %cmp = icmp eq i8* %arg, null
- br i1 %cmp, label %expensive, label %done
- ; This block is designed to be too expensive to inline. We can only inline
- ; callee if this block is known to be dead.
- expensive:
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- call void @foo()
- ret void
- done:
- call void @bar()
- ret void
- }
- ; Positive test - arg is known non null
- define void @caller(i8* nonnull %arg) {
- ; CHECK-LABEL: @caller
- ; CHECK: call void @bar()
- call void @callee(i8* nonnull %arg)
- ret void
- }
- ; Negative test - arg is not known to be non null
- define void @caller2(i8* %arg) {
- ; CHECK-LABEL: @caller2
- ; CHECK: call void @callee(
- call void @callee(i8* %arg)
- ret void
- }
|
