From 4307436b9945f814ff5731981df1d19febf3ba0a Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Thu, 29 Apr 2021 15:54:04 -0700 Subject: move behavior tests from test/stage1/ to test/ And fix test cases to make them pass. This is in preparation for starting to pass behavior tests with self-hosted. --- test/behavior/bitreverse.zig | 69 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) create mode 100644 test/behavior/bitreverse.zig (limited to 'test/behavior/bitreverse.zig') diff --git a/test/behavior/bitreverse.zig b/test/behavior/bitreverse.zig new file mode 100644 index 0000000000..8de2d5d2ca --- /dev/null +++ b/test/behavior/bitreverse.zig @@ -0,0 +1,69 @@ +const std = @import("std"); +const expect = std.testing.expect; +const minInt = std.math.minInt; + +test "@bitReverse" { + comptime testBitReverse(); + testBitReverse(); +} + +fn testBitReverse() void { + // using comptime_ints, unsigned + expect(@bitReverse(u0, 0) == 0); + expect(@bitReverse(u5, 0x12) == 0x9); + expect(@bitReverse(u8, 0x12) == 0x48); + expect(@bitReverse(u16, 0x1234) == 0x2c48); + expect(@bitReverse(u24, 0x123456) == 0x6a2c48); + expect(@bitReverse(u32, 0x12345678) == 0x1e6a2c48); + expect(@bitReverse(u40, 0x123456789a) == 0x591e6a2c48); + expect(@bitReverse(u48, 0x123456789abc) == 0x3d591e6a2c48); + expect(@bitReverse(u56, 0x123456789abcde) == 0x7b3d591e6a2c48); + expect(@bitReverse(u64, 0x123456789abcdef1) == 0x8f7b3d591e6a2c48); + expect(@bitReverse(u128, 0x123456789abcdef11121314151617181) == 0x818e868a828c84888f7b3d591e6a2c48); + + // using runtime uints, unsigned + var num0: u0 = 0; + expect(@bitReverse(u0, num0) == 0); + var num5: u5 = 0x12; + expect(@bitReverse(u5, num5) == 0x9); + var num8: u8 = 0x12; + expect(@bitReverse(u8, num8) == 0x48); + var num16: u16 = 0x1234; + expect(@bitReverse(u16, num16) == 0x2c48); + var num24: u24 = 0x123456; + expect(@bitReverse(u24, num24) == 0x6a2c48); + var num32: u32 = 0x12345678; + expect(@bitReverse(u32, num32) == 0x1e6a2c48); + var num40: u40 = 0x123456789a; + expect(@bitReverse(u40, num40) == 0x591e6a2c48); + var num48: u48 = 0x123456789abc; + expect(@bitReverse(u48, num48) == 0x3d591e6a2c48); + var num56: u56 = 0x123456789abcde; + expect(@bitReverse(u56, num56) == 0x7b3d591e6a2c48); + var num64: u64 = 0x123456789abcdef1; + expect(@bitReverse(u64, num64) == 0x8f7b3d591e6a2c48); + var num128: u128 = 0x123456789abcdef11121314151617181; + expect(@bitReverse(u128, num128) == 0x818e868a828c84888f7b3d591e6a2c48); + + // using comptime_ints, signed, positive + expect(@bitReverse(u8, @as(u8, 0)) == 0); + expect(@bitReverse(i8, @bitCast(i8, @as(u8, 0x92))) == @bitCast(i8, @as(u8, 0x49))); + expect(@bitReverse(i16, @bitCast(i16, @as(u16, 0x1234))) == @bitCast(i16, @as(u16, 0x2c48))); + expect(@bitReverse(i24, @bitCast(i24, @as(u24, 0x123456))) == @bitCast(i24, @as(u24, 0x6a2c48))); + expect(@bitReverse(i32, @bitCast(i32, @as(u32, 0x12345678))) == @bitCast(i32, @as(u32, 0x1e6a2c48))); + expect(@bitReverse(i40, @bitCast(i40, @as(u40, 0x123456789a))) == @bitCast(i40, @as(u40, 0x591e6a2c48))); + expect(@bitReverse(i48, @bitCast(i48, @as(u48, 0x123456789abc))) == @bitCast(i48, @as(u48, 0x3d591e6a2c48))); + expect(@bitReverse(i56, @bitCast(i56, @as(u56, 0x123456789abcde))) == @bitCast(i56, @as(u56, 0x7b3d591e6a2c48))); + expect(@bitReverse(i64, @bitCast(i64, @as(u64, 0x123456789abcdef1))) == @bitCast(i64, @as(u64, 0x8f7b3d591e6a2c48))); + expect(@bitReverse(i128, @bitCast(i128, @as(u128, 0x123456789abcdef11121314151617181))) == @bitCast(i128, @as(u128, 0x818e868a828c84888f7b3d591e6a2c48))); + + // using signed, negative. Compare to runtime ints returned from llvm. + var neg8: i8 = -18; + expect(@bitReverse(i8, @as(i8, -18)) == @bitReverse(i8, neg8)); + var neg16: i16 = -32694; + expect(@bitReverse(i16, @as(i16, -32694)) == @bitReverse(i16, neg16)); + var neg24: i24 = -6773785; + expect(@bitReverse(i24, @as(i24, -6773785)) == @bitReverse(i24, neg24)); + var neg32: i32 = -16773785; + expect(@bitReverse(i32, @as(i32, -16773785)) == @bitReverse(i32, neg32)); +} -- cgit v1.2.3