llvm/test/Transforms/InstCombine/memrchr-2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3 ;
   4 ; Verify that memrchr calls with an out of bounds size are not folded to
   5 ; null (they might be intercepted by sanitizers).
   6
   7 declare ptr @memrchr(ptr, i32, i64)
   8
   9 @ax = external global [0 x i8]
  10 @ax1 = external global [1 x i8]
  11 @a12345 = constant [5 x i8] c"\01\02\03\04\05"
  12
  13
  14 ; Do not fold memrchr(a12345, C, UINT32_MAX + 1LU) to null or to a12345
  15 ; as might happen if the size were to be truncated to int32_t.
  16
  17 define ptr @call_memrchr_a12345_c_ui32max_p1(i32 %C) {
  18 ; CHECK-LABEL: @call_memrchr_a12345_c_ui32max_p1(
  19 ; CHECK-NEXT:    [[RET:%.*]] = call ptr @memrchr(ptr noundef nonnull dereferenceable(4294967296) @a12345, i32 [[C:%.*]], i64 4294967296)
  20 ; CHECK-NEXT:    ret ptr [[RET]]
  21 ;
  22
  23   %ret = call ptr @memrchr(ptr @a12345, i32 %C, i64 4294967296)
  24   ret ptr %ret
  25 }
  26
  27
  28 ; Do not fold memrchr(ax1, C, UINT32_MAX + 2LU) to null or to *ax1 == 1.
  29
  30 define ptr @call_memrchr_ax1_c_ui32max_p2(i32 %C) {
  31 ; CHECK-LABEL: @call_memrchr_ax1_c_ui32max_p2(
  32 ; CHECK-NEXT:    [[RET:%.*]] = call ptr @memrchr(ptr noundef nonnull dereferenceable(4294967297) @ax1, i32 [[C:%.*]], i64 4294967297)
  33 ; CHECK-NEXT:    ret ptr [[RET]]
  34 ;
  35
  36   %ret = call ptr @memrchr(ptr @ax1, i32 %C, i64 4294967297)
  37   ret ptr %ret
  38 }
  39
  40
  41 ; Do not fold memrchr(ax, C, UINT32_MAX + 2LU) to *ax == 1.
  42
  43 define ptr @call_memrchr_ax_c_ui32max_p2(i32 %C) {
  44 ; CHECK-LABEL: @call_memrchr_ax_c_ui32max_p2(
  45 ; CHECK-NEXT:    [[RET:%.*]] = call ptr @memrchr(ptr noundef nonnull dereferenceable(4294967297) @ax, i32 [[C:%.*]], i64 4294967297)
  46 ; CHECK-NEXT:    ret ptr [[RET]]
  47 ;
  48
  49   %ret = call ptr @memrchr(ptr @ax, i32 %C, i64 4294967297)
  50   ret ptr %ret
  51 }
  52
  53
  54 ; Do not fold memrchr(a12345, C, 6) to null.
  55
  56 define ptr @call_memrchr_a12345_c_6(i32 %C) {
  57 ; CHECK-LABEL: @call_memrchr_a12345_c_6(
  58 ; CHECK-NEXT:    [[RET:%.*]] = call ptr @memrchr(ptr noundef nonnull dereferenceable(6) @a12345, i32 [[C:%.*]], i64 6)
  59 ; CHECK-NEXT:    ret ptr [[RET]]
  60 ;
  61
  62   %ret = call ptr @memrchr(ptr @a12345, i32 %C, i64 6)
  63   ret ptr %ret
  64 }
  65
  66
  67 ; Do not fold memrchr(a12345, C, SIZE_MAX) to null.
  68
  69 define ptr @call_memrchr_a12345_c_szmax(i32 %C) {
  70 ; CHECK-LABEL: @call_memrchr_a12345_c_szmax(
  71 ; CHECK-NEXT:    [[RET:%.*]] = call ptr @memrchr(ptr noundef nonnull dereferenceable(18446744073709551615) @a12345, i32 [[C:%.*]], i64 -1)
  72 ; CHECK-NEXT:    ret ptr [[RET]]
  73 ;
  74
  75   %ret = call ptr @memrchr(ptr @a12345, i32 %C, i64 18446744073709551615)
  76   ret ptr %ret
  77 }