llvm/test/Transforms/InstCombine/memccpy.ll

   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
   9 declare i8* @memccpy(i8*, i8*, i32, i64)
  10
  11 define 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
  22 define 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
  33 define void @memccpy_to_memcpy3(i8* %dst) {
  34 ; CHECK-LABEL: @memccpy_to_memcpy3(
  35 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(5) [[DST:%.*]], i8* noundef 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
  42 define void @memccpy_to_memcpy3_tail(i8* %dst) {
  43 ; CHECK-LABEL: @memccpy_to_memcpy3_tail(
  44 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(5) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(5) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 5, i1 false)
  45 ; CHECK-NEXT:    ret void
  46 ;
  47   %call = tail 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'
  48   ret void
  49 }
  50
  51 define i8* @memccpy_to_memcpy3_musttail(i8* %dst, i8* %x, i32 %y, i64 %z) {
  52 ; CHECK-LABEL: @memccpy_to_memcpy3_musttail(
  53 ; CHECK-NEXT:    %call = musttail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 111, i64 10)
  54 ; CHECK-NEXT:    ret i8* %call
  55 ;
  56   %call = musttail 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'
  57   ret i8* %call
  58 }
  59
  60
  61 define void @memccpy_to_memcpy4(i8* %dst) {
  62 ; CHECK-LABEL: @memccpy_to_memcpy4(
  63 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(11) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 11, i1 false)
  64 ; CHECK-NEXT:    ret void
  65 ;
  66   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 0, i64 12)
  67   ret void
  68 }
  69
  70 define i8* @memccpy_to_memcpy5(i8* %dst) {
  71 ; CHECK-LABEL: @memccpy_to_memcpy5(
  72 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(7) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(7) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 7, i1 false)
  73 ; CHECK-NEXT:    ret i8* null
  74 ;
  75   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 7)
  76   ret i8* %call
  77 }
  78
  79 define i8* @memccpy_to_memcpy5_tail(i8* %dst) {
  80 ; CHECK-LABEL: @memccpy_to_memcpy5_tail(
  81 ; CHECK-NEXT:    tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(7) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(7) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 7, i1 false)
  82 ; CHECK-NEXT:    ret i8* null
  83 ;
  84   %call = tail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 7)
  85   ret i8* %call
  86 }
  87
  88 define i8* @memccpy_to_memcpy5_musttail(i8* %dst, i8* %x, i32 %y, i64 %z) {
  89 ; CHECK-LABEL: @memccpy_to_memcpy5_musttail(
  90 ; CHECK-NEXT:    %call = musttail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 7)
  91 ; CHECK-NEXT:    ret i8* %call
  92 ;
  93   %call = musttail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 7)
  94   ret i8* %call
  95 }
  96
  97 define i8* @memccpy_to_memcpy6(i8* %dst) {
  98 ; CHECK-LABEL: @memccpy_to_memcpy6(
  99 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(6) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(6) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 6, i1 false)
 100 ; CHECK-NEXT:    ret i8* null
 101 ;
 102   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 6);
 103   ret i8* %call
 104 }
 105
 106 define i8* @memccpy_to_memcpy7(i8* %dst) {
 107 ; CHECK-LABEL: @memccpy_to_memcpy7(
 108 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(5) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(5) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 5, i1 false)
 109 ; CHECK-NEXT:    ret i8* null
 110 ;
 111   %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'
 112   ret i8* %call
 113 }
 114
 115 define i8* @memccpy_to_memcpy8(i8* %dst) {
 116 ; CHECK-LABEL: @memccpy_to_memcpy8(
 117 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(11) getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i64 11, i1 false)
 118 ; CHECK-NEXT:    ret i8* null
 119 ;
 120   %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'
 121   ret i8* %call
 122 }
 123
 124 define i8* @memccpy_to_memcpy9(i8* %dst, i64 %n) {
 125 ; CHECK-LABEL: @memccpy_to_memcpy9(
 126 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(12) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(12) getelementptr inbounds ([12 x i8], [12 x i8]* @StopCharAfterNulTerminator, i64 0, i64 0), i64 12, i1 false)
 127 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 12
 128 ; CHECK-NEXT:    ret i8* [[TMP1]]
 129 ;
 130   %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'
 131   ret i8* %call
 132 }
 133
 134 define i8* @memccpy_to_memcpy10(i8* %dst, i64 %n) {
 135 ; CHECK-LABEL: @memccpy_to_memcpy10(
 136 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false)
 137 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11
 138 ; CHECK-NEXT:    ret i8* [[TMP1]]
 139 ;
 140   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 255, i64 15)
 141   ret i8* %call
 142 }
 143
 144 define i8* @memccpy_to_memcpy11(i8* %dst, i64 %n) {
 145 ; CHECK-LABEL: @memccpy_to_memcpy11(
 146 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false)
 147 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11
 148 ; CHECK-NEXT:    ret i8* [[TMP1]]
 149 ;
 150   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 -1, i64 15)
 151   ret i8* %call
 152 }
 153
 154 define i8* @memccpy_to_memcpy12(i8* %dst, i64 %n) {
 155 ; CHECK-LABEL: @memccpy_to_memcpy12(
 156 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 1 dereferenceable(11) [[DST:%.*]], i8* noundef nonnull align 1 dereferenceable(11) getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i64 11, i1 false)
 157 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[DST]], i64 11
 158 ; CHECK-NEXT:    ret i8* [[TMP1]]
 159 ;
 160   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @StringWithEOF, i64 0, i64 0), i32 1023, i64 15)
 161   ret i8* %call
 162 }
 163
 164 define i8* @memccpy_to_null(i8* %dst, i8* %src, i32 %c) {
 165 ; CHECK-LABEL: @memccpy_to_null(
 166 ; CHECK-NEXT:    ret i8* null
 167 ;
 168   %call = call i8* @memccpy(i8* %dst, i8* %src, i32 %c, i64 0)
 169   ret i8* %call
 170 }
 171
 172 define void @memccpy_dst_src_same_retval_unused(i8* %dst, i32 %c, i64 %n) {
 173 ; CHECK-LABEL: @memccpy_dst_src_same_retval_unused(
 174 ; CHECK-NEXT:    ret void
 175 ;
 176   %call = call i8* @memccpy(i8* %dst, i8* %dst, i32 %c, i64 %n)
 177   ret void
 178 }
 179
 180 ; Negative tests
 181 define i8* @unknown_src(i8* %dst, i8* %src) {
 182 ; CHECK-LABEL: @unknown_src(
 183 ; CHECK-NEXT:    [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* [[SRC:%.*]], i32 114, i64 12)
 184 ; CHECK-NEXT:    ret i8* [[CALL]]
 185 ;
 186   %call = call i8* @memccpy(i8* %dst, i8* %src, i32 114, i64 12)
 187   ret i8* %call
 188 }
 189
 190 define i8* @unknown_stop_char(i8* %dst, i32 %c) {
 191 ; CHECK-LABEL: @unknown_stop_char(
 192 ; 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)
 193 ; CHECK-NEXT:    ret i8* [[CALL]]
 194 ;
 195   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 %c, i64 12)
 196   ret i8* %call
 197 }
 198
 199 define i8* @unknown_size_n(i8* %dst, i64 %n) {
 200 ; CHECK-LABEL: @unknown_size_n(
 201 ; 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:%.*]])
 202 ; CHECK-NEXT:    ret i8* [[CALL]]
 203 ;
 204   %call = call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 %n)
 205   ret i8* %call
 206 }
 207
 208 define i8* @no_nul_terminator(i8* %dst, i64 %n) {
 209 ; CHECK-LABEL: @no_nul_terminator(
 210 ; 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:%.*]])
 211 ; CHECK-NEXT:    ret i8* [[CALL]]
 212 ;
 213   %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'
 214   ret i8* %call
 215 }
 216
 217 define i8* @possibly_valid_data_after_array(i8* %dst, i64 %n) {
 218 ; CHECK-LABEL: @possibly_valid_data_after_array(
 219 ; 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:%.*]])
 220 ; CHECK-NEXT:    ret i8* [[CALL]]
 221 ;
 222   %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'
 223   ret i8* %call
 224 }
 225
 226 define i8* @possibly_valid_data_after_array2(i8* %dst, i64 %n) {
 227 ; CHECK-LABEL: @possibly_valid_data_after_array2(
 228 ; 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:%.*]])
 229 ; CHECK-NEXT:    ret i8* [[CALL]]
 230 ;
 231   %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'
 232   ret i8* %call
 233 }
 234
 235 define i8* @possibly_valid_data_after_array3(i8* %dst) {
 236 ; CHECK-LABEL: @possibly_valid_data_after_array3(
 237 ; 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)
 238 ; CHECK-NEXT:    ret i8* [[CALL]]
 239 ;
 240   %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'
 241   ret i8* %call
 242 }
 243
 244 define i8* @memccpy_dst_src_same_retval_used(i8* %dst, i32 %c, i64 %n) {
 245 ; CHECK-LABEL: @memccpy_dst_src_same_retval_used(
 246 ; CHECK-NEXT:    [[CALL:%.*]] = call i8* @memccpy(i8* [[DST:%.*]], i8* [[DST]], i32 [[C:%.*]], i64 [[N:%.*]])
 247 ; CHECK-NEXT:    ret i8* [[CALL]]
 248 ;
 249   %call = call i8* @memccpy(i8* %dst, i8* %dst, i32 %c, i64 %n)
 250   ret i8* %call
 251 }
 252
 253 define i8* @memccpy_to_memcpy_musttail(i8* %dst, i8* %x, i32 %y, i64 %z) {
 254 ; CHECK-LABEL: @memccpy_to_memcpy_musttail(
 255 ; CHECK-NEXT:    %call = musttail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 12)
 256 ; CHECK-NEXT:    ret i8* %call
 257 ;
 258   %call = musttail 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'
 259   ret i8* %call
 260 }
 261
 262 define i8* @memccpy_to_memcpy2_musttail(i8* %dst, i8* %x, i32 %y, i64 %z) {
 263 ; CHECK-LABEL: @memccpy_to_memcpy2_musttail(
 264 ; CHECK-NEXT:    %call = musttail call i8* @memccpy(i8* %dst, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @hello, i64 0, i64 0), i32 114, i64 8)
 265 ; CHECK-NEXT:    ret i8* %call
 266 ;
 267   %call = musttail 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'
 268   ret i8* %call
 269 }
 270