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 | |
Mehdi Amini | 46a4355 | 2015-03-04 18:43:29 +0000 | [diff] [blame] | 11 | ; Size in llvm.lifetime.X should be 1 (default for i8). |
Alexey Samsonov | cfd662f | 2012-11-13 07:15:32 +0000 | [diff] [blame] | 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 |
Mehdi Amini | 46a4355 | 2015-03-04 18:43:29 +0000 | [diff] [blame] | 15 | ; CHECK: llvm.lifetime.start(i64 1 |
Alexey Samsonov | cfd662f | 2012-11-13 07:15:32 +0000 | [diff] [blame] | 16 | ; CHECK-NOT: lifetime |
Mehdi Amini | 46a4355 | 2015-03-04 18:43:29 +0000 | [diff] [blame] | 17 | ; CHECK: llvm.lifetime.end(i64 1 |
Alexey Samsonov | cfd662f | 2012-11-13 07:15:32 +0000 | [diff] [blame] | 18 | call void @helper() |
| 19 | ; CHECK-NOT: lifetime |
| 20 | ; CHECK: ret void |
| 21 | ret void |
| 22 | } |
| 23 | |