zig/test/cases/safety/signed integer division overflow - vectors.zig
Andrew Kelley 66f3efb63b migrate runtime safety tests to the new test harness
* migrate runtime safety tests to the new test harness
   - this required adding compare output / execution support for stage1
     to the test harness.
 * rename `zig build test-stage2` to `zig build test-cases` since it now
   does quite a bit of stage1 testing actually. I named it this way
   since the main directory in the source tree associated with these
   tests is "test/cases/".
 * add some documentation for the test manifest format.
2022-05-13 14:03:20 -07:00

20 lines
530 B
Zig

const std = @import("std");
pub fn panic(message: []const u8, stack_trace: ?*std.builtin.StackTrace) noreturn {
_ = message;
_ = stack_trace;
std.process.exit(0);
}
pub fn main() !void {
var a: @Vector(4, i16) = [_]i16{ 1, 2, -32768, 4 };
var b: @Vector(4, i16) = [_]i16{ 1, 2, -1, 4 };
const x = div(a, b);
if (x[2] == 32767) return error.Whatever;
return error.TestFailed;
}
fn div(a: @Vector(4, i16), b: @Vector(4, i16)) @Vector(4, i16) {
return @divTrunc(a, b);
}
// run
// backend=stage1