363 lines
16 KiB
LLVM
363 lines
16 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -instcombine -S | FileCheck %s
|
|
|
|
declare void @use32(i32)
|
|
declare void @use64(i64)
|
|
|
|
define i1 @highest_bit_test_via_lshr(i32 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_lshr(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 32, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = lshr i32 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP]]
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[DATA]], 31
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 32, %nbits
|
|
%high_bits_extracted = lshr i32 %data, %num_low_bits_to_skip
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = lshr i32 %high_bits_extracted, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use32(i32 %high_bits_extracted)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_lshr_with_truncation(i64 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_lshr_with_truncation(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 64, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP_WIDE:%.*]] = zext i32 [[NUM_LOW_BITS_TO_SKIP]] to i64
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = lshr i64 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP_WIDE]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED_NARROW:%.*]] = trunc i64 [[HIGH_BITS_EXTRACTED]] to i32
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[HIGH_BITS_EXTRACTED_NARROW]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use64(i64 [[NUM_LOW_BITS_TO_SKIP_WIDE]])
|
|
; CHECK-NEXT: call void @use64(i64 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED_NARROW]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 64, %nbits
|
|
%num_low_bits_to_skip_wide = zext i32 %num_low_bits_to_skip to i64
|
|
%high_bits_extracted = lshr i64 %data, %num_low_bits_to_skip_wide
|
|
%high_bits_extracted_narrow = trunc i64 %high_bits_extracted to i32
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = lshr i32 %high_bits_extracted_narrow, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use64(i64 %num_low_bits_to_skip_wide)
|
|
call void @use64(i64 %high_bits_extracted)
|
|
call void @use32(i32 %high_bits_extracted_narrow)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_ashr(i32 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_ashr(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 32, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = ashr i32 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP]]
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = ashr i32 [[DATA]], 31
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 32, %nbits
|
|
%high_bits_extracted = ashr i32 %data, %num_low_bits_to_skip
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = ashr i32 %high_bits_extracted, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use32(i32 %high_bits_extracted)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_ashr_with_truncation(i64 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_ashr_with_truncation(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 64, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP_WIDE:%.*]] = zext i32 [[NUM_LOW_BITS_TO_SKIP]] to i64
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = ashr i64 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP_WIDE]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED_NARROW:%.*]] = trunc i64 [[HIGH_BITS_EXTRACTED]] to i32
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = ashr i32 [[HIGH_BITS_EXTRACTED_NARROW]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use64(i64 [[NUM_LOW_BITS_TO_SKIP_WIDE]])
|
|
; CHECK-NEXT: call void @use64(i64 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED_NARROW]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 64, %nbits
|
|
%num_low_bits_to_skip_wide = zext i32 %num_low_bits_to_skip to i64
|
|
%high_bits_extracted = ashr i64 %data, %num_low_bits_to_skip_wide
|
|
%high_bits_extracted_narrow = trunc i64 %high_bits_extracted to i32
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = ashr i32 %high_bits_extracted_narrow, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use64(i64 %num_low_bits_to_skip_wide)
|
|
call void @use64(i64 %high_bits_extracted)
|
|
call void @use32(i32 %high_bits_extracted_narrow)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_lshr_ashr(i32 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_lshr_ashr(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 32, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = lshr i32 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP]]
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = ashr i32 [[HIGH_BITS_EXTRACTED]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 32, %nbits
|
|
%high_bits_extracted = lshr i32 %data, %num_low_bits_to_skip
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = ashr i32 %high_bits_extracted, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use32(i32 %high_bits_extracted)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_lshr_ashe_with_truncation(i64 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_lshr_ashe_with_truncation(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 64, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP_WIDE:%.*]] = zext i32 [[NUM_LOW_BITS_TO_SKIP]] to i64
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = lshr i64 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP_WIDE]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED_NARROW:%.*]] = trunc i64 [[HIGH_BITS_EXTRACTED]] to i32
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = ashr i32 [[HIGH_BITS_EXTRACTED_NARROW]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use64(i64 [[NUM_LOW_BITS_TO_SKIP_WIDE]])
|
|
; CHECK-NEXT: call void @use64(i64 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED_NARROW]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 64, %nbits
|
|
%num_low_bits_to_skip_wide = zext i32 %num_low_bits_to_skip to i64
|
|
%high_bits_extracted = lshr i64 %data, %num_low_bits_to_skip_wide
|
|
%high_bits_extracted_narrow = trunc i64 %high_bits_extracted to i32
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = ashr i32 %high_bits_extracted_narrow, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use64(i64 %num_low_bits_to_skip_wide)
|
|
call void @use64(i64 %high_bits_extracted)
|
|
call void @use32(i32 %high_bits_extracted_narrow)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_ashr_lshr(i32 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_ashr_lshr(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 32, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = ashr i32 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP]]
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[HIGH_BITS_EXTRACTED]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 32, %nbits
|
|
%high_bits_extracted = ashr i32 %data, %num_low_bits_to_skip
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = lshr i32 %high_bits_extracted, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use32(i32 %high_bits_extracted)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
define i1 @highest_bit_test_via_ashr_lshr_with_truncation(i64 %data, i32 %nbits) {
|
|
; CHECK-LABEL: @highest_bit_test_via_ashr_lshr_with_truncation(
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP:%.*]] = sub i32 64, [[NBITS:%.*]]
|
|
; CHECK-NEXT: [[NUM_LOW_BITS_TO_SKIP_WIDE:%.*]] = zext i32 [[NUM_LOW_BITS_TO_SKIP]] to i64
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED:%.*]] = ashr i64 [[DATA:%.*]], [[NUM_LOW_BITS_TO_SKIP_WIDE]]
|
|
; CHECK-NEXT: [[HIGH_BITS_EXTRACTED_NARROW:%.*]] = trunc i64 [[HIGH_BITS_EXTRACTED]] to i32
|
|
; CHECK-NEXT: [[SKIP_ALL_BITS_TILL_SIGNBIT:%.*]] = add i32 [[NBITS]], -1
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[HIGH_BITS_EXTRACTED_NARROW]], [[SKIP_ALL_BITS_TILL_SIGNBIT]]
|
|
; CHECK-NEXT: call void @use32(i32 [[NUM_LOW_BITS_TO_SKIP]])
|
|
; CHECK-NEXT: call void @use64(i64 [[NUM_LOW_BITS_TO_SKIP_WIDE]])
|
|
; CHECK-NEXT: call void @use64(i64 [[HIGH_BITS_EXTRACTED]])
|
|
; CHECK-NEXT: call void @use32(i32 [[HIGH_BITS_EXTRACTED_NARROW]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SKIP_ALL_BITS_TILL_SIGNBIT]])
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[DATA]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%num_low_bits_to_skip = sub i32 64, %nbits
|
|
%num_low_bits_to_skip_wide = zext i32 %num_low_bits_to_skip to i64
|
|
%high_bits_extracted = ashr i64 %data, %num_low_bits_to_skip_wide
|
|
%high_bits_extracted_narrow = trunc i64 %high_bits_extracted to i32
|
|
%skip_all_bits_till_signbit = sub i32 %nbits, 1
|
|
%signbit = lshr i32 %high_bits_extracted_narrow, %skip_all_bits_till_signbit
|
|
|
|
call void @use32(i32 %num_low_bits_to_skip)
|
|
call void @use64(i64 %num_low_bits_to_skip_wide)
|
|
call void @use64(i64 %high_bits_extracted)
|
|
call void @use32(i32 %high_bits_extracted_narrow)
|
|
call void @use32(i32 %skip_all_bits_till_signbit)
|
|
call void @use32(i32 %signbit)
|
|
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
|
|
;------------------------------------------------------------------------------;
|
|
|
|
define i1 @unsigned_sign_bit_extract(i32 %x) {
|
|
; CHECK-LABEL: @unsigned_sign_bit_extract(
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[X:%.*]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signbit = lshr i32 %x, 31
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @unsigned_sign_bit_extract_extrause(i32 %x) {
|
|
; CHECK-LABEL: @unsigned_sign_bit_extract_extrause(
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[X:%.*]], 31
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[X]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signbit = lshr i32 %x, 31
|
|
call void @use32(i32 %signbit)
|
|
%isneg = icmp ne i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @unsigned_sign_bit_extract_extrause__ispositive(i32 %x) {
|
|
; CHECK-LABEL: @unsigned_sign_bit_extract_extrause__ispositive(
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i32 [[X:%.*]], 31
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp sgt i32 [[X]], -1
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signbit = lshr i32 %x, 31
|
|
call void @use32(i32 %signbit)
|
|
%isneg = icmp eq i32 %signbit, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @signed_sign_bit_extract(i32 %x) {
|
|
; CHECK-LABEL: @signed_sign_bit_extract(
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[X:%.*]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signsmear = ashr i32 %x, 31
|
|
%isneg = icmp ne i32 %signsmear, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @signed_sign_bit_extract_extrause(i32 %x) {
|
|
; CHECK-LABEL: @signed_sign_bit_extract_extrause(
|
|
; CHECK-NEXT: [[SIGNSMEAR:%.*]] = ashr i32 [[X:%.*]], 31
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNSMEAR]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i32 [[X]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signsmear = ashr i32 %x, 31
|
|
call void @use32(i32 %signsmear)
|
|
%isneg = icmp ne i32 %signsmear, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @unsigned_sign_bit_extract_with_trunc(i64 %x) {
|
|
; CHECK-LABEL: @unsigned_sign_bit_extract_with_trunc(
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[X:%.*]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signbit = lshr i64 %x, 63
|
|
%signbit_narrow = trunc i64 %signbit to i32
|
|
%isneg = icmp ne i32 %signbit_narrow, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @unsigned_sign_bit_extract_with_trunc_extrause(i64 %x) {
|
|
; CHECK-LABEL: @unsigned_sign_bit_extract_with_trunc_extrause(
|
|
; CHECK-NEXT: [[SIGNBIT:%.*]] = lshr i64 [[X:%.*]], 63
|
|
; CHECK-NEXT: call void @use64(i64 [[SIGNBIT]])
|
|
; CHECK-NEXT: [[SIGNBIT_NARROW:%.*]] = trunc i64 [[SIGNBIT]] to i32
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNBIT_NARROW]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[X]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signbit = lshr i64 %x, 63
|
|
call void @use64(i64 %signbit)
|
|
%signbit_narrow = trunc i64 %signbit to i32
|
|
call void @use32(i32 %signbit_narrow)
|
|
%isneg = icmp ne i32 %signbit_narrow, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @signed_sign_bit_extract_trunc(i64 %x) {
|
|
; CHECK-LABEL: @signed_sign_bit_extract_trunc(
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[X:%.*]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signsmear = ashr i64 %x, 63
|
|
%signsmear_narrow = trunc i64 %signsmear to i32
|
|
%isneg = icmp ne i32 %signsmear_narrow, 0
|
|
ret i1 %isneg
|
|
}
|
|
define i1 @signed_sign_bit_extract_trunc_extrause(i64 %x) {
|
|
; CHECK-LABEL: @signed_sign_bit_extract_trunc_extrause(
|
|
; CHECK-NEXT: [[SIGNSMEAR:%.*]] = ashr i64 [[X:%.*]], 63
|
|
; CHECK-NEXT: call void @use64(i64 [[SIGNSMEAR]])
|
|
; CHECK-NEXT: [[SIGNSMEAR_NARROW:%.*]] = trunc i64 [[SIGNSMEAR]] to i32
|
|
; CHECK-NEXT: call void @use32(i32 [[SIGNSMEAR_NARROW]])
|
|
; CHECK-NEXT: [[ISNEG:%.*]] = icmp slt i64 [[X]], 0
|
|
; CHECK-NEXT: ret i1 [[ISNEG]]
|
|
;
|
|
%signsmear = ashr i64 %x, 63
|
|
call void @use64(i64 %signsmear)
|
|
%signsmear_narrow = trunc i64 %signsmear to i32
|
|
call void @use32(i32 %signsmear_narrow)
|
|
%isneg = icmp ne i32 %signsmear_narrow, 0
|
|
ret i1 %isneg
|
|
}
|