| Benjamin Kramer | ea9152e | 2010-12-24 21:17:12 +0000 | [diff] [blame] | 1 | ; RUN: opt -memcpyopt -S < %s | FileCheck %s |
| 2 | |
| 3 | @cst = internal constant [3 x i32] [i32 -1, i32 -1, i32 -1], align 4 |
| 4 | |
| Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 5 | declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind |
| Benjamin Kramer | ea9152e | 2010-12-24 21:17:12 +0000 | [diff] [blame] | 6 | declare void @foo(i32*) nounwind |
| 7 | |
| 8 | define void @test1() nounwind { |
| 9 | %arr = alloca [3 x i32], align 4 |
| 10 | %arr_i8 = bitcast [3 x i32]* %arr to i8* |
| Pete Cooper | 67cf9a7 | 2015-11-19 05:56:52 +0000 | [diff] [blame] | 11 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %arr_i8, i8* bitcast ([3 x i32]* @cst to i8*), i64 12, i32 4, i1 false) |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 12 | %arraydecay = getelementptr inbounds [3 x i32], [3 x i32]* %arr, i64 0, i64 0 |
| Benjamin Kramer | ea9152e | 2010-12-24 21:17:12 +0000 | [diff] [blame] | 13 | call void @foo(i32* %arraydecay) nounwind |
| 14 | ret void |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 15 | ; CHECK-LABEL: @test1( |
| Benjamin Kramer | ea9152e | 2010-12-24 21:17:12 +0000 | [diff] [blame] | 16 | ; CHECK: call void @llvm.memset |
| 17 | ; CHECK-NOT: call void @llvm.memcpy |
| 18 | ; CHECK: ret void |
| 19 | } |