File: FnState.h

package info (click to toggle)
storm-lang 0.7.4-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,004 kB
  • sloc: ansic: 261,462; cpp: 140,405; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (19 lines) | stat: -rw-r--r-- 677 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#pragma once

namespace code {

	// Encode/decode function state. The function state is a block-id and an activation-id
	// inside a single 32-bit integer. Designed so that the value can be updated easily from
	// machine code. This is why it is a 32-bit integer rather than a 64-bit integer.
	Nat encodeFnState(Nat block, Nat activation);
	void decodeFnState(Nat value, Nat &block, Nat &activation);


	// Helpers to find a function state from an offset in the function.
	Nat findFunctionState(const void *function, size_t offset);

	// Like above, but accepts a pointer to the *end* of the regular function.
	Nat findFunctionStateFromEnd(const void *end, size_t offset);

}