Struct InlinePtxOp 

pub struct InlinePtxOp { /* private fields */ }

Inline PTX. Restricted to zero or one results because C++ semantics are too hard otherwise. Note that this does not directly map to PTX, because it actually destructures vectors to PTX vector expressions automatically. This means more than one register can be returned if it’s part of a vector expression. To denote the difference, the syntax uses $0, $1 etc for Pliron values, as opposed to the usual %0, %1 etc for the PTX registers.

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
cuda_inline_ptx_ptx	ATTR_KEY_CUDA_INLINE_PTX_PTX	StringAttr
cuda_inline_ptx_volatile	ATTR_KEY_CUDA_INLINE_PTX_VOLATILE	UnitAttr
cuda_inline_ptx_clobbers	ATTR_KEY_CUDA_INLINE_PTX_CLOBBERS	VecAttr
cuda_inline_ptx_memory_clobbers	ATTR_KEY_CUDA_INLINE_PTX_MEMORY_CLOBBERS	MemoryClobbersAttr
cuda_inline_ptx_in_spec	ATTR_KEY_CUDA_INLINE_PTX_IN_SPEC	InputSpecsAttr

Implementations

impl InlinePtxOp

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

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

pub fn set_attr_cuda_inline_ptx_ptx(&self, ctx: &Context, value: StringAttr)

Set the value of the attribute named cuda_inline_ptx_ptx.

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

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

pub fn set_attr_cuda_inline_ptx_volatile(&self, ctx: &Context, value: UnitAttr)

Set the value of the attribute named cuda_inline_ptx_volatile.

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

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

pub fn set_attr_cuda_inline_ptx_clobbers(&self, ctx: &Context, value: VecAttr)

Set the value of the attribute named cuda_inline_ptx_clobbers.

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

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

pub fn set_attr_cuda_inline_ptx_memory_clobbers( &self, ctx: &Context, value: MemoryClobbersAttr, )

Set the value of the attribute named cuda_inline_ptx_memory_clobbers.

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

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

pub fn set_attr_cuda_inline_ptx_in_spec( &self, ctx: &Context, value: InputSpecsAttr, )

Set the value of the attribute named cuda_inline_ptx_in_spec.

impl InlinePtxOp

pub fn new( ctx: &mut Context, result_ty: Option<TypeHandle>, ptx: impl Display, inputs: Vec<Value>, ) -> Self

pub fn new_volatile( ctx: &mut Context, result_ty: Option<TypeHandle>, ptx: impl Display, inputs: Vec<Value>, ) -> Self

pub fn set_clobbers(&self, ctx: &Context, clobbers: Vec<String>)

pub fn clobbers(&self, ctx: &Context) -> Vec<String>

pub fn raw_ptx<'a>(&self, ctx: &'a Context) -> Ref<'a, str>

pub fn is_volatile(&self, ctx: &Context) -> bool

pub fn inputs(&self, ctx: &Context) -> Vec<Value>

pub fn result(&self, ctx: &Context) -> Option<Value>

Trait Implementations

impl Clone for InlinePtxOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InlinePtxOp

impl Eq for InlinePtxOp

impl Hash for InlinePtxOp

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 MemoryEffects for InlinePtxOp

fn memory_effects(&self, ctx: &Context) -> Vec<MemoryEffect>

fn verify(_op: &(dyn Op + 'static), _ctx: &Context) -> Result<(), Error>

where Self: Sized,

fn has_effects(&self, ctx: &Context) -> bool

impl Op for InlinePtxOp

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() -> (fn(Ptr<Operation>) -> OpBox, TypeId)

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 OpToCPP<Cuda> for InlinePtxOp

fn to_cpp(&self, ctx: &Context) -> String

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>

where Self: Sized,

impl Parsable for InlinePtxOp

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>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

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

impl PartialEq for InlinePtxOp

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for InlinePtxOp

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 SideEffects for InlinePtxOp

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

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

impl StructuralPartialEq for InlinePtxOp

impl Verify for InlinePtxOp

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