| Dmitri Gribenko | b137c9e | 2012-12-30 01:28:40 +0000 | [diff] [blame] | 1 | ; RUN: opt -inline -S < %s | FileCheck %s |
| Alexey Samsonov | cfd662f | 2012-11-13 07:15:32 +0000 | [diff] [blame] | 2 | |
| 3 | declare void @use(i8* %a) |
| 4 | |
| 5 | define void @helper() { |
| 6 | %a = alloca i8 |
| 7 | call void @use(i8* %a) |
| 8 | ret void |
| 9 | } |
| 10 | |
| 11 | ; Size in llvm.lifetime.X should be -1 (unknown). |
| 12 | define void @test() { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame^] | 13 | ; CHECK-LABEL: @test( |
| Alexey Samsonov | cfd662f | 2012-11-13 07:15:32 +0000 | [diff] [blame] | 14 | ; CHECK-NOT: lifetime |
| 15 | ; CHECK: llvm.lifetime.start(i64 -1 |
| 16 | ; CHECK-NOT: lifetime |
| 17 | ; CHECK: llvm.lifetime.end(i64 -1 |
| 18 | call void @helper() |
| 19 | ; CHECK-NOT: lifetime |
| 20 | ; CHECK: ret void |
| 21 | ret void |
| 22 | } |
| 23 | |