3 polygen grammar for LLVM assembly language.
5 This file defines an LLVM assembly language grammar for polygen,
6 which is a tool for generating random text based on a grammar.
7 It is strictly syntax-based, and makes no attempt to generate
8 IR that is semantically valid. Most of the IR produced doesn't
11 TODO: Metadata, in all its forms
16 I ::= "title: LLVM assembly language\n"
17 ^ "status: experimental\n"
18 ^ "audience: LLVM developers\n"
24 Define rules for non-keyword tokens. This is currently just a bunch
25 of hacks. They don't cover many valid forms of tokens, and they also
26 generate some invalid forms of tokens. The LLVM parser has custom
27 C++ code to lex these; custom C++ code for emitting them would be
28 convenient, but polygen doesn't support that.
30 NonZeroDecimalDigit ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
31 DecimalDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ;
32 DecimalDigitSeq ::= DecimalDigit [^ DecimalDigitSeq ];
33 HexDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
34 | a | b | c | d | e | f ;
35 HexDigitSeq ::= HexDigit [^ HexDigitSeq ];
36 StringChar ::= a | b | c | d | e | f | g | h | i | j | k | l | m
37 | n | o | p | q | r | s | t | u | v | w | x | y | z ;
38 StringConstantSeq ::= StringChar [^ StringConstantSeq ];
39 StringConstant ::= StringChar [^ StringConstantSeq ];
40 EUINT64VAL ::= NonZeroDecimalDigit [^ DecimalDigitSeq ];
41 ESINT64VAL ::= [ "-" ] ^ EUINT64VAL ;
42 EUAPINTVAL ::= EUINT64VAL ;
43 ESAPINTVAL ::= ESINT64VAL ;
44 LOCALVALID ::= "%" ^ DecimalDigitSeq ;
45 GLOBALVALID ::= "@" ^ DecimalDigitSeq ;
46 INTTYPE ::= "i" ^ EUINT64VAL ;
47 GLOBALVAR ::= "@" ^ StringConstant ;
48 LOCALVAR ::= "%" ^ StringConstant ;
49 STRINGCONSTANT ::= "\"" ^ StringConstant ^ "\"" ;
50 ATSTRINGCONSTANT ::= "@" ^ STRINGCONSTANT ;
51 PCTSTRINGCONSTANT ::= "%" ^ STRINGCONSTANT ;
52 LABELSTR ::= StringConstant ;
53 FPVAL ::= ESAPINTVAL ^ "." ^ EUAPINTVAL | "0x" ^ HexDigitSeq ;
56 The rest of this file is derived directly from llvmAsmParser.y.
59 ArithmeticOps ::= + OptNW add | fadd | OptNW sub | fsub | OptNW mul | fmul |
60 udiv | OptExact sdiv | fdiv | urem | srem | frem ;
61 LogicalOps ::= shl | lshr | ashr | and | or | xor;
62 CastOps ::= trunc | zext | sext | fptrunc | fpext | bitcast |
63 uitofp | sitofp | fptoui | fptosi | inttoptr | ptrtoint ;
65 IPredicates ::= eq | ne | slt | sgt | sle | sge | ult | ugt | ule | uge ;
67 FPredicates ::= oeq | one | olt | ogt | ole | oge | ord | uno | ueq | une
68 | ult | ugt | ule | uge | true | false ;
71 FPType ::= float | double | "ppc_fp128" | fp128 | "x86_fp80";
73 LocalName ::= LOCALVAR | STRINGCONSTANT | PCTSTRINGCONSTANT ;
74 OptLocalName ::= LocalName | _ ;
76 OptAddrSpace ::= - addrspace ^ "(" ^ EUINT64VAL ^ ")" | _ ;
78 OptLocalAssign ::= LocalName "=" | _ ;
80 GlobalName ::= GLOBALVAR | ATSTRINGCONSTANT ;
82 OptGlobalAssign ::= GlobalAssign | _ ;
84 GlobalAssign ::= GlobalName "=" ;
97 | "linker_private_weak"
113 FunctionDeclareLinkage
119 FunctionDefineLinkage
129 AliasLinkage ::= + _ | weak | "weak_odr" | internal ;
131 OptCallingConv ::= + _ |
139 ParamAttr ::= zeroext
150 OptParamAttrs ::= + _ | OptParamAttrs ParamAttr ;
159 | OptRetAttrs RetAttr
162 FuncAttr ::= noreturn
178 OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;
180 OptGC ::= + _ | gc STRINGCONSTANT ;
182 OptAlign ::= + _ | align EUINT64VAL ;
183 OptCAlign ::= + _ | ^ "," align EUINT64VAL ;
185 SectionString ::= section STRINGCONSTANT ;
187 OptSection ::= + _ | SectionString ;
189 GlobalVarAttributes ::= + _ | ^ "," GlobalVarAttribute GlobalVarAttributes ;
190 GlobalVarAttribute ::= SectionString | align EUINT64VAL ;
192 PrimType ::= INTTYPE | float | double | "ppc_fp128" | fp128 | "x86_fp80"
198 | Types OptAddrSpace ^ "*"
201 | Types "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
202 | void "(" ^ ArgTypeListI ^ ")" OptFuncAttrs
203 | "[" ^ EUINT64VAL "x" Types ^ "]"
204 | "<" ^ EUINT64VAL "x" Types ^ ">"
207 | "<" ^ "{" TypeListI "}" ^ ">"
208 | "<" ^ "{" ^ "}" ^ ">"
211 ArgType ::= Types OptParamAttrs ;
213 ResultTypes ::= Types | void ;
215 ArgTypeList ::= ArgType | ArgTypeList ^ "," ArgType ;
217 ArgTypeListI ::= ArgTypeList | ArgTypeList ^ "," "..." | "..." | _ ;
219 TypeListI ::= Types | TypeListI ^ "," Types ;
221 ConstVal::= Types "[" ^ ConstVector ^ "]"
223 | Types "c" ^ STRINGCONSTANT
224 | Types "<" ^ ConstVector ^ ">"
225 | Types "{" ConstVector "}"
227 | Types "<" ^ "{" ConstVector "}" ^ ">"
228 | Types "<" ^ "{" ^ "}" ^ ">"
231 | Types SymbolicValueRef
233 | Types zeroinitializer
242 ConstExpr::= CastOps "(" ^ ConstVal to Types ^ ")"
243 | getelementptr OptInBounds "(" ^ ConstVal IndexList ^ ")"
244 | select "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
245 | ArithmeticOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
246 | LogicalOps "(" ^ ConstVal ^ "," ConstVal ^ ")"
247 | icmp IPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
248 | fcmp FPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")"
249 | extractelement "(" ^ ConstVal ^ "," ConstVal ^ ")"
250 | insertelement "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
251 | shufflevector "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")"
252 | extractvalue "(" ^ ConstVal ^ ConstantIndexList ^ ")"
253 | insertvalue "(" ^ ConstVal ^ "," ConstVal ^ ConstantIndexList ^ ")" ;
255 ConstVector ::= ConstVector ^ "," ConstVal | ConstVal ;
257 GlobalType ::= global | constant ;
259 ThreadLocal ::= - "thread_local" | _ ;
261 AliaseeRef ::= ResultTypes SymbolicValueRef
262 | bitcast "(" ^ AliaseeRef to Types ^ ")" ;
264 Module ::= +++ DefinitionList | --- _ ;
266 DefinitionList ::= - Definition | + DefinitionList Definition ;
269 ::= ^ ( +++++ define Function
270 | declare FunctionProto
271 | - module asm AsmBlock
272 | OptLocalAssign type Types
273 | OptGlobalAssign GVVisibilityStyle ThreadLocal OptAddrSpace GlobalType
274 ConstVal GlobalVarAttributes
275 | OptGlobalAssign GVInternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
276 GlobalType ConstVal GlobalVarAttributes
277 | OptGlobalAssign GVExternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace
278 GlobalType Types GlobalVarAttributes
279 | OptGlobalAssign GVVisibilityStyle alias AliasLinkage AliaseeRef
280 | target TargetDefinition
281 | deplibs "=" LibrariesDefinition
284 AsmBlock ::= STRINGCONSTANT ;
286 TargetDefinition ::= triple "=" STRINGCONSTANT
287 | datalayout "=" STRINGCONSTANT ;
289 LibrariesDefinition ::= "[" ( LibList | _ ) "]";
291 LibList ::= LibList ^ "," STRINGCONSTANT | STRINGCONSTANT ;
293 ArgListH ::= ArgListH ^ "," Types OptParamAttrs OptLocalName
294 | Types OptParamAttrs OptLocalName ;
296 ArgList ::= ArgListH | ArgListH ^ "," "..." | "..." | _ ;
298 FunctionHeaderH ::= OptCallingConv OptRetAttrs ResultTypes
299 GlobalName ^ "(" ^ ArgList ^ ")"
300 OptFuncAttrs OptSection OptAlign OptGC ;
302 BEGIN ::= ( begin | "{" ) ^ "\n";
305 FunctionDefineLinkage GVVisibilityStyle FunctionHeaderH BEGIN ;
307 END ::= ^ ( end | "}" ) ^ "\n";
309 Function ::= BasicBlockList END ;
311 FunctionProto ::= FunctionDeclareLinkage GVVisibilityStyle FunctionHeaderH ;
313 OptSideEffect ::= _ | sideeffect ;
315 ConstValueRef ::= ESINT64VAL
323 | "<" ConstVector ">"
324 | "[" ConstVector "]"
326 | "c" ^ STRINGCONSTANT
327 | "{" ConstVector "}"
329 | "<" ^ "{" ConstVector "}" ^ ">"
330 | "<" ^ "{" ^ "}" ^ ">"
332 | asm OptSideEffect STRINGCONSTANT ^ "," STRINGCONSTANT ;
334 SymbolicValueRef ::= LOCALVALID
339 ValueRef ::= SymbolicValueRef | ConstValueRef;
341 ResolvedVal ::= Types ValueRef ;
343 ReturnedVal ::= ResolvedVal | ReturnedVal ^ "," ResolvedVal ;
345 BasicBlockList ::= BasicBlockList BasicBlock | FunctionHeader BasicBlock ;
347 BasicBlock ::= InstructionList OptLocalAssign BBTerminatorInst ;
349 InstructionList ::= +++ InstructionList Inst
351 | ^ LABELSTR ^ ":\n" ;
353 BBTerminatorInst ::= ^ " " ^
357 | br INTTYPE ValueRef ^ "," label ValueRef ^ "," label ValueRef
358 | switch IntType ValueRef ^ "," label ValueRef "[" JumpTable "]"
359 | switch IntType ValueRef ^ "," label ValueRef "[" ^ "]"
360 | invoke OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
362 to label ValueRef unwind label ValueRef
364 | unreachable ) ^ "\n";
366 JumpTable ::= JumpTable IntType ConstValueRef ^ "," label ValueRef
367 | IntType ConstValueRef ^ "," label ValueRef ;
369 Inst ::= ^ " " ^ OptLocalAssign InstVal ^ "\n";
371 PHIList ::= Types "[" ValueRef ^ "," ValueRef "]"
372 | PHIList ^ "," "[" ValueRef ^ "," ValueRef "]" ;
374 ParamList ::= Types OptParamAttrs ValueRef OptParamAttrs
375 | label OptParamAttrs ValueRef OptParamAttrs
376 | ParamList ^ "," Types OptParamAttrs ValueRef OptParamAttrs
377 | ParamList ^ "," label OptParamAttrs ValueRef OptParamAttrs
380 IndexList ::= _ | IndexList ^ "," ResolvedVal ;
382 ConstantIndexList ::= "," EUINT64VAL | ConstantIndexList ^ "," EUINT64VAL ;
384 OptTailCall ::= tail call | call ;
387 ArithmeticOps Types ValueRef ^ "," ValueRef
388 | LogicalOps Types ValueRef ^ "," ValueRef
389 | icmp IPredicates Types ValueRef ^ "," ValueRef
390 | fcmp FPredicates Types ValueRef ^ "," ValueRef
391 | CastOps ResolvedVal to Types
392 | select ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
393 | "va_arg" ResolvedVal ^ "," Types
394 | extractelement ResolvedVal ^ "," ResolvedVal
395 | insertelement ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
396 | shufflevector ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal
398 | OptTailCall OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")"
402 OptVolatile ::= - volatile | _ ;
403 OptExact ::= - exact | _ ;
404 OptNSW ::= - nsw | _ ;
405 OptNUW ::= - nuw | _ ;
406 OptNW ::= OptNUW OptNSW | OptNSW OptNUW ;
407 OptInBounds ::= - inbounds | _ ;
409 MemoryInst ::= malloc Types OptCAlign
410 | malloc Types ^ "," INTTYPE ValueRef OptCAlign
411 | alloca Types OptCAlign
412 | alloca Types ^ "," INTTYPE ValueRef OptCAlign
414 | OptVolatile load Types ValueRef OptCAlign
415 | OptVolatile store ResolvedVal ^ "," Types ValueRef OptCAlign
416 | getresult Types ValueRef ^ "," EUINT64VAL
417 | getelementptr OptInBounds Types ValueRef IndexList
418 | extractvalue Types ValueRef ^ ConstantIndexList
419 | insertvalue Types ValueRef ^ "," Types ValueRef ^ ConstantIndexList ;