constant-ranges.ll | Explore in Territory

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=instsimplify < %s -S | FileCheck %s

define i1 @shl_C_X_ugt(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt(
; CHECK-NEXT:    ret i1 false
;
  %shl = shl i8 7, %x
  %r = icmp ugt i8 %shl, 224
  ret i1 %r
}

define i1 @shl_C_X_ugt2(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt2(
; CHECK-NEXT:    ret i1 false
;
  %shl = shl i8 5, %x
  %r = icmp ugt i8 %shl, 192
  ret i1 %r
}

define i1 @shl_C_X_ugt_fail(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt_fail(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 1, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], 127
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 1, %x
  %r = icmp ugt i8 %shl, 127
  ret i1 %r
}

define i1 @shl_C_X_ugt_fail2(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt_fail2(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 3, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], -66
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 3, %x
  %r = icmp ugt i8 %shl, 190
  ret i1 %r
}

define i1 @shl_C_X_ugt_fail3(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt_fail3(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 -1, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], -2
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 -1, %x
  %r = icmp ugt i8 %shl, 254
  ret i1 %r
}

define i1 @shl_C_X_ugt_todo(i8 %x) {
; CHECK-LABEL: @shl_C_X_ugt_todo(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 -127, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], -116
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 129, %x
  %r = icmp ugt i8 %shl, 140
  ret i1 %r
}

define i1 @shl_X_C_ugt(i8 %x) {
; CHECK-LABEL: @shl_X_C_ugt(
; CHECK-NEXT:    ret i1 false
;
  %shl = shl i8 %x, 6
  %r = icmp ugt i8 %shl, 192
  ret i1 %r
}

define i1 @shl_X_C_ugt_fail(i8 %x) {
; CHECK-LABEL: @shl_X_C_ugt_fail(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 [[X:%.*]], 6
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], -65
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 %x, 6
  %r = icmp ugt i8 %shl, 191
  ret i1 %r
}

define i1 @shl_X_C_ugt_fail2(i8 %x) {
; CHECK-LABEL: @shl_X_C_ugt_fail2(
; CHECK-NEXT:    [[SHL:%.*]] = shl i8 [[X:%.*]], 5
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[SHL]], -64
; CHECK-NEXT:    ret i1 [[R]]
;
  %shl = shl i8 %x, 5
  %r = icmp ugt i8 %shl, 192
  ret i1 %r
}

define i1 @and_ugt(i8 %xx) {
; CHECK-LABEL: @and_ugt(
; CHECK-NEXT:    ret i1 false
;
  %x = mul i8 %xx, %xx  ; thwart complexity-based canonicalization
  %negx = sub i8 0, %x
  %x_p2 = and i8 %negx, %x
  %r = icmp ugt i8 %x_p2, 128
  ret i1 %r
}

define i1 @and_ugt2(i8 %xx) {
; CHECK-LABEL: @and_ugt2(
; CHECK-NEXT:    ret i1 false
;
  %x = mul i8 %xx, %xx  ; thwart complexity-based canonicalization
  %negx = sub i8 0, %x
  %x_p2 = and i8 %x, %negx
  %r = icmp ugt i8 %x_p2, 128
  ret i1 %r
}

define i1 @and_ugt_fail(i8 %xx) {
; CHECK-LABEL: @and_ugt_fail(
; CHECK-NEXT:    [[X:%.*]] = mul i8 [[XX:%.*]], [[XX]]
; CHECK-NEXT:    [[NEGX:%.*]] = sub i8 0, [[X]]
; CHECK-NEXT:    [[X_P2:%.*]] = and i8 [[X]], [[NEGX]]
; CHECK-NEXT:    [[R:%.*]] = icmp ugt i8 [[X_P2]], 127
; CHECK-NEXT:    ret i1 [[R]]
;
  %x = mul i8 %xx, %xx  ; thwart complexity-based canonicalization
  %negx = sub i8 0, %x
  %x_p2 = and i8 %x, %negx
  %r = icmp ugt i8 %x_p2, 127
  ret i1 %r
}

define i1 @urem_okay(i8 %x) {
; CHECK-LABEL: @urem_okay(
; CHECK-NEXT:    ret i1 true
;
  %val = urem i8 34, %x
  %r = icmp ule i8 %val, 35
  ret i1 %r
}

define i1 @urem_fail(i8 %x) {
; CHECK-LABEL: @urem_fail(
; CHECK-NEXT:    [[VAL:%.*]] = urem i8 34, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp ule i8 [[VAL]], 33
; CHECK-NEXT:    ret i1 [[R]]
;
  %val = urem i8 34, %x
  %r = icmp ule i8 %val, 33
  ret i1 %r
}

define i1 @srem_posC_okay0(i8 %x) {
; CHECK-LABEL: @srem_posC_okay0(
; CHECK-NEXT:    ret i1 true
;
  %val = srem i8 34, %x
  %r = icmp sle i8 %val, 34
  ret i1 %r
}

define i1 @srem_posC_okay1(i8 %x) {
; CHECK-LABEL: @srem_posC_okay1(
; CHECK-NEXT:    ret i1 true
;
  %val = srem i8 34, %x
  %r = icmp sge i8 %val, -3
  ret i1 %r
}

define i1 @srem_negC_okay0(i8 %x) {
; CHECK-LABEL: @srem_negC_okay0(
; CHECK-NEXT:    ret i1 true
;
  %val = srem i8 -34, %x
  %r = icmp sle i8 %val, 0
  ret i1 %r
}

define i1 @srem_negC_okay1(i8 %x) {
; CHECK-LABEL: @srem_negC_okay1(
; CHECK-NEXT:    ret i1 true
;
  %val = srem i8 -34, %x
  %r = icmp sge i8 %val, -34
  ret i1 %r
}

define i1 @srem_posC_fail0(i8 %x) {
; CHECK-LABEL: @srem_posC_fail0(
; CHECK-NEXT:    [[VAL:%.*]] = srem i8 34, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp sle i8 [[VAL]], 32
; CHECK-NEXT:    ret i1 [[R]]
;
  %val = srem i8 34, %x
  %r = icmp sle i8 %val, 32
  ret i1 %r
}

define i1 @srem_posC_fail1(i8 %x) {
; CHECK-LABEL: @srem_posC_fail1(
; CHECK-NEXT:    [[VAL:%.*]] = srem i8 34, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp sge i8 [[VAL]], 1
; CHECK-NEXT:    ret i1 [[R]]
;
  %val = srem i8 34, %x
  %r = icmp sge i8 %val, 1
  ret i1 %r
}

define i1 @srem_negC_fail0(i8 %x) {
; CHECK-LABEL: @srem_negC_fail0(
; CHECK-NEXT:    [[VAL:%.*]] = srem i8 -34, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp sle i8 [[VAL]], -1
; CHECK-NEXT:    ret i1 [[R]]
;
  %val = srem i8 -34, %x
  %r = icmp sle i8 %val, -1
  ret i1 %r
}

define i1 @srem_negC_fail1(i8 %x) {
; CHECK-LABEL: @srem_negC_fail1(
; CHECK-NEXT:    [[VAL:%.*]] = srem i8 -34, [[X:%.*]]
; CHECK-NEXT:    [[R:%.*]] = icmp sge i8 [[VAL]], -33
; CHECK-NEXT:    ret i1 [[R]]
;
  %val = srem i8 -34, %x
  %r = icmp sge i8 %val, -33
  ret i1 %r
}
llvm/llvm/test/Analysis/ValueTracking/constant-ranges.ll
