; This test makes sure that these instructions are properly eliminated.
; This test is for Integer BitWidth >= 64 && BitWidth <= 1024.
;
; RUN: opt < %s -instcombine -S | not grep rem


define i333 @test1(i333 %A) {
    %B = urem i333 %A, 70368744177664
    ret i333 %B
}

define i499 @test2(i499 %A) {
    %B = shl i499 4096, 111
    %Y = urem i499 %A, %B
    ret i499 %Y
}

define i599 @test3(i599 %X, i1 %C) {
	%V = select i1 %C, i599 70368744177664, i599 4096
	%R = urem i599 %X, %V
	ret i599 %R
}