ptx_parser/parser/instruction/
mbarrier_init.rs

1//! Original PTX specification:
2//!
3//! mbarrier.init{.state}.b64 [addr], count;
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::mbarrier_init::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 MbarrierInitStateB64 {
48        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
49            stream.expect_string("mbarrier")?;
50            stream.expect_string(".init")?;
51            let init = ();
52            stream.expect_complete()?;
53            let saved_pos = stream.position();
54            let state = match State::parse(stream) {
55                Ok(val) => Some(val),
56                Err(_) => {
57                    stream.set_position(saved_pos);
58                    None
59                }
60            };
61            stream.expect_complete()?;
62            stream.expect_string(".b64")?;
63            let b64 = ();
64            stream.expect_complete()?;
65            let addr = AddressOperand::parse(stream)?;
66            stream.expect_complete()?;
67            stream.expect(&PtxToken::Comma)?;
68            let count = GeneralOperand::parse(stream)?;
69            stream.expect_complete()?;
70            stream.expect_complete()?;
71            stream.expect(&PtxToken::Semicolon)?;
72            Ok(MbarrierInitStateB64 {
73                init,
74                state,
75                b64,
76                addr,
77                count,
78            })
79        }
80    }
81
82
83}
84
ptx_parser/parser/instruction/mbarrier_init.rs

ptx_parser/parser/instruction/
mbarrier_init.rs
