1 ; Test lib call simplification of __memcpy_chk calls with various values
4 ; RUN: opt < %s -instcombine -S | FileCheck %s
6 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
8 %struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] }
9 %struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] }
10 %struct.T3 = type { [100 x i32], [100 x i32], [2048 x i8] }
12 @t1 = common global %struct.T1 zeroinitializer
13 @t2 = common global %struct.T2 zeroinitializer
14 @t3 = common global %struct.T3 zeroinitializer
16 ; Check cases where dstlen >= len.
18 define void @test_simplify1() {
19 ; CHECK-LABEL: @test_simplify1(
20 %dst = bitcast %struct.T1* @t1 to i8*
21 %src = bitcast %struct.T2* @t2 to i8*
23 ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64
24 call i8* @__memcpy_chk(i8* %dst, i8* %src, i64 1824, i64 1824)
28 define void @test_simplify2() {
29 ; CHECK-LABEL: @test_simplify2(
30 %dst = bitcast %struct.T1* @t1 to i8*
31 %src = bitcast %struct.T3* @t3 to i8*
33 ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64
34 call i8* @__memcpy_chk(i8* %dst, i8* %src, i64 1824, i64 2848)
38 ; Check cases where dstlen < len.
40 define void @test_no_simplify1() {
41 ; CHECK-LABEL: @test_no_simplify1(
42 %dst = bitcast %struct.T3* @t3 to i8*
43 %src = bitcast %struct.T1* @t1 to i8*
45 ; CHECK-NEXT: call i8* @__memcpy_chk
46 call i8* @__memcpy_chk(i8* %dst, i8* %src, i64 2848, i64 1824)
50 define void @test_no_simplify2() {
51 ; CHECK-LABEL: @test_no_simplify2(
52 %dst = bitcast %struct.T1* @t1 to i8*
53 %src = bitcast %struct.T2* @t2 to i8*
55 ; CHECK-NEXT: call i8* @__memcpy_chk
56 call i8* @__memcpy_chk(i8* %dst, i8* %src, i64 1024, i64 0)
60 declare i8* @__memcpy_chk(i8*, i8*, i64, i64)