rz_il_op_args_branch_t Struct Reference

op structure for branch (bool -> 'a eff -> 'a eff -> 'a eff) More...

#include <rz_il_opcodes.h>

Public Attributes
RzILOpBool *	condition
RZ_NONNULL RzILOpEffect *	true_eff
	effect for when condition evaluates to true More...
RZ_NONNULL RzILOpEffect *	false_eff
	effect for when condition evaluates to false More...

Detailed Description

op structure for branch (bool -> 'a eff -> 'a eff -> 'a eff)

branch c lhs rhs if c holds then performs lhs else rhs.

Definition at line 238 of file rz_il_opcodes.h.

Member Data Documentation

condition

RzILOpBool* rz_il_op_args_branch_t::condition

Definition at line 239 of file rz_il_opcodes.h.

Referenced by rz_il_handler_branch().

false_eff

RZ_NONNULL RzILOpEffect* rz_il_op_args_branch_t::false_eff

effect for when condition evaluates to false

Definition at line 241 of file rz_il_opcodes.h.

Referenced by rz_il_handler_branch().

true_eff

RZ_NONNULL RzILOpEffect* rz_il_op_args_branch_t::true_eff

effect for when condition evaluates to true

Definition at line 240 of file rz_il_opcodes.h.

Referenced by rz_il_handler_branch().

---

The documentation for this struct was generated from the following file:

• librz/include/rz_il/rz_il_opcodes.h