12 |
type region |
type region |
13 |
type exp |
type exp |
14 |
type bool |
type bool |
15 |
|
type div_rounding_mode |
16 |
|
|
17 |
val intConst : ty -> int -> exp (* integer constant *) |
val intConst : ty -> int -> exp (* integer constant *) |
18 |
val wordConst : ty -> Word32.word -> exp (* word constant *) |
val wordConst : ty -> Word32.word -> exp (* word constant *) |
37 |
val - : ty -> exp * exp -> exp |
val - : ty -> exp * exp -> exp |
38 |
val muls : ty -> exp * exp -> exp |
val muls : ty -> exp * exp -> exp |
39 |
val mulu : ty -> exp * exp -> exp |
val mulu : ty -> exp * exp -> exp |
40 |
val divs : ty -> exp * exp -> exp |
val divs : ty -> div_rounding_mode * exp * exp -> exp |
41 |
val divu : ty -> exp * exp -> exp |
val divu : ty -> exp * exp -> exp |
42 |
val quots : ty -> exp * exp -> exp |
val rems : ty -> div_rounding_mode * exp * exp -> exp |
|
val rems : ty -> exp * exp -> exp |
|
43 |
val remu : ty -> exp * exp -> exp |
val remu : ty -> exp * exp -> exp |
44 |
|
|
45 |
val addt : ty -> exp * exp -> exp |
val addt : ty -> exp * exp -> exp |
46 |
val subt : ty -> exp * exp -> exp |
val subt : ty -> exp * exp -> exp |
47 |
val mult : ty -> exp * exp -> exp |
val mult : ty -> exp * exp -> exp |
48 |
val divt : ty -> exp * exp -> exp |
val divt : ty -> div_rounding_mode * exp * exp -> exp |
|
val remt : ty -> exp * exp -> exp |
|
49 |
|
|
50 |
val notb : ty -> exp -> exp |
val notb : ty -> exp -> exp |
51 |
val andb : ty -> exp * exp -> exp |
val andb : ty -> exp * exp -> exp |