ptx_parser/parser/instruction/
isspacep.rs

1//! Original PTX specification:
2//!
3//! isspacep.space  p, a;    // result is .pred
4//! .space = { .const, .global, .local, .shared, .shared::cta, .shared::cluster, .param, .param::entry };
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::isspacep::section_0::*;
15
16    // ============================================================================
17    // Generated enum parsers
18    // ============================================================================
19
20    impl PtxParser for Space {
21        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
22            // Try SharedCluster
23            {
24                let saved_pos = stream.position();
25                if stream.expect_string(".shared::cluster").is_ok() {
26                    return Ok(Space::SharedCluster);
27                }
28                stream.set_position(saved_pos);
29            }
30            let saved_pos = stream.position();
31            // Try ParamEntry
32            {
33                let saved_pos = stream.position();
34                if stream.expect_string(".param::entry").is_ok() {
35                    return Ok(Space::ParamEntry);
36                }
37                stream.set_position(saved_pos);
38            }
39            stream.set_position(saved_pos);
40            let saved_pos = stream.position();
41            // Try SharedCta
42            {
43                let saved_pos = stream.position();
44                if stream.expect_string(".shared::cta").is_ok() {
45                    return Ok(Space::SharedCta);
46                }
47                stream.set_position(saved_pos);
48            }
49            stream.set_position(saved_pos);
50            let saved_pos = stream.position();
51            // Try Global
52            {
53                let saved_pos = stream.position();
54                if stream.expect_string(".global").is_ok() {
55                    return Ok(Space::Global);
56                }
57                stream.set_position(saved_pos);
58            }
59            stream.set_position(saved_pos);
60            let saved_pos = stream.position();
61            // Try Shared
62            {
63                let saved_pos = stream.position();
64                if stream.expect_string(".shared").is_ok() {
65                    return Ok(Space::Shared);
66                }
67                stream.set_position(saved_pos);
68            }
69            stream.set_position(saved_pos);
70            let saved_pos = stream.position();
71            // Try Const
72            {
73                let saved_pos = stream.position();
74                if stream.expect_string(".const").is_ok() {
75                    return Ok(Space::Const);
76                }
77                stream.set_position(saved_pos);
78            }
79            stream.set_position(saved_pos);
80            let saved_pos = stream.position();
81            // Try Local
82            {
83                let saved_pos = stream.position();
84                if stream.expect_string(".local").is_ok() {
85                    return Ok(Space::Local);
86                }
87                stream.set_position(saved_pos);
88            }
89            stream.set_position(saved_pos);
90            let saved_pos = stream.position();
91            // Try Param
92            {
93                let saved_pos = stream.position();
94                if stream.expect_string(".param").is_ok() {
95                    return Ok(Space::Param);
96                }
97                stream.set_position(saved_pos);
98            }
99            stream.set_position(saved_pos);
100            let span = stream
101                .peek()
102                .map(|(_, s)| s.clone())
103                .unwrap_or(Span { start: 0, end: 0 });
104            let expected = &[
105                ".shared::cluster",
106                ".param::entry",
107                ".shared::cta",
108                ".global",
109                ".shared",
110                ".const",
111                ".local",
112                ".param",
113            ];
114            let found = stream
115                .peek()
116                .map(|(t, _)| format!("{:?}", t))
117                .unwrap_or_else(|_| "<end of input>".to_string());
118            Err(crate::parser::unexpected_value(span, expected, found))
119        }
120    }
121
122    impl PtxParser for IsspacepSpace {
123        fn parse(stream: &mut PtxTokenStream) -> Result<Self, PtxParseError> {
124            stream.expect_string("isspacep")?;
125            let space = Space::parse(stream)?;
126            stream.expect_complete()?;
127            let p = GeneralOperand::parse(stream)?;
128            stream.expect_complete()?;
129            stream.expect(&PtxToken::Comma)?;
130            let a = GeneralOperand::parse(stream)?;
131            stream.expect_complete()?;
132            stream.expect_complete()?;
133            stream.expect(&PtxToken::Semicolon)?;
134            Ok(IsspacepSpace { space, p, a })
135        }
136    }
137}