1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s --check-prefix=ALL --check-prefix=NODL 3 ; RUN: opt < %s -instcombine -S -data-layout=n32 | FileCheck %s --check-prefix=ALL --check-prefix=I32 4 ; RUN: opt < %s -instcombine -S -data-layout=n32:64 | FileCheck %s --check-prefix=ALL --check-prefix=I64 5 ; RUN: opt < %s -instcombine -S -data-layout=n32:64:128 | FileCheck %s --check-prefix=ALL --check-prefix=I128 6 7 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind 8 9 ; memcpy can be expanded inline with load/store (based on the datalayout?) 10 11 define void @copy_1_byte(i8* %d, i8* %s) { 12 ; ALL-LABEL: @copy_1_byte( 13 ; ALL-NEXT: [[TMP1:%.*]] = load i8, i8* [[S:%.*]], align 1 14 ; ALL-NEXT: store i8 [[TMP1]], i8* [[D:%.*]], align 1 15 ; ALL-NEXT: ret void 16 ; 17 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 1, i1 false) 18 ret void 19 } 20 21 define void @copy_2_bytes(i8* %d, i8* %s) { 22 ; ALL-LABEL: @copy_2_bytes( 23 ; ALL-NEXT: [[TMP1:%.*]] = bitcast i8* [[S:%.*]] to i16* 24 ; ALL-NEXT: [[TMP2:%.*]] = bitcast i8* [[D:%.*]] to i16* 25 ; ALL-NEXT: [[TMP3:%.*]] = load i16, i16* [[TMP1]], align 1 26 ; ALL-NEXT: store i16 [[TMP3]], i16* [[TMP2]], align 1 27 ; ALL-NEXT: ret void 28 ; 29 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 2, i1 false) 30 ret void 31 } 32 33 ; We don't expand small non-power-of-2. Should we? Might be a target-dependent choice. 34 35 define void @copy_3_bytes(i8* %d, i8* %s) { 36 ; ALL-LABEL: @copy_3_bytes( 37 ; ALL-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[D:%.*]], i8* align 1 [[S:%.*]], i32 3, i1 false) 38 ; ALL-NEXT: ret void 39 ; 40 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 3, i1 false) 41 ret void 42 } 43 44 define void @copy_4_bytes(i8* %d, i8* %s) { 45 ; ALL-LABEL: @copy_4_bytes( 46 ; ALL-NEXT: [[TMP1:%.*]] = bitcast i8* [[S:%.*]] to i32* 47 ; ALL-NEXT: [[TMP2:%.*]] = bitcast i8* [[D:%.*]] to i32* 48 ; ALL-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]], align 1 49 ; ALL-NEXT: store i32 [[TMP3]], i32* [[TMP2]], align 1 50 ; ALL-NEXT: ret void 51 ; 52 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 4, i1 false) 53 ret void 54 } 55 56 ; We don't expand small non-power-of-2. Should we? Might be a target-dependent choice. 57 58 define void @copy_5_bytes(i8* %d, i8* %s) { 59 ; ALL-LABEL: @copy_5_bytes( 60 ; ALL-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[D:%.*]], i8* align 1 [[S:%.*]], i32 5, i1 false) 61 ; ALL-NEXT: ret void 62 ; 63 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 5, i1 false) 64 ret void 65 } 66 67 define void @copy_8_bytes(i8* %d, i8* %s) { 68 ; ALL-LABEL: @copy_8_bytes( 69 ; ALL-NEXT: [[TMP1:%.*]] = bitcast i8* [[S:%.*]] to i64* 70 ; ALL-NEXT: [[TMP2:%.*]] = bitcast i8* [[D:%.*]] to i64* 71 ; ALL-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]], align 1 72 ; ALL-NEXT: store i64 [[TMP3]], i64* [[TMP2]], align 1 73 ; ALL-NEXT: ret void 74 ; 75 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 8, i1 false) 76 ret void 77 } 78 79 define void @copy_16_bytes(i8* %d, i8* %s) { 80 ; ALL-LABEL: @copy_16_bytes( 81 ; ALL-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[D:%.*]], i8* align 1 [[S:%.*]], i32 16, i1 false) 82 ; ALL-NEXT: ret void 83 ; 84 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %d, i8* %s, i32 16, i1 false) 85 ret void 86 } 87 88
