| 1234567891011121314151617181920212223242526272829303132 |
- ; RUN: opt -S -Oz %s | FileCheck %s
- @a = global i32 4
- define i1 @inner() {
- %a1 = load volatile i32, i32* @a
- %x1 = add i32 %a1, %a1
- %c = icmp eq i32 %x1, 0
- ; Here are enough instructions to prevent inlining, but because they are used
- ; only by the @llvm.assume intrinsic, they're free (and, thus, inlining will
- ; still happen).
- %a2 = mul i32 %a1, %a1
- %a3 = sub i32 %a1, 5
- %a4 = udiv i32 %a3, -13
- %a5 = mul i32 %a4, %a4
- %a6 = add i32 %a5, %x1
- %ca = icmp sgt i32 %a6, -7
- tail call void @llvm.assume(i1 %ca)
- ret i1 %c
- }
- ; @inner() should be inlined for -Oz.
- ; CHECK-NOT: call i1 @inner
- define i1 @outer() optsize {
- %r = call i1 @inner()
- ret i1 %r
- }
- declare void @llvm.assume(i1) nounwind
|
