mlir::ValueBoundsOptions Struct Reference

Options that control value bound computation. More...

#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Public Attributes
bool	closedUB = false
	By default, lower/equal bounds are closed and upper bounds are open.
bool	allowIntegerType = false
	If set to "true", integer-typed SSA values are treated like index-typed SSA values.

Detailed Description

Options that control value bound computation.

Definition at line 56 of file ValueBoundsOpInterface.h.

Member Data Documentation

allowIntegerType

bool mlir::ValueBoundsOptions::allowIntegerType = false

If set to "true", integer-typed SSA values are treated like index-typed SSA values.

The value bounds infrastructure assumes that such integer computations do not overflow. If set to "false", integer-typed SSA values are rejected.

Definition at line 65 of file ValueBoundsOpInterface.h.

closedUB

bool mlir::ValueBoundsOptions::closedUB = false

By default, lower/equal bounds are closed and upper bounds are open.

If closedUB is set to "true", upper bounds are also closed.

Definition at line 59 of file ValueBoundsOpInterface.h.

---

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

• include/mlir/Interfaces/ValueBoundsOpInterface.h