ptx_parser/parser/instruction/
cp_async_mbarrier_arrive.rs

1//! Original PTX specification:
2//!
3//! cp.async.mbarrier.arrive{.noinc}{.state}.b64 [addr];
4//! .state = { .shared, .shared::cta}
5
6#![allow(unused)]
7
8use crate::lexer::PtxToken;
9use crate::parser::{PtxParseError, PtxParser, PtxTokenStream, Span};
10use crate::r#type::common::*;
11
12pub mod section_0 {
13    use super::*;
14    use crate::r#type::instruction::cp_async_mbarrier_arrive::section_0::*;
15
16    // ============================================================================
17    // Generated enum parsers
18    // ============================================================================
19
20    impl PtxParser for State {
21        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
22            // Try SharedCta
23            {
24                let saved_pos = stream.position();
25                if stream.expect_string(".shared::cta").is_ok() {
26                    return Ok(State::SharedCta);
27                }
28                stream.set_position(saved_pos);
29            }
30            let saved_pos = stream.position();
31            // Try Shared
32            {
33                let saved_pos = stream.position();
34                if stream.expect_string(".shared").is_ok() {
35                    return Ok(State::Shared);
36                }
37                stream.set_position(saved_pos);
38            }
39            stream.set_position(saved_pos);
40            let span = stream.peek().map(|(_, s)| s.clone()).unwrap_or(Span { start: 0, end: 0 });
41            let expected = &[".shared::cta", ".shared"];
42            let found = stream.peek().map(|(t, _)| format!("{:?}", t)).unwrap_or_else(|_| "<end of input>".to_string());
43            Err(crate::parser::unexpected_value(span, expected, found))
44        }
45    }
46
47    impl PtxParser for CpAsyncMbarrierArriveNoincStateB64 {
48        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
49            stream.expect_string("cp")?;
50            stream.expect_string(".async")?;
51            let async_ = ();
52            stream.expect_complete()?;
53            stream.expect_string(".mbarrier")?;
54            let mbarrier = ();
55            stream.expect_complete()?;
56            stream.expect_string(".arrive")?;
57            let arrive = ();
58            stream.expect_complete()?;
59            let saved_pos = stream.position();
60            let noinc = stream.expect_string(".noinc").is_ok();
61            if !noinc {
62                stream.set_position(saved_pos);
63            }
64            stream.expect_complete()?;
65            let saved_pos = stream.position();
66            let state = match State::parse(stream) {
67                Ok(val) => Some(val),
68                Err(_) => {
69                    stream.set_position(saved_pos);
70                    None
71                }
72            };
73            stream.expect_complete()?;
74            stream.expect_string(".b64")?;
75            let b64 = ();
76            stream.expect_complete()?;
77            let addr = AddressOperand::parse(stream)?;
78            stream.expect_complete()?;
79            stream.expect_complete()?;
80            stream.expect(&PtxToken::Semicolon)?;
81            Ok(CpAsyncMbarrierArriveNoincStateB64 {
82                async_,
83                mbarrier,
84                arrive,
85                noinc,
86                state,
87                b64,
88                addr,
89            })
90        }
91    }
92
93
94}
95
ptx_parser/parser/instruction/cp_async_mbarrier_arrive.rs

ptx_parser/parser/instruction/
cp_async_mbarrier_arrive.rs
