岁月流转,往昔空明

C++博客 首页 新随笔 联系 聚合 管理
  118 Posts :: 3 Stories :: 413 Comments :: 0 Trackbacks
经过一晚上的整理,把 SoftArt Shader Language 的 EBNF 弄出来了。
主要参照的是 ISO C++的EBNF
由于ISO C++并不是一个LALR(1)能够解决的问题,因此不知道这个C++ EBNF的简化版能否在YACC上比较方便的实现。
如果不能实现,我会先考虑修正语法满足需要,而不是手写编译器,我还没那个能耐。

Flex 与 Bison 的 下载地址

//SASL: SoftArt Shader Language

Syntax

Program             ::
= DeclSeq

//////////////////////////////////
//Declaration
//////////////////////////////////
DeclSeq             ::
= Decl | 
                        DeclSeq Decl
                        
Decl                ::
= BlockDecl |
                        FunctioDef

Declarator          ::
= DirectDecl [SemanticSpec] [RegisterSpec]

DirectDecl          ::
= DeclId |
                        DirectDecl '(' ParamDeclClause ')'|
                        DirectDecl '
[' [ConstExp] ']'|
                        '(' Declarator ')'

CvQualifierSeq      ::
= CvQualifier [CvQualifierSeq]

CvQualifier         ::
= 'const' | 'uniform'

SemanticSpec        ::
= ':' Semantic

RegisterSpec        ::
= ':' 'register' '(' Register ')'
                        
BlockDecl           ::
= SimpleDecl

SimpleDecl          ::
= [DeclSpecSeq] [InitDeclList] ';'

AbsDecl             ::
= DirectAbsDecl

DirectAbsDecl       ::
= [DirectAbsDecl] '(' ParamDeclClause ')' |
                        
[DirectAbsDecl] '[' [ConstExp] ']' |
                        '(' AbsDecl ')'
                        

DeclSpecSeq         ::
= [DeclSpecSeq] DeclSpec

InitDeclList        ::
= InitDecl |
                        InitDeclList '
,' InitDecl

InitDecl            ::
=    Declarator [Init]

Init                ::
= '=' InitClause                         |
                        ( ExpList)
                        
InitClause          ::
= AssignmentExp |
                        '{' InitList 
[','] '}' |
                        '{' '}'
InitList            ::
= InitClause |
                        InitList '
,' InitClause
                        
DeclSpec            ::
= TypeSpec
                        
TypeSpec            ::
= SimpleTypeSpec |
                        ClassSpec

SimpleTypeSpec      ::
=    'int' | 'half' | 'float' |
                        'int2' | 'half2' | 'float2' |
                        'int3' | 'half3' | 'float3' |
                        'int4' | 'half4' | 'float4' |
                        'float4x4'

/////////////////////////////
//Function
/////////////////////////////
FunctionDef         ::
= [DeclSpecSeq] Declarator FunctionBody

FunctionBody        ::
= CompoundStatement

/////////////////////////////
//Statements
/////////////////////////////
CompoundStatement   ::
= '{' [StatementSeq] '}'

StatementSeq        ::
= Statement |
                        StatementSeq Statement

Statement           ::
= ExpStatement |
                        CompountStatement |
                        SelectionStatement |
                        IterationStatement |
                        DeclStatement
                        
ExpStatement        ::
= [ Expression ] ';'

SelectionStatement  ::
= 'if' '(' Condition ')' Statement |
                        'if' '(' Condition ')' Statement 'else' Statement

IterationStatement  ::
= 'while' '(' Condition ')' Statement |
                        'do' Statement 'while' '(' Expression ')' '
;'
                        'for' '(' ForInitStatement [Condition] ';' [ Expression ] ')' Statement
        
Condition           ::
= Expression |
                        TypeSpecSeq Declarator '
=' AssignmentExp

ForInitStatement    ::
= ExpStatement |
                        SimpleDecl

DeclStatement       ::
= BlockDecl

/////////////////////////////                        
//Parameter
/////////////////////////////
ParamDeclClause     ::
= [ ParamDeclList ]

ParamDeclList       ::
= ParamDecl |
                        ParamDeclList '
,' ParamDecl

ParamDecl           ::
= DeclSpecSeq Delarator |
                        DeclSpecSeq 
[AbsDecl]


/////////////////////////////
//Class And Struct
/////////////////////////////
ClassSpec           ::
= ClassHead '{' [ MemberSpec ] '}'

ClassHead           ::
= 'struct' [ Identifier ]

MemberSpec    `     ::
= MemberDecl [MemberSpec]

MemberDeclaration   ::
= [DeclSpecSeq] [MemberDeclList]

MemberDeclList      ::
= MemberDecl |
                        MemberDeclList '
,' MemberDeclarator
                        
MemberDeclarator    ::
=    Declarator [ PureSpec ] |
                        Declarator 
[ ConstInit ] |
                        
[ Identifier ] ':' ConstExp



//////////////////////////////////////
//Expressions
//////////////////////////////////////
Expression          ::
= AssignmentExp

ConstExp            ::
= CondExp

AssignmentExp       ::
= CondExp |
                        LogicalOrExp AssignmentOp AssignmentExp
                        
CondExp             ::
= LogicalOrExp |
                        LogicalOrExp '?' Expression ':' AssignmentExp

LogicalOrExp        ::
= LogicalAndExp |
                        LogicalOrExp '||' LogicalAndExp
                        
LogicalAndExp       ::
= InclusiveOrExp |
                        LogicalAndExp '&&' InclusiveOrExp
                        
InclusiveOrExp      ::
= ExclusiveOrExp |
                        InclusiveOrExp '|' ExclusiveOrExp
                        
ExclusiveOrExp      ::
= AndExp |
                        ExclusiveOrExp '^' AndExp

AndExp              ::
= EqualExp |
                        AndExp '&' EqualExp

EqualExp            ::
= RelExp |
                        EqualExp '
==' RelExp |
                        EqualExp '!
=' RelExp

RelExp              ::
= ShiftExp |
                        RelExp '<' ShiftExp |
                        RelExp '>' ShiftExp |
                        RelExp '<
=' ShiftExp |
                        RelExp '>
=' ShiftExp

ShiftExp            ::
= AddExp |
                        ShiftExp '<<' AddExp |
                        ShiftExp '>>' AddExp

AddExp              ::
= MulExp |
                        AddExp '+' MulExp |
                        AddExp '-' MulExp

MulExp              ::
= PmExp |
                        MulExp '*' PmExp |
                        MulExp '/' PmExp |
                        MulExp '%' PmExp
    
PmExp               ::
= CastExp |
                        PmExp '.*' CastExp

CastExp             ::
= UnaryExp |
                        '(' TypeId ')' CastExp

UnaryExp            ::
= PostfixExp |
                        '++' CastExp |
                        '--' CastExp |
                        UnaryOp CastExp
                        
PostfixExp          ::
= PrimaryExp |
                        PostfixExp '
[' Expression ']' |
                        PostfixExp '(' Expression ')' |
                        PostfixExp '(' 
[ ExpList ] ')' |
                        SimpleTypeSpec '(' 
[ ExpList ] ')' |
                        PostfixExp '++' |
                        PostfixExp '--'

PrimaryExp          ::
= Literal |
                        '(' Expression ')' |
                        IdExp

IdExp               ::
= UnqualifiedId

ExpList             ::
= AssigmentExp |
                        ExpList '
,' AssignmentExp
                        
//////////////////////////////
//Identifier
//////////////////////////////
DeclId              ::
= IdExp |
                        TypeName

UnqualifiedId       ::
= Identifier

Identifier          ::
= NonDigit |
                        Identifier NonDigit |
                        Identifier Digit

//////////////////////////////
//Literals
//////////////////////////////
Literal             ::
= IntLiteral |
                        FloatLiteral |
                        BoolLitreral

IntLiteral          ::
= DemicalLiteral

DemicalLiteral      ::
= NonZeroDigit |
                        DemicalLiteral | Digit
    
FloatLiteral        ::
= FracConstant [ExponentPart] |
                        DigitSeq ExponentPart
                        
BoolLiteral         ::
= 'false' |
                        'true'

FracConstant        ::
= [DigitSeq] '.' DigitSeq |
                        DigitSeq '.'
                        
ExponentPart        ::
= 'e' [Sign] DigitSeq |
                        'E' 
[Sign] DigitSeq
                        
DigitSeq            ::
= Digit |
                        DigitSeq Digit
                        
//////////////////////////
//Terminals
//////////////////////////

NonDigit            ::
= AlphaChar |
                        '_'

NonZeroDigit        ::
= '1' |  | '9'

AssignmentOp        ::
= '=' | 
                        '*
='  | '/='  | '%=' |
                        '+
='  | '-='  |
                        '>>
=' | '<<=' |
                        '&
='  | '^='  | '|='
Register
Semantic
Digit
AlphaChar
Keyword


有点儿参差不齐,哈哈。一些Terminator我就没有写了。预处理的部分由于使用Boost.Wave,因此也没有加入到EBNF中。这些都很大程度上简化了EBNF的内容。
然后大概的根据层次归了一下类,看起来要方便一点。
但愿语法树里面没有漏掉的。
等回到自己机器上就开始自下向上的实现这个东西了,争取10月份之前能把整个Shader编译器集成到SoftArt里面去。
目前就让它在SVN的SandBox里面待着好了。
posted on 2008-07-25 02:25 空明流转 阅读(1900) 评论(7)  编辑 收藏 引用

评论

# re: SoftArt Shader Language Syntax EBNF 2008-07-25 14:10 亨德列克
老吴,我很佩服你,你真牛  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2008-07-26 20:57 cexer
没有看明白呢。。。  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2008-11-29 04:35 肥仔
文法好写,也好理解,但文法之后的事情才叫难于上青天,借助YACC解析代码生成一颗语法树就非常头痛了,剩下的符号提取,解释器,语法树运算更不用说了。
我找过很多yacc的文章,但还来没有发现过中国谁用它真正实现了一个脚本引擎的。可见难度之不低。  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2008-11-30 20:25 空明流转
@肥仔
难度不高,但是麻烦的不轻。  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2008-12-20 00:28 gatt
不知道你有没有看过现代编译原理:C语言描述,我觉得他里面的项目难度太大了,书本也说得不太清楚,我只完成了语义分析,后面的无从下手  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2008-12-20 10:46 空明流转
@gatt
我语法的部分还没有做完。
不过我看了看其他版本的编译原理,也还好。  回复  更多评论
  

# re: SoftArt Shader Language Syntax EBNF 2009-05-26 17:06 李锦俊
空明你意思是又要我跟着学一门shader语言了,我快挂了~~~~~~~  回复  更多评论
  


只有注册用户登录后才能发表评论。
【推荐】超50万行VC++源码: 大型组态工控、电力仿真CAD与GIS源码库
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理