sema: The builtin function @max/@min support incompatible arbitrary i…

[flyfish30]

Fixes #23139

In normal arithmatic operations on two or more integer operands, all intergers must be compatible with each other. But in the function @max/@min, this constraint need not be satisfied.

For example, the expression @min(@as(i32, -30), @as(u32, 42)) is a legal expression.

@min/@max functions with two or more arguments have been tested, and @min/@max functions with vector arguments have also been tested.

[flyfish30]

@jacobly0 Can you review this PR?

[allocgator]

If this works with isize and usize, could you add a unit test covering it?

[flyfish30]

@jacobly0 Why do the max/min behavior test cases fail only on Linux systems? How can I fix it?

The detail error message is in bellow:

/home/ci/actions-runner9/_work/zig/zig/test/behavior/maximum_minimum.zig:250:9: error: emit MIR failed: InvalidInstruction (Zig compiler bug)
        fn min(lhs: @Vector(2, i16), rhs: @Vector(2, u16)) @Vector(2, i16) {
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

[flyfish30]

If this works with isize and usize, could you add a unit test covering it?

The behavior test case has covering i32 and u32 for max/min function, it is enough to verify this issue.

[allocgator]

The behavior test case has covering i32 and u32 for max/min function, it is enough to verify this issue.

Think of it from a documentation perspective - a unit test with usize and isize would definitely be helpful.