19.11.2014 Views

The Fortress Language Specification - CiteSeerX

The Fortress Language Specification - CiteSeerX

The Fortress Language Specification - CiteSeerX

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

countLeadingZeroBits():IndexInt<br />

countTrailingZeroBits():IndexInt<br />

leftmostOneBit():T<br />

rightmostOneBit():T<br />

bitReverse():T<br />

signedIndex():IndexInt throws { IntegerOverflowException }<br />

unsignedIndex():IndexInt throws { IntegerOverflowException }<br />

gatherBits(mask: T):T<br />

spreadBits(mask: T):T<br />

disentangleBits(mask: T):T<br />

intersperseBits(mask: T):T<br />

end<br />

40.7.1 wrappingAdd(other: T): T<br />

40.7.2 add(other: T,carryIn: Bit = 0):(T, Bit)<br />

40.7.3 signedAdd(other:T,overflowAction: () → T): T<br />

40.7.4 unsignedAdd(other: T,overflowAction: () → T):T<br />

40.7.5 saturatingSignedAdd(other: T): T<br />

40.7.6 saturatingUnsignedAdd(other: T):T<br />

[Description to be supplied.]<br />

40.7.7 wrappingSubtract(other: T): T<br />

40.7.8 subtract(other: T,carryIn: Bit = 1): (T, Bit)<br />

40.7.9 signedSubtract(other:T,overflowAction: () → T): T<br />

40.7.10 unsignedSubtract(other: T,overflowAction: () → T):T<br />

40.7.11 saturatingSignedSubtract(other: T): T<br />

40.7.12 saturatingUnsignedSubtract(other:T): T<br />

[Description to be supplied.]<br />

40.7.13 wrappingNegate():T<br />

40.7.14 negate(carryIn: Bit = 1):(T, Bit)<br />

40.7.15 signedNegate(overflowAction: () → T): T<br />

40.7.16 unsignedNegate(overflowAction:() → T):T<br />

40.7.17 saturatingSignedNegate():T<br />

[Description to be supplied.]<br />

40.7.18 bitNot():T<br />

[Description to be supplied.]<br />

289

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!