| Nick Lewycky | 15d3c05 | 2009-10-18 04:41:36 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -gvn -dse -S | FileCheck %s |
| Reid Spencer | 1faa549 | 2006-11-18 05:52:18 +0000 | [diff] [blame] | 2 | |
| Chris Lattner | a22922d | 2009-10-17 23:59:51 +0000 | [diff] [blame] | 3 | declare void @llvm.memset.i32(i8*, i8, i32, i32) |
| Nick Lewycky | 15d3c05 | 2009-10-18 04:41:36 +0000 | [diff] [blame] | 4 | declare void @llvm.memset.i8(i8*, i8, i8, i32) |
| 5 | declare void @llvm.memcpy.i8(i8*, i8*, i8, i32) |
| 6 | declare void @llvm.lifetime.end(i64, i8* nocapture) |
| Chris Lattner | a22922d | 2009-10-17 23:59:51 +0000 | [diff] [blame] | 7 | |
| 8 | declare void @external(i32*) |
| 9 | |
| 10 | define i32 @test0(i8* %P) { |
| 11 | %A = alloca i32 |
| 12 | call void @external(i32* %A) |
| 13 | |
| 14 | store i32 0, i32* %A |
| 15 | |
| 16 | call void @llvm.memset.i32(i8* %P, i8 0, i32 42, i32 1) |
| 17 | |
| 18 | %B = load i32* %A |
| 19 | ret i32 %B |
| 20 | |
| 21 | ; CHECK: @test0 |
| 22 | ; CHECK: ret i32 0 |
| Reid Spencer | 1faa549 | 2006-11-18 05:52:18 +0000 | [diff] [blame] | 23 | } |
| 24 | |
| Nick Lewycky | 15d3c05 | 2009-10-18 04:41:36 +0000 | [diff] [blame] | 25 | declare void @llvm.memcpy.i8(i8*, i8*, i8, i32) |
| 26 | |
| 27 | define i8 @test1() { |
| 28 | ; CHECK: @test1 |
| 29 | %A = alloca i8 |
| 30 | %B = alloca i8 |
| 31 | |
| 32 | store i8 2, i8* %B ;; Not written to by memcpy |
| 33 | |
| 34 | call void @llvm.memcpy.i8(i8* %A, i8* %B, i8 -1, i32 0) |
| 35 | |
| 36 | %C = load i8* %B |
| 37 | ret i8 %C |
| 38 | ; CHECK: ret i8 2 |
| 39 | } |
| 40 | |
| 41 | define i8 @test2(i8* %P) { |
| 42 | ; CHECK: @test2 |
| Chris Lattner | 6e85d91 | 2009-10-18 04:50:18 +0000 | [diff] [blame^] | 43 | %P2 = getelementptr i8* %P, i32 127 |
| Nick Lewycky | 15d3c05 | 2009-10-18 04:41:36 +0000 | [diff] [blame] | 44 | store i8 1, i8* %P2 ;; Not dead across memset |
| 45 | call void @llvm.memset.i8(i8* %P, i8 2, i8 127, i32 0) |
| 46 | %A = load i8* %P2 |
| 47 | ret i8 %A |
| 48 | ; CHECK: ret i8 1 |
| 49 | } |
| 50 | |
| Chris Lattner | 6e85d91 | 2009-10-18 04:50:18 +0000 | [diff] [blame^] | 51 | define i8 @test2a(i8* %P) { |
| 52 | ; CHECK: @test2 |
| 53 | %P2 = getelementptr i8* %P, i32 126 |
| 54 | store i8 1, i8* %P2 ;; Dead, clobbered by memset. |
| 55 | call void @llvm.memset.i8(i8* %P, i8 2, i8 127, i32 0) |
| 56 | %A = load i8* %P2 |
| 57 | ret i8 %A |
| 58 | ; CHECK: %A = load i8* %P2 |
| 59 | ; CHECK: ret i8 %A |
| 60 | } |
| 61 | |
| Nick Lewycky | 15d3c05 | 2009-10-18 04:41:36 +0000 | [diff] [blame] | 62 | define void @test3(i8* %P) { |
| 63 | ; CHECK: @test3 |
| 64 | %P2 = getelementptr i8* %P, i32 2 |
| 65 | store i8 1, i8* %P2 ;; Not read by lifetime.end |
| 66 | ; CHECK: store |
| 67 | call void @llvm.lifetime.end(i64 1, i8* %P) |
| 68 | store i8 2, i8* %P2 |
| 69 | ; CHECK-NOT: store |
| 70 | ret void |
| 71 | ; CHECK: ret void |
| 72 | } |