27 lines
468 B
Text
27 lines
468 B
Text
|
```
|
|||
|
|
```
|
|||
|
|
|
|||
|
|
morph_i64_as_twos_complement_to_zigzag ()
|
|||
|
|
ℤ ~ x86.Int64
|
|||
|
|
--> ℤ ~ ZigZagInt ~ ℕ ~ x86.UInt64
|
|||
|
|
```
|
|||
|
|
if( *src >= 0 ) {
|
|||
|
|
*dst = (2 * (uint64_t)*src)
|
|||
|
|
} else {
|
|||
|
|
*dst = (2 * (uint64_t)(- *src)) - 1;
|
|||
|
|
}
|
|||
|
|
|
|||
|
|
return 0;
|
|||
|
|
```
|
|||
|
|
|
|||
|
|
morph_i64_as_zigzag_to_twos_complement ()
|
|||
|
|
ℤ ~ ZigZagInt ~ ℕ ~ x86.UInt64
|
|||
|
|
--> ℤ ~ x86.Int64
|
|||
|
|
```
|
|||
|
|
if( *src % 2 == 0 ) {
|
|||
|
|
*dst = *src / 2;
|
|||
|
|
} else {
|
|||
|
|
*dst = - ((*src+1) / 2);
|
|||
|
|
}
|
|||
|
|
```
|