-
Notifications
You must be signed in to change notification settings - Fork 32
/
tag-align-dyn-variants.rs
73 lines (61 loc) · 1.92 KB
/
tag-align-dyn-variants.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
//@ run-pass
#![allow(dead_code)]
#![allow(deprecated)]
#![allow(non_snake_case)]
use std::mem;
enum Tag<A,B> {
VarA(A),
VarB(B),
}
struct Rec<A,B> {
chA: u8,
tA: Tag<A,B>,
chB: u8,
tB: Tag<A,B>,
}
fn mk_rec<A,B>(a: A, b: B) -> Rec<A,B> {
Rec { chA:0, tA:Tag::VarA(a), chB:1, tB:Tag::VarB(b) }
}
fn is_aligned<A>(amnt: usize, u: &A) -> bool {
let p: usize = unsafe { mem::transmute(u) };
return (p & (amnt-1)) == 0;
}
fn variant_data_is_aligned<A,B>(amnt: usize, u: &Tag<A,B>) -> bool {
match u {
&Tag::VarA(ref a) => is_aligned(amnt, a),
&Tag::VarB(ref b) => is_aligned(amnt, b)
}
}
pub fn main() {
let u64_align = std::mem::min_align_of::<u64>();
let x = mk_rec(22u64, 23u64);
assert!(is_aligned(u64_align, &x.tA));
assert!(variant_data_is_aligned(u64_align, &x.tA));
assert!(is_aligned(u64_align, &x.tB));
assert!(variant_data_is_aligned(u64_align, &x.tB));
let x = mk_rec(22u64, 23u32);
assert!(is_aligned(u64_align, &x.tA));
assert!(variant_data_is_aligned(u64_align, &x.tA));
assert!(is_aligned(u64_align, &x.tB));
assert!(variant_data_is_aligned(4, &x.tB));
let x = mk_rec(22u32, 23u64);
assert!(is_aligned(u64_align, &x.tA));
assert!(variant_data_is_aligned(4, &x.tA));
assert!(is_aligned(u64_align, &x.tB));
assert!(variant_data_is_aligned(u64_align, &x.tB));
let x = mk_rec(22u32, 23u32);
assert!(is_aligned(4, &x.tA));
assert!(variant_data_is_aligned(4, &x.tA));
assert!(is_aligned(4, &x.tB));
assert!(variant_data_is_aligned(4, &x.tB));
let x = mk_rec(22f64, 23f64);
assert!(is_aligned(u64_align, &x.tA));
assert!(variant_data_is_aligned(u64_align, &x.tA));
assert!(is_aligned(u64_align, &x.tB));
assert!(variant_data_is_aligned(u64_align, &x.tB));
}
// ferrocene-annotations: fls_szibmtfv117b
// Enum Types
//
// ferrocene-annotations: fls_xc1hof4qbf6p
// Enum Type Representation