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_memcpy4(i8* %dst) {
  43 ; CHECK-LABEL: @memccpy_to_memcpy4(
  44 ; 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)
  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
  51 define i8* @memccpy_to_memcpy5(i8* %dst) {
  52 ; CHECK-LABEL: @memccpy_to_memcpy5(
  53 ; 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)
  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
  60 define i8* @memccpy_to_memcpy6(i8* %dst) {
  61 ; CHECK-LABEL: @memccpy_to_memcpy6(
  62 ; 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)
  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
  69 define i8* @memccpy_to_memcpy7(i8* %dst) {
  70 ; CHECK-LABEL: @memccpy_to_memcpy7(
  71 ; 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)
  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
  78 define i8* @memccpy_to_memcpy8(i8* %dst) {
  79 ; CHECK-LABEL: @memccpy_to_memcpy8(
  80 ; 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)
  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
  87 define 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* 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)
  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
  97 define 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* 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)
 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
 107 define 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* 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)
 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
 117 define 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* 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)
 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
 127 define 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
 135 define 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
 144 define 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
 153 define 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
 162 define 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
 171 define 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
 180 define 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
 189 define 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
 198 define 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
 207 define 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 }