| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 1 | ; RUN: opt -print-memderefs -analyze -S <%s | FileCheck %s |
| 2 | |
| 3 | ; Uses the print-deref (+ analyze to print) pass to run |
| 4 | ; isDereferenceablePointer() on many load instruction operands |
| 5 | |
| Ramkumar Ramachandra | 82ab65c | 2015-02-09 21:50:03 +0000 | [diff] [blame] | 6 | target datalayout = "e" |
| 7 | |
| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 8 | declare zeroext i1 @return_i1() |
| 9 | |
| 10 | @globalstr = global [6 x i8] c"hello\00" |
| 11 | |
| Philip Reames | e1bf270 | 2015-03-27 05:09:33 +0000 | [diff] [blame] | 12 | define void @test(i32 addrspace(1)* dereferenceable(8) %dparam) gc "statepoint-example" { |
| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 13 | ; CHECK: The following are dereferenceable: |
| 14 | ; CHECK: %globalptr |
| 15 | ; CHECK: %alloca |
| 16 | ; CHECK: %dparam |
| Ramkumar Ramachandra | a7343d6 | 2015-02-09 21:08:03 +0000 | [diff] [blame] | 17 | ; CHECK: %relocate |
| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 18 | ; CHECK-NOT: %nparam |
| 19 | entry: |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 20 | %globalptr = getelementptr inbounds [6 x i8], [6 x i8]* @globalstr, i32 0, i32 0 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 21 | %load1 = load i8, i8* %globalptr |
| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 22 | %alloca = alloca i1 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 23 | %load2 = load i1, i1* %alloca |
| 24 | %load3 = load i32, i32 addrspace(1)* %dparam |
| Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame^] | 25 | %tok = tail call i32 (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32 addrspace(1)* %dparam) |
| 26 | %relocate = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %tok, i32 7, i32 7) |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 27 | %load4 = load i32, i32 addrspace(1)* %relocate |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 28 | %nparam = getelementptr i32, i32 addrspace(1)* %dparam, i32 5 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 29 | %load5 = load i32, i32 addrspace(1)* %nparam |
| Ramkumar Ramachandra | 8378ac3 | 2015-02-06 01:46:42 +0000 | [diff] [blame] | 30 | ret void |
| 31 | } |
| 32 | |
| Sanjoy Das | a1d39ba | 2015-05-12 23:52:24 +0000 | [diff] [blame^] | 33 | declare i32 @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) |
| 34 | declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32) |