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
|
/* Functions we want to test: */
/* function capToBits(cap) : Capability -> CapBits */
/* function capToMemBits(cap) : Capability -> CapBits */
/* function capBitsToCapability(t, c) : (bool, CapBits) -> Capability */
/* function memBitsToCapability(tag, b) : (bool, CapBits) -> Capability */
/* function fastRepCheck(c, i) : (Capability, CapAddrBits) -> bool */
/* function setCapBounds(cap, base, top) : (Capability, CapAddrBits, CapLenBits) -> (bool, Capability) */
/* function getCapBounds(cap) : Capability -> (CapAddrInt, CapLen) */
/* val getCapFlags : Capability -> CFlags
function getCapFlags(cap) = bool_to_bits(cap.flag_cap_mode) */
/* function setCapPerms(cap, perms) : (Capability, bits(31)) -> Capability */
/* function capToString (cap) -> string */
register TestCap : Capability
register TestAddr : CapAddrBits
register TestLen : CapLenBits
function main () : unit -> unit = {
TestCap = null_cap;
/* while (true) do { */
bits1 = capToBits(TestCap);
bits2 = capToMemBits(TestCap);
cap1 = capBitsToCapability(TestCap.tag, bits1);
cap2 = memBitsToCapability(TestCap.tag, bits2);
rep = fastRepCheck(TestCap, TestAddr);
(exact, cap) = setCapBounds(TestCap, TestAddr, TestLen);
(base, top) = getCapBounds(TestCap);
flags = getCapFlags(TestCap);
new_cap = setCapPerms(TestCap, ones()); /* rt_val[30..0] */
cap_str = capToString(TestCap);
len = getRepresentableLength(TestAddr);
mask = getRepresentableAlignmentMask(TestAddr);
/* } */
}
|
