635f93dff7
If nonnull is already set, we currently skip setting both nonnull and dereferenceable. Make these independent, to avoid regressions when additional nonnull attributes are inferred earlier.
65 lines
1.9 KiB
LLVM
65 lines
1.9 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
|
|
|
|
; Verify that an excessive size to strncmp() isn't truncated to an in-bounds
|
|
; value that results in the call being incorrectly folded (as might happen
|
|
; when LLVM is compiled in ILP32 mode).
|
|
|
|
declare i32 @strncmp(ptr, ptr, i64)
|
|
|
|
@ax = external global [0 x i8]
|
|
@bx = external global [0 x i8]
|
|
|
|
@a12345 = constant [5 x i8] c"\01\02\03\04\05"
|
|
@a123456 = constant [6 x i8] c"\01\02\03\04\05\06"
|
|
|
|
|
|
; Do not fold strncmp(ax, bx, UINT_MAX + (size_t)1) to 0.
|
|
|
|
define i32 @call_strncmp_ax_bx_uimax_p1() {
|
|
; CHECK-LABEL: @call_strncmp_ax_bx_uimax_p1(
|
|
; CHECK-NEXT: [[RES:%.*]] = call i32 @strncmp(ptr noundef nonnull dereferenceable(1) @ax, ptr noundef nonnull dereferenceable(1) @bx, i64 4294967296)
|
|
; CHECK-NEXT: ret i32 [[RES]]
|
|
;
|
|
|
|
%res = call i32 @strncmp(ptr @ax, ptr @bx, i64 4294967296)
|
|
ret i32 %res
|
|
}
|
|
|
|
|
|
; Do not fold strncmp(ax, bx, UINT_MAX + (size_t)2) to *ax - *bx.
|
|
|
|
define i32 @call_strncmp_ax_bx_uimax_p2() {
|
|
; CHECK-LABEL: @call_strncmp_ax_bx_uimax_p2(
|
|
; CHECK-NEXT: [[RES:%.*]] = call i32 @strncmp(ptr noundef nonnull dereferenceable(1) @ax, ptr noundef nonnull dereferenceable(1) @bx, i64 4294967296)
|
|
; CHECK-NEXT: ret i32 [[RES]]
|
|
;
|
|
|
|
%res = call i32 @strncmp(ptr @ax, ptr @bx, i64 4294967296)
|
|
ret i32 %res
|
|
}
|
|
|
|
|
|
; Fold strncmp(a12345, a123456, UINT_MAX + (size_t)2) to -1 (and not to 0).
|
|
|
|
define i32 @fold_strncmp_a12345_2_uimax_p2() {
|
|
; CHECK-LABEL: @fold_strncmp_a12345_2_uimax_p2(
|
|
; CHECK-NEXT: ret i32 -1
|
|
;
|
|
|
|
%res = call i32 @strncmp(ptr @a12345, ptr @a123456, i64 4294967297)
|
|
ret i32 %res
|
|
}
|
|
|
|
|
|
; Fold strncmp(a123456, a12345, UINT_MAX + (size_t)3) to +1 (and not to 0).
|
|
|
|
define i32 @fold_strncmp_a12345_2_uimax_p3() {
|
|
; CHECK-LABEL: @fold_strncmp_a12345_2_uimax_p3(
|
|
; CHECK-NEXT: ret i32 1
|
|
;
|
|
|
|
%res = call i32 @strncmp(ptr @a123456, ptr @a12345, i64 4294967298)
|
|
ret i32 %res
|
|
}
|