]
outs = [
("M", "memory result"),
+ ("res", "pointer to newly allocated memory"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "pointer to newly allocated memory"),
]
attrs = [
dict(
]
flags = [ "fragile", "uses_memory" ]
pinned = "exception"
+ throws_init = "false"
pinned_init = "op_pin_state_pinned"
attr_struct = "alloc_attr"
]
outs = [
("M", "memory result"),
+ ("res", "the checked index"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "the checked index"),
]
flags = [ "fragile", "highlevel" ]
pinned = "exception"
pinned_init = "op_pin_state_pinned"
+ throws_init = "false"
attr_struct = "bound_attr"
attrs_name = "bound"
arity = "variable"
outs = [
("M", "memory result"),
+ ("T_result", "tuple containing all results"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("T_result", "tuple containing all results"),
]
flags = [ "fragile", "uses_memory" ]
attrs = [
attr_struct = "call_attr"
pinned = "memory"
pinned_init = "op_pin_state_pinned"
+ throws_init = "false"
init = '''
assert((get_unknown_type() == type) || is_Method_type(type));
'''
attrs_name = "copyb"
pinned = "memory"
pinned_init = "op_pin_state_pinned"
+ throws_init = "false"
class Div(Op):
"""returns the quotient of its 2 operands"""
]
outs = [
("M", "memory result"),
+ ("res", "result of computation"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "result of computation"),
]
flags = [ "fragile", "uses_memory" ]
attrs_name = "div"
]
attr_struct = "div_attr"
pinned = "exception"
+ throws_init = "false"
op_index = 1
arity_override = "oparity_binary"
ins = [
("mem", "memory dependency" ),
("ptr", "pointer to the object to free"),
- ("size", "number of objects to allocate" ),
+ ("count", "number of objects to allocate" ),
]
mode = "mode_M"
flags = [ "uses_memory" ]
]
outs = [
("M", "memory result"),
+ ("res", "checked object pointer"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "checked object pointer"),
]
flags = [ "highlevel" ]
attrs = [
]
outs = [
("M", "memory result"),
+ ("res", "result of load operation"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "result of load operation"),
]
flags = [ "fragile", "uses_memory" ]
pinned = "exception"
),
]
pinned_init = "flags & cons_floats ? op_pin_state_floats : op_pin_state_pinned"
+ throws_init = "(flags & cons_throws_exception) != 0"
class Minus(Unop):
"""returns the difference between its operands"""
]
outs = [
("M", "memory result"),
+ ("res", "result of computation"),
("X_regular", "control flow when no exception occurs"),
("X_except", "control flow when exception occured"),
- ("res", "result of computation"),
]
flags = [ "fragile", "uses_memory" ]
attrs_name = "mod"
]
attr_struct = "mod_attr"
pinned = "exception"
+ throws_init = "false"
op_index = 1
arity_override = "oparity_binary"
pinned = "exception"
attr_struct = "store_attr"
pinned_init = "flags & cons_floats ? op_pin_state_floats : op_pin_state_pinned"
+ throws_init = "(flags & cons_throws_exception) != 0"
attrs = [
dict(
type = "ir_volatility",