diff --git a/llvm/test/Transforms/InstCombine/memrchr-2.ll b/llvm/test/Transforms/InstCombine/memrchr-2.ll index 7c419d83f8469..d853ec9dc05c9 100644 --- a/llvm/test/Transforms/InstCombine/memrchr-2.ll +++ b/llvm/test/Transforms/InstCombine/memrchr-2.ll @@ -10,25 +10,25 @@ declare i8* @memrchr(i8*, i32, i64) @a12345 = constant [5 x i8] c"\01\02\03\04\05" -; Fold memrchr(a12345, 1, UINT32_MAX + 1LU) to null (and not to a12345 +; Fold memrchr(a12345, C, UINT32_MAX + 1LU) to null (and not to a12345 ; as might happen if the size were to be truncated to int32_t). -define i8* @fold_memrchr_a12345_1_ui32max_p1(i32 %0) { -; CHECK-LABEL: @fold_memrchr_a12345_1_ui32max_p1( +define i8* @fold_memrchr_a12345_c_ui32max_p1(i32 %C) { +; CHECK-LABEL: @fold_memrchr_a12345_c_ui32max_p1( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @a12345, i64 0, i64 0), i32 [[TMP0:%.*]], i64 4294967296) ; CHECK-NEXT: ret i8* [[RET]] ; ; CHECK : ret i8* null %ptr = getelementptr [5 x i8], [5 x i8]* @a12345, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 4294967296) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 4294967296) ret i8* %ret } -; Fold memrchr(ax1, 1, UINT32_MAX + 2LU) to null (and not to *ax1 == 1). +; Fold memrchr(ax1, C, UINT32_MAX + 2LU) to null (and not to *ax1 == 1). -define i8* @fold_memrchr_ax1_1_ui32max_p2(i32 %0) { +define i8* @fold_memrchr_ax1_1_ui32max_p2(i32 %C) { ; CHECK-LABEL: @fold_memrchr_ax1_1_ui32max_p2( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([1 x i8], [1 x i8]* @ax1, i64 0, i64 0), i32 [[TMP0:%.*]], i64 4294967297) ; CHECK-NEXT: ret i8* [[RET]] @@ -36,28 +36,28 @@ define i8* @fold_memrchr_ax1_1_ui32max_p2(i32 %0) { ; CHECK : ret i8* null %ptr = getelementptr [1 x i8], [1 x i8]* @ax1, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 4294967297) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 4294967297) ret i8* %ret } -; But don't fold memrchr(ax, 1, UINT32_MAX + 2LU) to *ax == 1. +; But don't fold memrchr(ax, C, UINT32_MAX + 2LU) to *ax == 1. -define i8* @fold_memrchr_ax_1_ui32max_p2(i32 %0) { +define i8* @fold_memrchr_ax_1_ui32max_p2(i32 %C) { ; CHECK-LABEL: @fold_memrchr_ax_1_ui32max_p2( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @a12345, i64 0, i64 0), i32 [[TMP0:%.*]], i64 4294967297) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [5 x i8], [5 x i8]* @a12345, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 4294967297) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 4294967297) ret i8* %ret } -; Fold memrchr(a12345, c, 6) to null. +; Fold memrchr(a12345, C, 6) to null. -define i8* @fold_memrchr_a12345_c_6(i32 %0) { +define i8* @fold_memrchr_a12345_c_6(i32 %C) { ; CHECK-LABEL: @fold_memrchr_a12345_c_6( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @a12345, i64 0, i64 0), i32 [[TMP0:%.*]], i64 6) ; CHECK-NEXT: ret i8* [[RET]] @@ -65,14 +65,14 @@ define i8* @fold_memrchr_a12345_c_6(i32 %0) { ; CHECK : ret i8* null %ptr = getelementptr [5 x i8], [5 x i8]* @a12345, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 6) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 6) ret i8* %ret } -; Fold memrchr(a12345, c, SIZE_MAX) to null. +; Fold memrchr(a12345, C, SIZE_MAX) to null. -define i8* @fold_memrchr_a12345_c_szmax(i32 %0) { +define i8* @fold_memrchr_a12345_c_szmax(i32 %C) { ; CHECK-LABEL: @fold_memrchr_a12345_c_szmax( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @a12345, i64 0, i64 0), i32 [[TMP0:%.*]], i64 -1) ; CHECK-NEXT: ret i8* [[RET]] @@ -80,6 +80,6 @@ define i8* @fold_memrchr_a12345_c_szmax(i32 %0) { ; CHECK : ret i8* null %ptr = getelementptr [5 x i8], [5 x i8]* @a12345, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 18446744073709551615) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 18446744073709551615) ret i8* %ret } diff --git a/llvm/test/Transforms/InstCombine/memrchr-3.ll b/llvm/test/Transforms/InstCombine/memrchr-3.ll index a53e7bf66b9ec..df0b72a581919 100644 --- a/llvm/test/Transforms/InstCombine/memrchr-3.ll +++ b/llvm/test/Transforms/InstCombine/memrchr-3.ll @@ -11,16 +11,16 @@ declare i8* @memrchr(i8*, i32, i64) @a123123 = constant [6 x i8] c"\01\02\03\01\02\03" -; Fold memrchr(ax, c, 0) to null. +; Fold memrchr(ax, C, 0) to null. -define i8* @fold_memrchr_ax_c_0(i32 %0) { +define i8* @fold_memrchr_ax_c_0(i32 %C) { ; CHECK-LABEL: @fold_memrchr_ax_c_0( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* getelementptr inbounds ([0 x i8], [0 x i8]* @ax, i64 0, i64 0), i32 [[TMP0:%.*]], i64 0) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [0 x i8], [0 x i8]* @ax, i32 0, i32 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 0) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 0) ret i8* %ret } @@ -91,15 +91,15 @@ define i8* @fold_memrchr_a123123_3_1() { } -; Fold memrchr(ax, c, 1) to *ax == c ? ax : null. +; Fold memrchr(ax, C, 1) to *ax == C ? ax : null. -define i8* @fold_memrchr_ax_c_1(i32 %0) { +define i8* @fold_memrchr_ax_c_1(i32 %C) { ; CHECK-LABEL: @fold_memrchr_ax_c_1( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([0 x i8], [0 x i8]* @ax, i64 0, i64 0), i32 [[TMP0:%.*]], i64 1) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [0 x i8], [0 x i8]* @ax, i32 0, i32 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 1) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 1) ret i8* %ret } @@ -174,16 +174,16 @@ define i8* @fold_memrchr_a12345_2_5() { } -; Fold memrchr(a12345, 0, %0) to null. +; Fold memrchr(a12345, 0, %N) to null. -define i8* @fold_memrchr_a12345_0_n(i64 %0) { +define i8* @fold_memrchr_a12345_0_n(i64 %N) { ; CHECK-LABEL: @fold_memrchr_a12345_0_n( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @a12345, i64 0, i64 0), i32 0, i64 [[TMP0:%.*]]) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [5 x i8], [5 x i8]* @a12345, i32 0, i32 0 - %ret = call i8* @memrchr(i8* %ptr, i32 0, i64 %0) + %ret = call i8* @memrchr(i8* %ptr, i32 0, i64 %N) ret i8* %ret } diff --git a/llvm/test/Transforms/InstCombine/memrchr-4.ll b/llvm/test/Transforms/InstCombine/memrchr-4.ll index c5e6fba3c3f1c..f1f5595d457f9 100644 --- a/llvm/test/Transforms/InstCombine/memrchr-4.ll +++ b/llvm/test/Transforms/InstCombine/memrchr-4.ll @@ -10,57 +10,57 @@ declare i8* @memrchr(i8*, i32, i64) @a1110111 = constant [7 x i8] c"\01\01\01\00\01\01\01" -; Fold memrchr(a11111, c, 5) to *a11111 == c ? a11111 + 5 - 1 : null. +; Fold memrchr(a11111, C, 5) to *a11111 == C ? a11111 + 5 - 1 : null. -define i8* @fold_memrchr_a11111_c_5(i32 %0) { +define i8* @fold_memrchr_a11111_c_5(i32 %C) { ; CHECK-LABEL: @fold_memrchr_a11111_c_5( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @a11111, i64 0, i64 0), i32 [[TMP0:%.*]], i64 5) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [5 x i8], [5 x i8]* @a11111, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 5) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 5) ret i8* %ret } -; Fold memrchr(a1110111, c, 3) to a1110111[2] == c ? a1110111 + 2 : null. +; Fold memrchr(a1110111, C, 3) to a1110111[2] == C ? a1110111 + 2 : null. -define i8* @fold_memrchr_a1110111_c_3(i32 %0) { +define i8* @fold_memrchr_a1110111_c_3(i32 %C) { ; CHECK-LABEL: @fold_memrchr_a1110111_c_3( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @a1110111, i64 0, i64 0), i32 [[TMP0:%.*]], i64 3) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [7 x i8], [7 x i8]* @a1110111, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 3) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 3) ret i8* %ret } -; Don't fold memrchr(a1110111, c, 4). +; Don't fold memrchr(a1110111, C, 4). -define i8* @call_memrchr_a1110111_c_4(i32 %0) { +define i8* @call_memrchr_a1110111_c_4(i32 %C) { ; CHECK-LABEL: @call_memrchr_a1110111_c_4( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @a1110111, i64 0, i64 0), i32 [[TMP0:%.*]], i64 4) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [7 x i8], [7 x i8]* @a1110111, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 4) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 4) ret i8* %ret } -; Don't fold memrchr(a1110111, c, 7). +; Don't fold memrchr(a1110111, C, 7). -define i8* @call_memrchr_a11111_c_7(i32 %0) { +define i8* @call_memrchr_a11111_c_7(i32 %C) { ; CHECK-LABEL: @call_memrchr_a11111_c_7( ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* noundef nonnull dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @a1110111, i64 0, i64 0), i32 [[TMP0:%.*]], i64 7) ; CHECK-NEXT: ret i8* [[RET]] ; %ptr = getelementptr [7 x i8], [7 x i8]* @a1110111, i64 0, i64 0 - %ret = call i8* @memrchr(i8* %ptr, i32 %0, i64 7) + %ret = call i8* @memrchr(i8* %ptr, i32 %C, i64 7) ret i8* %ret }