1const std = @import("std");
 2const expect = std.testing.expect;
 3const mem = std.mem;
 4const builtin = @import("builtin");
 5
 6test "integer widening" {
 7    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
 8    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
 9    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
10    if (builtin.zig_backend == .stage2_riscv64) return error.SkipZigTest;
11
12    var a: u8 = 250;
13    var b: u16 = a;
14    var c: u32 = b;
15    var d: u64 = c;
16    var e: u64 = d;
17    var f: u128 = e;
18    _ = .{ &a, &b, &c, &d, &e, &f };
19    try expect(f == a);
20}
21
22fn zero() u0 {
23    return 0;
24}
25test "integer widening u0 to u8" {
26    const a: u8 = zero();
27    try expect(a == 0);
28}
29
30test "implicit unsigned integer to signed integer" {
31    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
32    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
33
34    var a: u8 = 250;
35    var b: i16 = a;
36    _ = .{ &a, &b };
37    try expect(b == 250);
38}
39
40test "float widening" {
41    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
42    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
43    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
44    if (builtin.zig_backend == .stage2_riscv64) return error.SkipZigTest;
45
46    var a: f16 = 12.34;
47    var b: f32 = a;
48    var c: f64 = b;
49    var d: f128 = c;
50    _ = .{ &a, &b, &c, &d };
51    try expect(a == b);
52    try expect(b == c);
53    try expect(c == d);
54    var e: f80 = c;
55    _ = &e;
56    try expect(c == e);
57}
58
59test "float widening f16 to f128" {
60    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
61    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
62    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
63    if (builtin.zig_backend == .stage2_riscv64) return error.SkipZigTest;
64
65    var x: f16 = 12.34;
66    var y: f128 = x;
67    _ = .{ &x, &y };
68    try expect(x == y);
69}
70
71test "cast small unsigned to larger signed" {
72    if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO
73    if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
74    if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
75
76    try expect(castSmallUnsignedToLargerSigned1(200) == @as(i16, 200));
77    try expect(castSmallUnsignedToLargerSigned2(9999) == @as(i64, 9999));
78}
79fn castSmallUnsignedToLargerSigned1(x: u8) i16 {
80    return x;
81}
82fn castSmallUnsignedToLargerSigned2(x: u16) i64 {
83    return x;
84}