fix #15489, don't check conversions during mixed signedness arithmetic

also skip checks for integer bitwise ops

base/essentials.jl

@@ -526,7 +526,7 @@ length(v::SimpleVector) = (@_noinline_meta; unsafe_load(convert(Ptr{Int},data_po
 endof(v::SimpleVector) = length(v)
 start(v::SimpleVector) = 1
 next(v::SimpleVector,i) = (v[i],i+1)
-done(v::SimpleVector,i) = (i > length(v))
+done(v::SimpleVector,i) = (length(v) < i)
 isempty(v::SimpleVector) = (length(v) == 0)
 indices(v::SimpleVector) = (OneTo(length(v)),)
 linearindices(v::SimpleVector) = indices(v, 1)

base/int.jl

@@ -770,3 +770,23 @@ else
     rem(x::Int128,  y::Int128)  = checked_srem_int(x, y)
     rem(x::UInt128, y::UInt128) = checked_urem_int(x, y)
 end
+
+# bitwise ops don't need checked promotion
+for op in (:&, :|, :xor)
+    @eval function $op(a::Integer, b::Integer)
+        T = promote_typeof(a, b)
+        return $op(a % T, b % T)
+    end
+end
+
+# issue #15489: skip error checking during promotion for mixed signedness
+for op in (:+, :-, :*)
+    @eval function $op(a::Unsigned, b::Signed)
+        T = promote_typeof(a, b)
+        return $op(a % T, b % T)
+    end
+    @eval function $op(a::Signed, b::Unsigned)
+        T = promote_typeof(a, b)
+        return $op(a % T, b % T)
+    end
+end

base/promotion.jl

@@ -310,10 +310,6 @@ julia> A^3
 fma(x::Number, y::Number, z::Number) = fma(promote(x,y,z)...)
 muladd(x::Number, y::Number, z::Number) = muladd(promote(x,y,z)...)
 
-(&)(x::Integer, y::Integer) = (&)(promote(x,y)...)
-(|)(x::Integer, y::Integer) = (|)(promote(x,y)...)
-xor(x::Integer, y::Integer) = xor(promote(x,y)...)
-
 ==(x::Number, y::Number) = (==)(promote(x,y)...)
 <( x::Real, y::Real)     = (< )(promote(x,y)...)
 <=(x::Real, y::Real)     = (<=)(promote(x,y)...)

test/int.jl

@@ -223,6 +223,14 @@ for T in [Base.BitInteger_types..., BigInt],
     @test typeof(rand(U(0):U(127)) % T) === T
 end
 
+# issue #15489
+@test 0x00007ffea27edaa0 + (-40) === (-40) + 0x00007ffea27edaa0 === 0x00007ffea27eda78
+@test UInt64(1) * Int64(-1) === typemax(UInt64)
+@test UInt(1) - (-1) == 2
+@test UInt64(15) & -4 === UInt64(12)
+@test UInt64(15) | -4 === typemax(UInt64)
+@test UInt64(15) ⊻ -4 === 0xfffffffffffffff3
+
 
 @testset "left shift with Vector{Int} on BigInt-scalar #13832" begin
     x = BigInt(1) .<< [1:70;]