580 lines
29 KiB
LLVM
580 lines
29 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
|
|
|
declare void @llvm.assume(i1 noundef)
|
|
|
|
define i1 @gep_sub_1_uge_inbounds(ptr %dst, ptr %lower) {
|
|
; CHECK-LABEL: @gep_sub_1_uge_inbounds(
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp uge ptr [[DST:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr inbounds i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp uge ptr [[DST_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp uge ptr [[DST_SUB_3]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, true
|
|
; CHECK-NEXT: [[DST_SUB_4:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -4
|
|
; CHECK-NEXT: [[CMP_SUB_4:%.*]] = icmp uge ptr [[DST_SUB_4]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_4]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%pre = icmp uge ptr %dst, %lower
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr inbounds i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp uge ptr %dst.sub.1, %lower
|
|
%dst.sub.3 = getelementptr inbounds i8, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp uge ptr %dst.sub.3, %lower
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.3
|
|
%dst.sub.4 = getelementptr inbounds i8, ptr %dst.add.3, i64 -4
|
|
%cmp.sub.4 = icmp uge ptr %dst.sub.4, %lower
|
|
%res.2 = xor i1 %res.1, %cmp.sub.4
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_sub_1_uge_only_inner_inbounds(ptr %dst, ptr %lower) {
|
|
; CHECK-LABEL: @gep_sub_1_uge_only_inner_inbounds(
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp uge ptr [[DST:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr inbounds i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp uge ptr [[DST_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp uge ptr [[DST_SUB_3]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[CMP_SUB_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: [[DST_SUB_4:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -4
|
|
; CHECK-NEXT: [[CMP_SUB_4:%.*]] = icmp uge ptr [[DST_SUB_4]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_4]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%pre = icmp uge ptr %dst, %lower
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr inbounds i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr i8, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp uge ptr %dst.sub.1, %lower
|
|
%dst.sub.3 = getelementptr i8, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp uge ptr %dst.sub.3, %lower
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.3
|
|
%dst.sub.4 = getelementptr i8, ptr %dst.add.3, i64 -4
|
|
%cmp.sub.4 = icmp uge ptr %dst.sub.4, %lower
|
|
%res.2 = xor i1 %res.1, %cmp.sub.4
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_sub_1_uge_only_outer_inbounds(ptr %dst, ptr %lower) {
|
|
; CHECK-LABEL: @gep_sub_1_uge_only_outer_inbounds(
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp uge ptr [[DST:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp uge ptr [[DST_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp uge ptr [[DST_SUB_3]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[CMP_SUB_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: [[DST_SUB_4:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -4
|
|
; CHECK-NEXT: [[CMP_SUB_4:%.*]] = icmp uge ptr [[DST_SUB_4]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_4]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%pre = icmp uge ptr %dst, %lower
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp uge ptr %dst.sub.1, %lower
|
|
%dst.sub.3 = getelementptr inbounds i8, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp uge ptr %dst.sub.3, %lower
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.3
|
|
%dst.sub.4 = getelementptr inbounds i8, ptr %dst.add.3, i64 -4
|
|
%cmp.sub.4 = icmp uge ptr %dst.sub.4, %lower
|
|
%res.2 = xor i1 %res.1, %cmp.sub.4
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_sub_1_uge_no_inbounds(ptr %dst, ptr %lower) {
|
|
; CHECK-LABEL: @gep_sub_1_uge_no_inbounds(
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp uge ptr [[DST:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp uge ptr [[DST_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp uge ptr [[DST_SUB_3]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[CMP_SUB_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: [[DST_SUB_4:%.*]] = getelementptr i8, ptr [[DST_ADD_3]], i64 -4
|
|
; CHECK-NEXT: [[CMP_SUB_4:%.*]] = icmp uge ptr [[DST_SUB_4]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_4]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%pre = icmp uge ptr %dst, %lower
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr i8, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp uge ptr %dst.sub.1, %lower
|
|
%dst.sub.3 = getelementptr i8, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp uge ptr %dst.sub.3, %lower
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.3
|
|
%dst.sub.4 = getelementptr i8, ptr %dst.add.3, i64 -4
|
|
%cmp.sub.4 = icmp uge ptr %dst.sub.4, %lower
|
|
%res.2 = xor i1 %res.1, %cmp.sub.4
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult(ptr %dst, ptr %upper) {
|
|
; CHECK-LABEL: @gep_sub_1_ult(
|
|
; CHECK-NEXT: [[DST_ADD_4:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i64 4
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp ult ptr [[DST_ADD_4]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr inbounds i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp ult ptr [[DST_SUB_3]], [[UPPER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, true
|
|
; CHECK-NEXT: ret i1 [[RES_1]]
|
|
;
|
|
%dst.add.4 = getelementptr inbounds i8, ptr %dst, i64 4
|
|
%pre = icmp ult ptr %dst.add.4, %upper
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr inbounds i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
%dst.sub.3 = getelementptr inbounds i8, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp ult ptr %dst.sub.3, %upper
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.3
|
|
ret i1 %res.1
|
|
}
|
|
|
|
define i1 @gep_sub_ult_var_idx(ptr %dst, ptr %upper, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_ult_var_idx(
|
|
; CHECK-NEXT: [[NOT_ZERO:%.*]] = icmp ne i8 [[IDX:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[NOT_ZERO]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_IDX]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER]]
|
|
; CHECK-NEXT: [[DST_SUB_2:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_IDX]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_2:%.*]] = icmp ult ptr [[DST_SUB_2]], [[UPPER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, [[CMP_SUB_2]]
|
|
; CHECK-NEXT: [[DST_SUB_1_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_SUB_1]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1_SUB_1]], [[UPPER]]
|
|
; CHECK-NEXT: [[CMP_SUB_1_SUB_1_EQ:%.*]] = icmp eq ptr [[DST_SUB_1_SUB_1]], [[DST_SUB_2]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_1_SUB_1]]
|
|
; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], [[CMP_SUB_1_SUB_1_EQ]]
|
|
; CHECK-NEXT: ret i1 [[RES_3]]
|
|
;
|
|
%not.zero = icmp ne i8 %idx, 0
|
|
call void @llvm.assume(i1 %not.zero)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%pre = icmp ult ptr %dst.add.idx, %upper
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.idx, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
%dst.sub.2 = getelementptr inbounds i8, ptr %dst.add.idx, i64 -2
|
|
%cmp.sub.2 = icmp ult ptr %dst.sub.2, %upper
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.2
|
|
%dst.sub.1.sub.1 = getelementptr inbounds i8, ptr %dst.sub.1, i64 -1
|
|
%cmp.sub.1.sub.1 = icmp ult ptr %dst.sub.1.sub.1, %upper
|
|
%cmp.sub.1.sub.1.eq = icmp eq ptr %dst.sub.1.sub.1, %dst.sub.2
|
|
%res.2 = xor i1 %res.1, %cmp.sub.1.sub.1
|
|
%res.3 = xor i1 %res.2, %cmp.sub.1.sub.1.eq
|
|
ret i1 %res.3
|
|
}
|
|
|
|
define i1 @gep_sub_ult_var_idx_sgt_1(ptr %dst, ptr %upper, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_ult_var_idx_sgt_1(
|
|
; CHECK-NEXT: [[SGT_1:%.*]] = icmp sgt i8 [[IDX:%.*]], 1
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SGT_1]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_IDX]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER]]
|
|
; CHECK-NEXT: [[DST_SUB_2:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_IDX]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_2:%.*]] = icmp ult ptr [[DST_SUB_2]], [[UPPER]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[CMP_SUB_1]], [[CMP_SUB_2]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_IDX]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp ult ptr [[DST_SUB_3]], [[UPPER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%sgt.1 = icmp sgt i8 %idx, 1
|
|
call void @llvm.assume(i1 %sgt.1)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%pre = icmp ult ptr %dst.add.idx, %upper
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.idx, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
%dst.sub.2 = getelementptr inbounds i8, ptr %dst.add.idx, i64 -2
|
|
%cmp.sub.2 = icmp ult ptr %dst.sub.2, %upper
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.2
|
|
%dst.sub.3 = getelementptr inbounds i8, ptr %dst.add.idx, i64 -3
|
|
%cmp.sub.3 = icmp ult ptr %dst.sub.3, %upper
|
|
%res.2 = xor i1 %res.1, %cmp.sub.3
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult_var_idx_inbounds(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_1_ult_var_idx_inbounds(
|
|
; CHECK-NEXT: [[NOT_ZERO:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[NOT_ZERO]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_LEN]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 true
|
|
;
|
|
%not.zero = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %not.zero)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.len, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult_var_idx_only_inner_inbounds(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_1_ult_var_idx_only_inner_inbounds(
|
|
; CHECK-NEXT: [[NOT_ZERO:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[NOT_ZERO]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr i8, ptr [[DST_ADD_LEN]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 [[CMP_IDX]]
|
|
;
|
|
%not.zero = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %not.zero)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr i8, ptr %dst.add.len, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult_var_idx_no_inbounds(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_1_ult_var_idx_no_inbounds(
|
|
; CHECK-NEXT: [[NOT_ZERO:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[NOT_ZERO]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr i8, ptr [[DST_ADD_LEN]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 [[CMP_IDX]]
|
|
;
|
|
%not.zero = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %not.zero)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr i8, ptr %dst.add.len, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_2_ult_var_idx(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_2_ult_var_idx(
|
|
; CHECK-NEXT: [[NOT_ZERO:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[NOT_ZERO]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_LEN]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 [[CMP_IDX]]
|
|
;
|
|
%not.zero = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %not.zero)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.len, i64 -2
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_2_ult_var_idx_inbounds_len_sge_2(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_2_ult_var_idx_inbounds_len_sge_2(
|
|
; CHECK-NEXT: [[SGE_2:%.*]] = icmp sge i8 [[LEN:%.*]], 2
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SGE_2]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_LEN]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 true
|
|
;
|
|
%sge.2 = icmp sge i8 %len, 2
|
|
call void @llvm.assume(i1 %sge.2)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.len, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_2_ult_var_idx_inbounds_len_uge_2(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_2_ult_var_idx_inbounds_len_uge_2(
|
|
; CHECK-NEXT: [[UGE_2:%.*]] = icmp uge i8 [[LEN:%.*]], 2
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[UGE_2]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_LEN]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 true
|
|
;
|
|
%uge.2 = icmp uge i8 %len, 2
|
|
call void @llvm.assume(i1 %uge.2)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.len, i64 -1
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_ult_var_idx_len_sgt_1(ptr %dst, ptr %upper, i8 %len, i8 %idx) {
|
|
; CHECK-LABEL: @gep_sub_ult_var_idx_len_sgt_1(
|
|
; CHECK-NEXT: [[SGT_1:%.*]] = icmp sgt i8 [[LEN:%.*]], 1
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SGT_1]])
|
|
; CHECK-NEXT: [[LEN_EXT:%.*]] = zext i8 [[LEN]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_LEN:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i16 [[LEN_EXT]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[DST_ADD_LEN]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ult ptr [[DST_SUB_1]], [[UPPER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_SUB_1]])
|
|
; CHECK-NEXT: [[CMP_IDX_ULT_LEN:%.*]] = icmp ult i8 [[IDX:%.*]], [[LEN]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP_IDX_ULT_LEN]])
|
|
; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i16
|
|
; CHECK-NEXT: [[DST_ADD_IDX:%.*]] = getelementptr inbounds i8, ptr [[DST]], i16 [[IDX_EXT]]
|
|
; CHECK-NEXT: [[CMP_IDX:%.*]] = icmp ult ptr [[DST_ADD_IDX]], [[UPPER]]
|
|
; CHECK-NEXT: ret i1 [[CMP_IDX]]
|
|
;
|
|
%sgt.1 = icmp sgt i8 %len, 1
|
|
call void @llvm.assume(i1 %sgt.1)
|
|
%len.ext = zext i8 %len to i16
|
|
%dst.add.len = getelementptr inbounds i8, ptr %dst, i16 %len.ext
|
|
%dst.sub.1 = getelementptr inbounds i8, ptr %dst.add.len, i64 -2
|
|
%cmp.sub.1 = icmp ult ptr %dst.sub.1, %upper
|
|
call void @llvm.assume(i1 %cmp.sub.1)
|
|
%cmp.idx.ult.len = icmp ult i8 %idx, %len
|
|
call void @llvm.assume(i1 %cmp.idx.ult.len)
|
|
%idx.ext = zext i8 %idx to i16
|
|
%dst.add.idx = getelementptr inbounds i8, ptr %dst, i16 %idx.ext
|
|
%cmp.idx = icmp ult ptr %dst.add.idx, %upper
|
|
ret i1 %cmp.idx
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult_var_idx_lower_bound(ptr %lower, ptr %src, i8 %len) {
|
|
; CHECK-LABEL: @gep_sub_1_ult_var_idx_lower_bound(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[SRC_UGE_LOWER:%.*]] = icmp uge ptr [[SRC:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SRC_UGE_LOWER]])
|
|
; CHECK-NEXT: [[LEN_POS:%.*]] = icmp sge i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[LEN_POS]])
|
|
; CHECK-NEXT: [[GEP_LEN:%.*]] = getelementptr inbounds i8, ptr [[SRC]], i8 [[LEN]]
|
|
; CHECK-NEXT: [[GEP_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[GEP_LEN]], i8 -1
|
|
; CHECK-NEXT: [[RES:%.*]] = icmp ult ptr [[GEP_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: ret i1 [[RES]]
|
|
;
|
|
entry:
|
|
%src.uge.lower = icmp uge ptr %src, %lower
|
|
call void @llvm.assume(i1 %src.uge.lower)
|
|
|
|
%len.pos = icmp sge i8 %len, 0
|
|
call void @llvm.assume(i1 %len.pos)
|
|
|
|
%gep.len = getelementptr inbounds i8, ptr %src, i8 %len
|
|
%gep.sub.1 = getelementptr inbounds i8, ptr %gep.len, i8 -1
|
|
%res = icmp ult ptr %gep.sub.1, %lower
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @gep_sub_1_ult_var_idx_lower_bound_len_ne_0(ptr %lower, ptr %src, i8 %len) {
|
|
; CHECK-LABEL: @gep_sub_1_ult_var_idx_lower_bound_len_ne_0(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[LEN_NE_0:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[LEN_NE_0]])
|
|
; CHECK-NEXT: [[SRC_UGE_LOWER:%.*]] = icmp uge ptr [[SRC:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SRC_UGE_LOWER]])
|
|
; CHECK-NEXT: [[LEN_POS:%.*]] = icmp sge i8 [[LEN]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[LEN_POS]])
|
|
; CHECK-NEXT: [[GEP_LEN:%.*]] = getelementptr inbounds i8, ptr [[SRC]], i8 [[LEN]]
|
|
; CHECK-NEXT: [[GEP_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[GEP_LEN]], i8 -1
|
|
; CHECK-NEXT: [[RES:%.*]] = icmp ult ptr [[GEP_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: ret i1 [[RES]]
|
|
;
|
|
entry:
|
|
%len.ne.0 = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %len.ne.0)
|
|
|
|
%src.uge.lower = icmp uge ptr %src, %lower
|
|
call void @llvm.assume(i1 %src.uge.lower)
|
|
|
|
%len.pos = icmp sge i8 %len, 0
|
|
call void @llvm.assume(i1 %len.pos)
|
|
|
|
%gep.len = getelementptr inbounds i8, ptr %src, i8 %len
|
|
%gep.sub.1 = getelementptr inbounds i8, ptr %gep.len, i8 -1
|
|
%res = icmp ult ptr %gep.sub.1, %lower
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @gep_sub_2_ult_var_idx_lower_bound_len_ne_0(ptr %lower, ptr %src, i8 %len) {
|
|
; CHECK-LABEL: @gep_sub_2_ult_var_idx_lower_bound_len_ne_0(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[LEN_NE_0:%.*]] = icmp ne i8 [[LEN:%.*]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[LEN_NE_0]])
|
|
; CHECK-NEXT: [[SRC_UGE_LOWER:%.*]] = icmp uge ptr [[SRC:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[SRC_UGE_LOWER]])
|
|
; CHECK-NEXT: [[LEN_POS:%.*]] = icmp sge i8 [[LEN]], 0
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[LEN_POS]])
|
|
; CHECK-NEXT: [[GEP_LEN:%.*]] = getelementptr inbounds i8, ptr [[SRC]], i8 [[LEN]]
|
|
; CHECK-NEXT: [[GEP_SUB_2:%.*]] = getelementptr inbounds i8, ptr [[GEP_LEN]], i8 -2
|
|
; CHECK-NEXT: [[RES:%.*]] = icmp ult ptr [[GEP_SUB_2]], [[LOWER]]
|
|
; CHECK-NEXT: ret i1 [[RES]]
|
|
;
|
|
entry:
|
|
%len.ne.0 = icmp ne i8 %len, 0
|
|
call void @llvm.assume(i1 %len.ne.0)
|
|
|
|
%src.uge.lower = icmp uge ptr %src, %lower
|
|
call void @llvm.assume(i1 %src.uge.lower)
|
|
|
|
%len.pos = icmp sge i8 %len, 0
|
|
call void @llvm.assume(i1 %len.pos)
|
|
|
|
%gep.len = getelementptr inbounds i8, ptr %src, i8 %len
|
|
%gep.sub.2 = getelementptr inbounds i8, ptr %gep.len, i8 -2
|
|
%res = icmp ult ptr %gep.sub.2, %lower
|
|
ret i1 %res
|
|
}
|
|
|
|
define i1 @gep_i16_sub_1_uge_inbounds(ptr %dst, ptr %lower) {
|
|
; CHECK-LABEL: @gep_i16_sub_1_uge_inbounds(
|
|
; CHECK-NEXT: [[PRE:%.*]] = icmp uge ptr [[DST:%.*]], [[LOWER:%.*]]
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[PRE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr inbounds i8, ptr [[DST]], i64 3
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i64 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ule ptr [[DST_SUB_1]], [[LOWER]]
|
|
; CHECK-NEXT: [[DST_SUB_2:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_2:%.*]] = icmp ule ptr [[DST_SUB_2]], [[DST]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 false, [[CMP_SUB_2]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp ule ptr [[DST_SUB_3]], [[LOWER]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%pre = icmp uge ptr %dst, %lower
|
|
call void @llvm.assume(i1 %pre)
|
|
%dst.add.3 = getelementptr inbounds i8, ptr %dst, i64 3
|
|
%dst.sub.1 = getelementptr inbounds i16, ptr %dst.add.3, i64 -1
|
|
%cmp.sub.1 = icmp ule ptr %dst.sub.1, %lower
|
|
%dst.sub.2 = getelementptr inbounds i16, ptr %dst.add.3, i64 -2
|
|
%cmp.sub.2 = icmp ule ptr %dst.sub.2, %dst
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.2
|
|
%dst.sub.3 = getelementptr inbounds i16, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp ule ptr %dst.sub.3, %lower
|
|
%res.2 = xor i1 %res.1, %cmp.sub.3
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @gep_i16_sub_1_uge_inbounds_var_idx(ptr %dst, i64 %off) {
|
|
; CHECK-LABEL: @gep_i16_sub_1_uge_inbounds_var_idx(
|
|
; CHECK-NEXT: [[OFF_UGE:%.*]] = icmp sge i64 [[OFF:%.*]], 1
|
|
; CHECK-NEXT: call void @llvm.assume(i1 [[OFF_UGE]])
|
|
; CHECK-NEXT: [[DST_ADD_3:%.*]] = getelementptr inbounds i8, ptr [[DST:%.*]], i64 [[OFF]]
|
|
; CHECK-NEXT: [[DST_SUB_1:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i32 -1
|
|
; CHECK-NEXT: [[CMP_SUB_1:%.*]] = icmp ule ptr [[DST_SUB_1]], [[DST]]
|
|
; CHECK-NEXT: [[DST_SUB_2:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i64 -2
|
|
; CHECK-NEXT: [[CMP_SUB_2:%.*]] = icmp ule ptr [[DST_SUB_2]], [[DST]]
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[CMP_SUB_1]], [[CMP_SUB_2]]
|
|
; CHECK-NEXT: [[DST_SUB_3:%.*]] = getelementptr inbounds i16, ptr [[DST_ADD_3]], i64 -3
|
|
; CHECK-NEXT: [[CMP_SUB_3:%.*]] = icmp ule ptr [[DST_SUB_3]], [[DST]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[CMP_SUB_3]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
%off.uge = icmp sge i64 %off, 1
|
|
call void @llvm.assume(i1 %off.uge)
|
|
%dst.add.3 = getelementptr inbounds i8, ptr %dst, i64 %off
|
|
%dst.sub.1 = getelementptr inbounds i16, ptr %dst.add.3, i32 -1
|
|
%cmp.sub.1 = icmp ule ptr %dst.sub.1, %dst
|
|
%dst.sub.2 = getelementptr inbounds i16, ptr %dst.add.3, i64 -2
|
|
%cmp.sub.2 = icmp ule ptr %dst.sub.2, %dst
|
|
%res.1 = xor i1 %cmp.sub.1, %cmp.sub.2
|
|
%dst.sub.3 = getelementptr inbounds i16, ptr %dst.add.3, i64 -3
|
|
%cmp.sub.3 = icmp ule ptr %dst.sub.3, %dst
|
|
%res.2 = xor i1 %res.1, %cmp.sub.3
|
|
ret i1 %res.2
|
|
}
|