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
41                .peek()
42                .map(|(_, s)| s.clone())
43                .unwrap_or(Span { start: 0, end: 0 });
44            let expected = &[".shared::cta", ".shared"];
45            let found = stream
46                .peek()
47                .map(|(t, _)| format!("{:?}", t))
48                .unwrap_or_else(|_| "<end of input>".to_string());
49            Err(crate::parser::unexpected_value(span, expected, found))
50        }
51    }
52
53    impl PtxParser for MbarrierInitStateB64 {
54        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
55            stream.expect_string("mbarrier")?;
56            stream.expect_string(".init")?;
57            let init = ();
58            stream.expect_complete()?;
59            let saved_pos = stream.position();
60            let state = match State::parse(stream) {
61                Ok(val) => Some(val),
62                Err(_) => {
63                    stream.set_position(saved_pos);
64                    None
65                }
66            };
67            stream.expect_complete()?;
68            stream.expect_string(".b64")?;
69            let b64 = ();
70            stream.expect_complete()?;
71            let addr = AddressOperand::parse(stream)?;
72            stream.expect_complete()?;
73            stream.expect(&PtxToken::Comma)?;
74            let count = GeneralOperand::parse(stream)?;
75            stream.expect_complete()?;
76            stream.expect_complete()?;
77            stream.expect(&PtxToken::Semicolon)?;
78            Ok(MbarrierInitStateB64 {
79                init,
80                state,
81                b64,
82                addr,
83                count,
84            })
85        }
86    }
87}
ptx_parser/parser/instruction/mbarrier_init.rs

ptx_parser/parser/instruction/
mbarrier_init.rs
