singe-ptx 0.1.0-alpha.3

CUDA PTX parser, AST, and instruction metadata utilities.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

use crate::ast::{Attribute, LinkingDirective, ScalarType, Span, StateSpace};

#[derive(Debug, Clone, PartialEq)]
pub struct Function {
    pub span: Span,
    pub linkage: Option<LinkingDirective>,
    pub entry: bool,
    pub name: String,
    pub attributes: Vec<Attribute>,
    pub directives: Vec<FunctionDirective>,
    pub params: Vec<Parameter>,
    pub return_params: Vec<Parameter>,
    pub body: Option<Vec<Statement>>,
}

#[derive(Debug, Clone, PartialEq)]
pub struct Parameter {
    pub span: Span,
    pub name: String,
    pub ty: ScalarType,
    pub state_space: Option<StateSpace>,
    pub alignment: Option<u32>,
    pub array_bounds: Vec<Option<u32>>,
    pub ptr: bool,
}

#[derive(Debug, Clone, PartialEq)]
pub enum Statement {
    Label {
        span: Span,
        name: String,
    },
    Instruction(super::Instruction),
    Variable(super::VariableDecl),
    Directive(DirectiveStatement),
    Block {
        span: Span,
        statements: Vec<Statement>,
    },
}

#[derive(Debug, Clone, PartialEq)]
pub enum FunctionDirective {
    NoReturn { span: Span },
    MaxNReg { span: Span, value: u32 },
    MaxNTid { span: Span, values: Vec<u32> },
    ReqNTid { span: Span, values: Vec<u32> },
    MinNCtaPerSm { span: Span, value: u32 },
    AbiPreserve { span: Span, value: u32 },
    AbiPreserveControl { span: Span, value: u32 },
    Pragma { span: Span, value: String },
}

#[derive(Debug, Clone, PartialEq)]
pub enum DirectiveStatement {
    Pragma {
        span: Span,
        value: String,
    },
    Loc(LocDirective),
    BranchTargets {
        span: Span,
        labels: Vec<LabelPattern>,
    },
    CallTargets {
        span: Span,
        targets: Vec<String>,
    },
    CallPrototype {
        span: Span,
        prototype: CallPrototype,
    },
}

#[derive(Debug, Clone, PartialEq)]
pub struct LocDirective {
    pub span: Span,
    pub file: u32,
    pub line: u32,
    pub column: u32,
    pub function_name: Option<LocFunctionName>,
    pub inlined_at: Option<LocInlineSite>,
}

#[derive(Debug, Clone, PartialEq)]
pub enum LocFunctionName {
    Label {
        span: Span,
        label: String,
    },
    LabelOffset {
        span: Span,
        label: String,
        offset: i64,
    },
}

#[derive(Debug, Clone, PartialEq)]
pub struct LocInlineSite {
    pub span: Span,
    pub file: u32,
    pub line: u32,
    pub column: u32,
}

#[derive(Debug, Clone, PartialEq)]
pub enum LabelPattern {
    Name {
        span: Span,
        name: String,
    },
    Range {
        span: Span,
        prefix: String,
        count: u32,
    },
}

#[derive(Debug, Clone, PartialEq)]
pub struct CallPrototype {
    pub span: Span,
    pub return_params: Vec<Parameter>,
    pub placeholder: String,
    pub params: Vec<Parameter>,
    pub directives: Vec<FunctionDirective>,
}