Struct FCmpOp 

pub struct FCmpOp { /* private fields */ }

Equivalent to LLVM’same fcmp instruction.

Operand(s):

operand	description
lhs	float or vector of float
rhs	float or vector of float

Result(s):

result	description
res	i1 or vector of i1

Attribute(s):

Note: Only attributes defined directly as part of this operation are listed here. There may be others, not listed here, defined by interface implementations.

Name	Static Name Identifier	Type
llvm_fcmp_predicate	ATTR_KEY_LLVM_FCMP_PREDICATE	FCmpPredicateAttr

Implementations

impl FCmpOp

pub fn get_attr_llvm_fcmp_predicate<'a>( &self, ctx: &'a Context, ) -> Option<Ref<'a, FCmpPredicateAttr>>

Get a Ref to the value of the attribute named llvm_fcmp_predicate. The Ref is a borrow of the containing Operation object.

pub fn set_attr_llvm_fcmp_predicate( &self, ctx: &Context, value: FCmpPredicateAttr, )

Set the value of the attribute named llvm_fcmp_predicate.

impl FCmpOp

pub fn new( ctx: &mut Context, pred: FCmpPredicateAttr, lhs: Value, rhs: Value, ) -> Self

Create a new FCmpOp

pub fn predicate(&self, ctx: &Context) -> FCmpPredicateAttr

Get the predicate

Trait Implementations

impl Clone for FCmpOp

fn clone(&self) -> FCmpOp

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConstFoldInterface for FCmpOp

fn check_fold( &self, ctx: &Context, ops: &[Option<AttrObj>], ) -> Vec<Option<AttrObj>>

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), returns a vector corresponding to each result, indicating the folded (inferred constant) value, if any.

fn fold_in_place( &self, ctx: &mut Context, ops: &[Option<AttrObj>], rw: &mut dyn Rewriter, ) -> IRStatus

Given a slice operand_attrs corresponding to each operand, indicating a known compile time constant value for that operand (if any), attempts to fold the op in place using the provided rewriter. Assumes that rewriter is positioned just before the op to be folded.

fn fold_with_materialization( &self, ctx: &mut Context, operand_attrs: &[Option<Box<dyn Attribute>>], rewriter: &mut dyn Rewriter, ) -> IRStatus

A helper for implementing fold_in_place by materializing the constants inferred by check_fold.

impl Copy for FCmpOp

impl Eq for FCmpOp

impl FastMathFlags for FCmpOp

fn fast_math_flags(&self, ctx: &Context) -> FastmathFlagsAttr

where Self: Sized,

Get the fast math flags on this Op.

fn set_fast_math_flags(&self, ctx: &Context, flag: FastmathFlagsAttr)

where Self: Sized,

Set the fast math flags for this Op.

impl Hash for FCmpOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl NOpdsInterface<2> for FCmpOp

fn get_operand_i(&self, ctx: &Context, i: LessThanN<N>) -> Value

Get the i’th operand.

fn operand_type_i(&self, ctx: &Context, i: LessThanN<N>) -> TypeHandle

Get the type of the i’th operand.

impl OneResultInterface for FCmpOp

fn get_result(&self, ctx: &Context) -> Value

Get the single result defined by this Op.

fn result_type(&self, ctx: &Context) -> TypeHandle

Get the type of the single result defined by this Op.

impl Op for FCmpOp

fn get_operation(&self) -> Ptr<Operation>

Get the underlying IR Operation

fn get_opid(&self) -> OpId

Get this Op’s OpId

fn get_opid_static() -> OpId

Get this Op’s OpId, without self reference.

fn get_concrete_op_info() -> ConcreteOpInfo

where Self: Sized,

Get details about the concrete Op type.

fn register(ctx: &mut Context)

where Self: Sized + Parsable<Arg = Vec<(Identifier, Location)>, Parsed = OpBox>,

Register Op in Context and add it to its dialect.

fn loc(&self, ctx: &Context) -> Location

Get Op’s location

impl Parsable for FCmpOp

type Arg = Vec<(Identifier, Location)>

Type of the argument that must be passed to the parser.

type Parsed = OpBox

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

Define a parser using existing combinators and call into on [Parser::parse_stream] to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, Output = Self::Parsed, PartialState = ()> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for FCmpOp

fn eq(&self, other: &FCmpOp) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Printable for FCmpOp

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl SameOperandsType for FCmpOp

fn common_operand_type(&self, ctx: &Context) -> Option<TypeHandle>

Get the common type of the operands.

impl ScalarOrVectorOpdImpls<dyn FloatTypeInterface, 0> for FCmpOp

fn scalar_or_vector_elem_ty(&self, ctx: &Context) -> TypeInterfaceHandle<I>

Get the type of operand N, or its element type if its VectorType.

fn vector_shape(&self, ctx: &Context) -> Option<(u32, VectorTypeKind)>

Get the vector shape of operand N, or None if it is not a VectorType.

impl ScalarOrVectorRes<IntegerType, 0> for FCmpOp

fn scalar_or_vector_elem_ty(&self, ctx: &Context) -> TypedHandle<T>

Get the type of result N, or its element type if its VectorType.

fn vector_shape(&self, ctx: &Context) -> Option<(u32, VectorTypeKind)>

Get the vector shape of result N, or None if it is not a VectorType.

impl SideEffects for FCmpOp

fn has_side_effects(&self, _ctx: &Context) -> bool

Returns true if the operation has side effects, and false otherwise.

impl StructuralPartialEq for FCmpOp

impl Verify for FCmpOp

fn verify(&self, ctx: &Context) -> Result<()>