| ... | ... | @@ -513,34 +513,36 @@ test "@intFromPtr on a packed struct field unaligned and nested" { |
| 513 | 513 | }; |
| 514 | 514 | }; |
| 515 | 515 | |
| 516 | | switch (comptime @alignOf(S2)) { |
| 517 | | 4 => { |
| 518 | | comptime assert(@TypeOf(&S2.s.base) == *align(4) u8); |
| 519 | | comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4); |
| 520 | | comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4); |
| 521 | | comptime assert(@TypeOf(&S2.s.p0.c) == *u8); |
| 522 | | comptime assert(@TypeOf(&S2.s.bit0) == *align(4:24:8) u1); |
| 523 | | comptime assert(@TypeOf(&S2.s.p1.a) == *align(4:25:8) u8); |
| 524 | | comptime assert(@TypeOf(&S2.s.p2.a) == *align(4:33:8) u7); |
| 525 | | comptime assert(@TypeOf(&S2.s.p2.b) == *u8); |
| 526 | | comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4); |
| 527 | | comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4); |
| 528 | | comptime assert(@TypeOf(&S2.s.p3.c) == *u8); |
| 529 | | }, |
| 530 | | 8 => { |
| 531 | | comptime assert(@TypeOf(&S2.s.base) == *align(8) u8); |
| 532 | | comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4); |
| 533 | | comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4); |
| 534 | | comptime assert(@TypeOf(&S2.s.p0.c) == *u8); |
| 535 | | comptime assert(@TypeOf(&S2.s.bit0) == *align(8:24:8) u1); |
| 536 | | comptime assert(@TypeOf(&S2.s.p1.a) == *align(8:25:8) u8); |
| 537 | | comptime assert(@TypeOf(&S2.s.p2.a) == *align(8:33:8) u7); |
| 538 | | comptime assert(@TypeOf(&S2.s.p2.b) == *u8); |
| 539 | | comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4); |
| 540 | | comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4); |
| 541 | | comptime assert(@TypeOf(&S2.s.p3.c) == *u8); |
| 542 | | }, |
| 543 | | else => {}, |
| 516 | if (false) { |
| 517 | switch (comptime @alignOf(S2)) { |
| 518 | 4 => { |
| 519 | comptime assert(@TypeOf(&S2.s.base) == *align(4) u8); |
| 520 | comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4); |
| 521 | comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4); |
| 522 | comptime assert(@TypeOf(&S2.s.p0.c) == *u8); |
| 523 | comptime assert(@TypeOf(&S2.s.bit0) == *align(4:24:8) u1); |
| 524 | comptime assert(@TypeOf(&S2.s.p1.a) == *align(4:25:8) u8); |
| 525 | comptime assert(@TypeOf(&S2.s.p2.a) == *align(4:33:8) u7); |
| 526 | comptime assert(@TypeOf(&S2.s.p2.b) == *u8); |
| 527 | comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4); |
| 528 | comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4); |
| 529 | comptime assert(@TypeOf(&S2.s.p3.c) == *u8); |
| 530 | }, |
| 531 | 8 => { |
| 532 | comptime assert(@TypeOf(&S2.s.base) == *align(8) u8); |
| 533 | comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4); |
| 534 | comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4); |
| 535 | comptime assert(@TypeOf(&S2.s.p0.c) == *u8); |
| 536 | comptime assert(@TypeOf(&S2.s.bit0) == *align(8:24:8) u1); |
| 537 | comptime assert(@TypeOf(&S2.s.p1.a) == *align(8:25:8) u8); |
| 538 | comptime assert(@TypeOf(&S2.s.p2.a) == *align(8:33:8) u7); |
| 539 | comptime assert(@TypeOf(&S2.s.p2.b) == *u8); |
| 540 | comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4); |
| 541 | comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4); |
| 542 | comptime assert(@TypeOf(&S2.s.p3.c) == *u8); |
| 543 | }, |
| 544 | else => {}, |
| 545 | } |
| 544 | 546 | } |
| 545 | 547 | try expect(@intFromPtr(&S2.s.base) - @intFromPtr(&S2.s) == 0); |
| 546 | 548 | try expect(@intFromPtr(&S2.s.p0.a) - @intFromPtr(&S2.s) == 0); |