isomatch
Enumerations
expr Namespace Reference

Enumerations

enum  ExpressionType {
  ExprVar, ExprConst, ExprLongConst, ExprBinOp,
  ExprUnOp, ExprUnOpCst, ExprSlice, ExprMerge
}
 
enum  ExpressionBinOperator {
  BAnd, BOr, BXor, BAdd,
  BSub, BMul, BDiv, BMod,
  BLsr, BLsl, BAsr
}
 
enum  ExpressionUnOperator { UNot }
 
enum  ExpressionUnOperatorCst { UCLsr, UCLsl, UCAsr }
 

Detailed Description

Defines an AST for the expressions used in gates (combinator gates, assertion gates).

Enumeration Type Documentation

◆ ExpressionBinOperator

Operator for ExprBinOp

Enumerator
BAnd 

Bitwise and.

BOr 

Bitwise or.

BXor 

Bitwise exclusive or.

BAdd 

Addition.

BSub 

Subtraction.

BMul 

Multiplication.

BDiv 

Division.

BMod 

Modulus.

BLsr 

Logical shift right.

BLsl 

Logical shift left.

BAsr 

Arithmetic shift right.

◆ ExpressionType

Type of expression (used to cast to the right struct).

Enumerator
ExprVar 

End variable.

ExprConst 

Integer constant.

ExprLongConst 

Long integer constant.

ExprBinOp 

Binary operator (+, AND, ...)

ExprUnOp 

Unary operator (NOT, ...)

ExprUnOpCst 

Unary operator with constant (CstLSL, ...)

ExprSlice 

Take a subword out of a word.

ExprMerge 

Concatenate two words into a longer one.

◆ ExpressionUnOperator

Operator for ExprUnOp

Enumerator
UNot 

Unary bitwise not.

◆ ExpressionUnOperatorCst

Operator for ExprUnOpCst

Enumerator
UCLsr 

Logical shift right of fixed shift.

UCLsl 

Logical shift left of fixed shift.

UCAsr 

Arithmetic shift right of fixed shift.