; I'm not really sure if instcombine should do things like these.  LevelRaise 
; already sufficiently takes care of these cases, but level raise is really
; slow.  Might it be better to make there be an instcombine prepass before
; level raise that takes care of the obvious stuff?

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep cast

bool %test1(int %X) {
	%A = cast int %X to uint
	%c = setne uint %A, 12        ; Convert to setne int %X, 12
	ret bool %c
}

bool %test2(int %X, int %Y) {
	%A = cast int %X to uint
	%B = cast int %Y to uint
	%c = setne uint %A, %B       ; Convert to setne int %X, %Y
	ret bool %c
}

bool %test3(int %A, int %B) {
        %cond216 = setlt int %A, %B             ; <bool> [#uses=1]
        %cst109 = cast bool %cond216 to uint           ; <uint> [#uses=1]
        %cond219 = setgt int %A, %B             ; <bool> [#uses=1]
        %cst111 = cast bool %cond219 to uint           ; <uint> [#uses=1]
        %reg113 = and uint %cst109, %cst111           ; <uint> [#uses=1]
        %cst222 = cast uint %reg113 to bool             ; <int> [#uses=1]
        ret bool %cst222
}

int %test4(int %A) {
	%B = cast int %A to uint
	%C = shl uint %B, ubyte 2
	%D = cast uint %C to int
	ret int %D
}

short %test5(short %A) {
	%B = cast short %A to uint
	%C = and uint %B, 15
	%D = cast uint %C to short
	ret short %D
}