| Adrian Prantl | a8b2ddb | 2017-10-02 18:31:29 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -globals-aa -gvn -S -disable-verify | FileCheck %s |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 2 | |
| Daniel Neilson | 1e68724 | 2018-01-19 17:13:12 +0000 | [diff] [blame] | 3 | declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1) |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 4 | define void @foo(i8* %x, i8* %y) { |
| Daniel Neilson | 1e68724 | 2018-01-19 17:13:12 +0000 | [diff] [blame] | 5 | call void @llvm.memcpy.p0i8.p0i8.i32(i8* %x, i8* %y, i32 1, i1 false); |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 6 | ret void |
| 7 | } |
| 8 | |
| 9 | define void @bar(i8* %y, i8* %z) { |
| 10 | %x = alloca i8 |
| 11 | call void @foo(i8* %x, i8* %y) |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 12 | %t = load i8, i8* %x |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 13 | store i8 %t, i8* %y |
| 14 | ; CHECK: store i8 %t, i8* %y |
| 15 | ret void |
| 16 | } |
| 17 | |
| 18 | |
| 19 | define i32 @foo2() { |
| 20 | %foo = alloca i32 |
| 21 | call void @bar2(i32* %foo) |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 22 | %t0 = load i32, i32* %foo, align 4 |
| 23 | ; CHECK: %t0 = load i32, i32* %foo, align 4 |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 24 | ret i32 %t0 |
| 25 | } |
| 26 | |
| 27 | define void @bar2(i32* %foo) { |
| 28 | store i32 0, i32* %foo, align 4 |
| Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 29 | tail call void @llvm.dbg.value(metadata !{}, i64 0, metadata !{}, metadata !{}) |
| Rafael Espindola | 5054ee8 | 2012-03-28 21:31:24 +0000 | [diff] [blame] | 30 | ret void |
| 31 | } |
| 32 | |
| Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 33 | declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone |