1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -instcombine -S | FileCheck %s 3 4@hello = private constant [11 x i8] c"helloworld\00", align 1 5@NoNulTerminator = private constant [10 x i8] c"helloworld", align 1 6@StopCharAfterNulTerminator = private constant [12 x i8] c"helloworld\00x", align 1 7@StringWithEOF = constant [14 x i8] c"helloworld\FFab\00", align 1 8 9declare i8* @memccpy(i8*, i8*, i32, i64) 10 11define i8* @memccpy_to_memcpy(i8* %dst) { 12; CHECK-LABEL: @memccpy_to_memcpy( 13; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[DST:%.*]] to i64* 14; CHECK-NEXT: store i64 8245940763182785896, i64* [[TMP1]], align 1 15; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 8 16; CHECK-NEXT: ret i8* [[TMP2]] 17; 18 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 12) ; 114 is 'r' 19 ret i8* %call 20} 21 22define i8* @memccpy_to_memcpy2(i8* %dst) { 23; CHECK-LABEL: @memccpy_to_memcpy2( 24; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[DST:%.*]] to i64* 25; CHECK-NEXT: store i64 8245940763182785896, i64* [[TMP1]], align 1 26; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 8 27; CHECK-NEXT: ret i8* [[TMP2]] 28; 29 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 8); ; 114 is 'r' 30 ret i8* %call 31} 32 33define void @memccpy_to_memcpy3(i8* %dst) { 34; CHECK-LABEL: @memccpy_to_memcpy3( 35; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(5) [[DST:%.*]], i8* nonnull align 1 dereferenceable(5) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 5, i1 false) 36; CHECK-NEXT: ret void 37; 38 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 111, i64 10) ; 111 is 'o' 39 ret void 40} 41 42define void @memccpy_to_memcpy4(i8* %dst) { 43; CHECK-LABEL: @memccpy_to_memcpy4( 44; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* nonnull align 1 dereferenceable(11) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 11, i1 false) 45; CHECK-NEXT: ret void 46; 47 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 0, i64 12) 48 ret void 49} 50 51define i8* @memccpy_to_memcpy5(i8* %dst) { 52; CHECK-LABEL: @memccpy_to_memcpy5( 53; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(7) [[DST:%.*]], i8* nonnull align 1 dereferenceable(7) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 7, i1 false) 54; CHECK-NEXT: ret i8* null 55; 56 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 7) 57 ret i8* %call 58} 59 60define i8* @memccpy_to_memcpy6(i8* %dst) { 61; CHECK-LABEL: @memccpy_to_memcpy6( 62; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(6) [[DST:%.*]], i8* nonnull align 1 dereferenceable(6) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 6, i1 false) 63; CHECK-NEXT: ret i8* null 64; 65 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 6); 66 ret i8* %call 67} 68 69define i8* @memccpy_to_memcpy7(i8* %dst) { 70; CHECK-LABEL: @memccpy_to_memcpy7( 71; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(5) [[DST:%.*]], i8* nonnull align 1 dereferenceable(5) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 5, i1 false) 72; CHECK-NEXT: ret i8* null 73; 74 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 5) ; 115 is 's' 75 ret i8* %call 76} 77 78define i8* @memccpy_to_memcpy8(i8* %dst) { 79; CHECK-LABEL: @memccpy_to_memcpy8( 80; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* nonnull align 1 dereferenceable(11) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 11, i1 false) 81; CHECK-NEXT: ret i8* null 82; 83 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 11) ; 115 is 's' 84 ret i8* %call 85} 86 87define i8* @memccpy_to_memcpy9(i8* %dst, i64 %n) { 88; CHECK-LABEL: @memccpy_to_memcpy9( 89; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(12) [[DST:%.*]], i8* nonnull align 1 dereferenceable(12) getelementptr inbounds ([12 x i8], [12 x i8]* @StopCharAfterNulTerminator, i64 0, i64 0), i64 12, i1 false) 90; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 12 91; CHECK-NEXT: ret i8* [[TMP1]] 92; 93 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @StopCharAfterNulTerminator, i64 0, i64 0), i32 120, i64 15) ; 120 is 'x' 94 ret i8* %call 95} 96 97define i8* @memccpy_to_memcpy10(i8* %dst, i64 %n) { 98; CHECK-LABEL: @memccpy_to_memcpy10( 99; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false) 100; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11 101; CHECK-NEXT: ret i8* [[TMP1]] 102; 103 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 255, i64 15) 104 ret i8* %call 105} 106 107define i8* @memccpy_to_memcpy11(i8* %dst, i64 %n) { 108; CHECK-LABEL: @memccpy_to_memcpy11( 109; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false) 110; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11 111; CHECK-NEXT: ret i8* [[TMP1]] 112; 113 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 -1, i64 15) 114 ret i8* %call 115} 116 117define i8* @memccpy_to_memcpy12(i8* %dst, i64 %n) { 118; CHECK-LABEL: @memccpy_to_memcpy12( 119; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false) 120; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11 121; CHECK-NEXT: ret i8* [[TMP1]] 122; 123 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 1023, i64 15) 124 ret i8* %call 125} 126 127define i8* @memccpy_to_null(i8* %dst, i8* %src, i32 %c) { 128; CHECK-LABEL: @memccpy_to_null( 129; CHECK-NEXT: ret i8* null 130; 131 %call = call i8* @memccpy(i8* %dst, i8* %src, i32 %c, i64 0) 132 ret i8* %call 133} 134 135define void @memccpy_dst_src_same_retval_unused(i8* %dst, i32 %c, i64 %n) { 136; CHECK-LABEL: @memccpy_dst_src_same_retval_unused( 137; CHECK-NEXT: ret void 138; 139 %call = call i8* @memccpy(i8* %dst, i8* %dst, i32 %c, i64 %n) 140 ret void 141} 142 143; Negative tests 144define i8* @unknown_src(i8* %dst, i8* %src) { 145; CHECK-LABEL: @unknown_src( 146; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* [[SRC:%.*]], i32 114, i64 12) 147; CHECK-NEXT: ret i8* [[CALL]] 148; 149 %call = call i8* @memccpy(i8* %dst, i8* %src, i32 114, i64 12) 150 ret i8* %call 151} 152 153define i8* @unknown_stop_char(i8* %dst, i32 %c) { 154; CHECK-LABEL: @unknown_stop_char( 155; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 [[C:%.*]], i64 12) 156; CHECK-NEXT: ret i8* [[CALL]] 157; 158 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 %c, i64 12) 159 ret i8* %call 160} 161 162define i8* @unknown_size_n(i8* %dst, i64 %n) { 163; CHECK-LABEL: @unknown_size_n( 164; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 [[N:%.*]]) 165; CHECK-NEXT: ret i8* [[CALL]] 166; 167 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 %n) 168 ret i8* %call 169} 170 171define i8* @no_nul_terminator(i8* %dst, i64 %n) { 172; CHECK-LABEL: @no_nul_terminator( 173; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([12 x i8], [12 x i8]* @StopCharAfterNulTerminator, i64 0, i64 0), i32 120, i64 [[N:%.*]]) 174; CHECK-NEXT: ret i8* [[CALL]] 175; 176 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @StopCharAfterNulTerminator, i64 0, i64 0), i32 120, i64 %n) ; 120 is 'x' 177 ret i8* %call 178} 179 180define i8* @possibly_valid_data_after_array(i8* %dst, i64 %n) { 181; CHECK-LABEL: @possibly_valid_data_after_array( 182; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([10 x i8], [10 x i8]* @NoNulTerminator, i64 0, i64 0), i32 115, i64 [[N:%.*]]) 183; CHECK-NEXT: ret i8* [[CALL]] 184; 185 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @NoNulTerminator, i64 0, i64 0), i32 115, i64 %n) ; 115 is 's' 186 ret i8* %call 187} 188 189define i8* @possibly_valid_data_after_array2(i8* %dst, i64 %n) { 190; CHECK-LABEL: @possibly_valid_data_after_array2( 191; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 [[N:%.*]]) 192; CHECK-NEXT: ret i8* [[CALL]] 193; 194 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 %n) ; 115 is 's' 195 ret i8* %call 196} 197 198define i8* @possibly_valid_data_after_array3(i8* %dst) { 199; CHECK-LABEL: @possibly_valid_data_after_array3( 200; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 12) 201; CHECK-NEXT: ret i8* [[CALL]] 202; 203 %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 115, i64 12) ; 115 is 's' 204 ret i8* %call 205} 206 207define i8* @memccpy_dst_src_same_retval_used(i8* %dst, i32 %c, i64 %n) { 208; CHECK-LABEL: @memccpy_dst_src_same_retval_used( 209; CHECK-NEXT: [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* [[DST]], i32 [[C:%.*]], i64 [[N:%.*]]) 210; CHECK-NEXT: ret i8* [[CALL]] 211; 212 %call = call i8* @memccpy(i8* %dst, i8* %dst, i32 %c, i64 %n) 213 ret i8* %call 214} 215