+ is_a = "binop",
+ flags = "none",
+),
+
+Bound = dict(
+ ins = [ "mem", "index", "lower", "upper" ],
+ outs = [ "M", "X_regular", "X_except", "res" ],
+ flags = "fragile, highlevel",
+ pinned = "exception",
+ pinned_init = "op_pin_state_pinned",
+ attr_struct = "bound_attr",
+ d_post = '''
+ #if PRECISE_EXC_CONTEXT
+ firm_alloc_frag_arr(res, op_Bound, &res->attr.bound.exc.frag_arr);
+ #endif
+ '''
+),
+
+Break = dict(
+ mode = "mode_X",
+ flags = "cfopcode",
+ pinned = "yes",