Tracing Dialect

Tracing dialect A dialect to print program values at runtime.

Operation definition

Tracing.trace_ciphertext (::mlir::concretelang::Tracing::TraceCiphertextOp)

Prints a ciphertext.

Attributes:

AttributeMLIR TypeDescription

msg

::mlir::StringAttr

string attribute

nmsb

::mlir::IntegerAttr

32-bit signless integer attribute

Operands:

OperandDescription

ciphertext

Tracing.trace_message (::mlir::concretelang::Tracing::TraceMessageOp)

Prints a message.

Attributes:

AttributeMLIR TypeDescription

msg

::mlir::StringAttr

string attribute

Tracing.trace_plaintext (::mlir::concretelang::Tracing::TracePlaintextOp)

Prints a plaintext.

Attributes:

AttributeMLIR TypeDescription

msg

::mlir::StringAttr

string attribute

nmsb

::mlir::IntegerAttr

32-bit signless integer attribute

Operands:

OperandDescription

plaintext

integer

Last updated