; This test case tests the InstructionCombining optimization that
; reduces things like:
;   %Y = cast sbyte %X to uint
;   %C = setlt uint %Y, 1024
; to
;   %C = bool true
; It includes test cases for different constant values, signedness of the
; cast operands, and types of setCC operators. In all cases, the cast should
; be eliminated. In many cases the setCC is also eliminated based on the
; constant value and the range of the casted value.
;
; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | not grep 'cast.*int'

implementation   ; Functions:

bool %lt_signed_to_large_unsigned(sbyte %SB) {
  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
  %C = setlt uint %Y, 1024		; <bool> [#uses=1]
  ret bool %C
}

bool %lt_signed_to_large_signed(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setlt int %Y, 1024
  ret bool %C
}

bool %lt_signed_to_large_negative(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setlt int %Y, -1024
  ret bool %C
}

bool %lt_signed_to_small_signed(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setlt int %Y, 17
  ret bool %C
}

bool %lt_signed_to_small_negative(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setlt int %Y, -17
  ret bool %C
}

bool %lt_unsigned_to_large_unsigned(ubyte %SB) {
  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
  %C = setlt uint %Y, 1024		; <bool> [#uses=1]
  ret bool %C
}

bool %lt_unsigned_to_large_signed(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setlt int %Y, 1024
  ret bool %C
}

bool %lt_unsigned_to_large_negative(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setlt int %Y, -1024
  ret bool %C
}

bool %lt_unsigned_to_small_unsigned(ubyte %SB) {
  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
  %C = setlt uint %Y, 17		; <bool> [#uses=1]
  ret bool %C
}

bool %lt_unsigned_to_small_negative(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setlt int %Y, -17
  ret bool %C
}

bool %gt_signed_to_large_unsigned(sbyte %SB) {
  %Y = cast sbyte %SB to uint		; <uint> [#uses=1]
  %C = setgt uint %Y, 1024		; <bool> [#uses=1]
  ret bool %C
}

bool %gt_signed_to_large_signed(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setgt int %Y, 1024
  ret bool %C
}

bool %gt_signed_to_large_negative(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setgt int %Y, -1024
  ret bool %C
}

bool %gt_signed_to_small_signed(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setgt int %Y, 17
  ret bool %C
}

bool %gt_signed_to_small_negative(sbyte %SB) {
  %Y = cast sbyte %SB to int
  %C = setgt int %Y, -17
  ret bool %C
}

bool %gt_unsigned_to_large_unsigned(ubyte %SB) {
  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
  %C = setgt uint %Y, 1024		; <bool> [#uses=1]
  ret bool %C
}

bool %gt_unsigned_to_large_signed(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setgt int %Y, 1024
  ret bool %C
}

bool %gt_unsigned_to_large_negative(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setgt int %Y, -1024
  ret bool %C
}

bool %gt_unsigned_to_small_unsigned(ubyte %SB) {
  %Y = cast ubyte %SB to uint		; <uint> [#uses=1]
  %C = setgt uint %Y, 17		; <bool> [#uses=1]
  ret bool %C
}

bool %gt_unsigned_to_small_negative(ubyte %SB) {
  %Y = cast ubyte %SB to int
  %C = setgt int %Y, -17
  ret bool %C
}