1 (* 2 3 polygen grammar for LLVM assembly language. 4 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 9 pass the Verifier. 10 11 TODO: Metadata, in all its forms 12 13 *) 14 15 I ::= "title: LLVM assembly language\n" 16 ^ "status: experimental\n" 17 ^ "audience: LLVM developers\n" 18 ; 19 20 S ::= Module ; 21 22 (* 23 Define rules for non-keyword tokens. This is currently just a bunch 24 of hacks. They don't cover many valid forms of tokens, and they also 25 generate some invalid forms of tokens. The LLVM parser has custom 26 C++ code to lex these; custom C++ code for emitting them would be 27 convenient, but polygen doesn't support that. 28 *) 29 NonZeroDecimalDigit ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ; 30 DecimalDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ; 31 DecimalDigitSeq ::= DecimalDigit [^ DecimalDigitSeq ]; 32 HexDigit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 33 | a | b | c | d | e | f ; 34 HexDigitSeq ::= HexDigit [^ HexDigitSeq ]; 35 StringChar ::= a | b | c | d | e | f | g | h | i | j | k | l | m 36 | n | o | p | q | r | s | t | u | v | w | x | y | z ; 37 StringConstantSeq ::= StringChar [^ StringConstantSeq ]; 38 StringConstant ::= StringChar [^ StringConstantSeq ]; 39 EUINT64VAL ::= NonZeroDecimalDigit [^ DecimalDigitSeq ]; 40 ESINT64VAL ::= [ "-" ] ^ EUINT64VAL ; 41 EUAPINTVAL ::= EUINT64VAL ; 42 ESAPINTVAL ::= ESINT64VAL ; 43 LOCALVALID ::= "%" ^ DecimalDigitSeq ; 44 GLOBALVALID ::= "@" ^ DecimalDigitSeq ; 45 INTTYPE ::= "i" ^ EUINT64VAL ; 46 GLOBALVAR ::= "@" ^ StringConstant ; 47 LOCALVAR ::= "%" ^ StringConstant ; 48 STRINGCONSTANT ::= "\"" ^ StringConstant ^ "\"" ; 49 ATSTRINGCONSTANT ::= "@" ^ STRINGCONSTANT ; 50 PCTSTRINGCONSTANT ::= "%" ^ STRINGCONSTANT ; 51 LABELSTR ::= StringConstant ; 52 FPVAL ::= ESAPINTVAL ^ "." ^ EUAPINTVAL | "0x" ^ HexDigitSeq ; 53 54 (* 55 The rest of this file is derived directly from llvmAsmParser.y. 56 *) 57 58 ArithmeticOps ::= + OptNW add | fadd | OptNW sub | fsub | OptNW mul | fmul | 59 udiv | OptExact sdiv | fdiv | urem | srem | frem ; 60 LogicalOps ::= shl | lshr | ashr | and | or | xor; 61 CastOps ::= trunc | zext | sext | fptrunc | fpext | bitcast | 62 uitofp | sitofp | fptoui | fptosi | inttoptr | ptrtoint ; 63 64 IPredicates ::= eq | ne | slt | sgt | sle | sge | ult | ugt | ule | uge ; 65 66 FPredicates ::= oeq | one | olt | ogt | ole | oge | ord | uno | ueq | une 67 | ult | ugt | ule | uge | true | false ; 68 69 IntType ::= INTTYPE; 70 FPType ::= float | double | "ppc_fp128" | fp128 | "x86_fp80"; 71 72 LocalName ::= LOCALVAR | STRINGCONSTANT | PCTSTRINGCONSTANT ; 73 OptLocalName ::= LocalName | _ ; 74 75 OptAddrSpace ::= - addrspace ^ "(" ^ EUINT64VAL ^ ")" | _ ; 76 77 OptLocalAssign ::= LocalName "=" | _ ; 78 79 GlobalName ::= GLOBALVAR | ATSTRINGCONSTANT ; 80 81 OptGlobalAssign ::= GlobalAssign | _ ; 82 83 GlobalAssign ::= GlobalName "=" ; 84 85 GVInternalLinkage 86 ::= + internal 87 | weak 88 | "weak_odr" 89 | linkonce 90 | "linkonce_odr" 91 | appending 92 | dllexport 93 | common 94 | private 95 | "linker_private" 96 | "linker_private_weak" 97 ; 98 99 GVExternalLinkage 100 ::= dllimport 101 | "extern_weak" 102 | + external 103 ; 104 105 GVVisibilityStyle 106 ::= + _ 107 | default 108 | hidden 109 | protected 110 ; 111 112 FunctionDeclareLinkage 113 ::= + _ 114 | dllimport 115 | "extern_weak" 116 ; 117 118 FunctionDefineLinkage 119 ::= + _ 120 | internal 121 | linkonce 122 | "linkonce_odr" 123 | weak 124 | "weak_odr" 125 | dllexport 126 ; 127 128 AliasLinkage ::= + _ | weak | "weak_odr" | internal ; 129 130 OptCallingConv ::= + _ | 131 ccc | 132 fastcc | 133 coldcc | 134 "x86_stdcallcc" | 135 "x86_fastcallcc" | 136 cc EUINT64VAL ; 137 138 ParamAttr ::= zeroext 139 | signext 140 | inreg 141 | sret 142 | noalias 143 | nocapture 144 | byval 145 | nest 146 | align EUINT64VAL 147 ; 148 149 OptParamAttrs ::= + _ | OptParamAttrs ParamAttr ; 150 151 RetAttr ::= inreg 152 | zeroext 153 | signext 154 | noalias 155 ; 156 157 OptRetAttrs ::= _ 158 | OptRetAttrs RetAttr 159 ; 160 161 FuncAttr ::= noreturn 162 | nounwind 163 | inreg 164 | zeroext 165 | signext 166 | readnone 167 | readonly 168 | inlinehint 169 | alignstack 170 | noinline 171 | alwaysinline 172 | optsize 173 | ssp 174 | sspreq 175 | returns_twice 176 | nonlazybind 177 ; 178 179 OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ; 180 181 OptGC ::= + _ | gc STRINGCONSTANT ; 182 183 OptAlign ::= + _ | align EUINT64VAL ; 184 OptCAlign ::= + _ | ^ "," align EUINT64VAL ; 185 186 SectionString ::= section STRINGCONSTANT ; 187 188 OptSection ::= + _ | SectionString ; 189 190 GlobalVarAttributes ::= + _ | ^ "," GlobalVarAttribute GlobalVarAttributes ; 191 GlobalVarAttribute ::= SectionString | align EUINT64VAL ; 192 193 PrimType ::= INTTYPE | float | double | "ppc_fp128" | fp128 | "x86_fp80" 194 | - label ; 195 196 Types 197 ::= opaque 198 | PrimType 199 | Types OptAddrSpace ^ "*" 200 | SymbolicValueRef 201 | "\\" ^ EUINT64VAL 202 | Types "(" ^ ArgTypeListI ^ ")" OptFuncAttrs 203 | void "(" ^ ArgTypeListI ^ ")" OptFuncAttrs 204 | "[" ^ EUINT64VAL "x" Types ^ "]" 205 | "<" ^ EUINT64VAL "x" Types ^ ">" 206 | "{" TypeListI "}" 207 | "{" ^ "}" 208 | "<" ^ "{" TypeListI "}" ^ ">" 209 | "<" ^ "{" ^ "}" ^ ">" 210 ; 211 212 ArgType ::= Types OptParamAttrs ; 213 214 ResultTypes ::= Types | void ; 215 216 ArgTypeList ::= ArgType | ArgTypeList ^ "," ArgType ; 217 218 ArgTypeListI ::= ArgTypeList | ArgTypeList ^ "," "..." | "..." | _ ; 219 220 TypeListI ::= Types | TypeListI ^ "," Types ; 221 222 ConstVal::= Types "[" ^ ConstVector ^ "]" 223 | Types "[" ^ "]" 224 | Types "c" ^ STRINGCONSTANT 225 | Types "<" ^ ConstVector ^ ">" 226 | Types "{" ConstVector "}" 227 | Types "{" ^ "}" 228 | Types "<" ^ "{" ConstVector "}" ^ ">" 229 | Types "<" ^ "{" ^ "}" ^ ">" 230 | Types null 231 | Types undef 232 | Types SymbolicValueRef 233 | Types ConstExpr 234 | Types zeroinitializer 235 | Types ESINT64VAL 236 | Types ESAPINTVAL 237 | Types EUINT64VAL 238 | Types EUAPINTVAL 239 | Types true 240 | Types false 241 | Types FPVAL ; 242 243 ConstExpr::= CastOps "(" ^ ConstVal to Types ^ ")" 244 | getelementptr OptInBounds "(" ^ ConstVal IndexList ^ ")" 245 | select "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")" 246 | ArithmeticOps "(" ^ ConstVal ^ "," ConstVal ^ ")" 247 | LogicalOps "(" ^ ConstVal ^ "," ConstVal ^ ")" 248 | icmp IPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")" 249 | fcmp FPredicates "(" ^ ConstVal ^ "," ConstVal ^ ")" 250 | extractelement "(" ^ ConstVal ^ "," ConstVal ^ ")" 251 | insertelement "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")" 252 | shufflevector "(" ^ ConstVal ^ "," ConstVal ^ "," ConstVal ^ ")" 253 | extractvalue "(" ^ ConstVal ^ ConstantIndexList ^ ")" 254 | insertvalue "(" ^ ConstVal ^ "," ConstVal ^ ConstantIndexList ^ ")" ; 255 256 ConstVector ::= ConstVector ^ "," ConstVal | ConstVal ; 257 258 GlobalType ::= global | constant ; 259 260 ThreadLocal ::= - "thread_local" | _ ; 261 262 AliaseeRef ::= ResultTypes SymbolicValueRef 263 | bitcast "(" ^ AliaseeRef to Types ^ ")" ; 264 265 Module ::= +++ DefinitionList | --- _ ; 266 267 DefinitionList ::= - Definition | + DefinitionList Definition ; 268 269 Definition 270 ::= ^ ( +++++ define Function 271 | declare FunctionProto 272 | - module asm AsmBlock 273 | OptLocalAssign type Types 274 | OptGlobalAssign GVVisibilityStyle ThreadLocal OptAddrSpace GlobalType 275 ConstVal GlobalVarAttributes 276 | OptGlobalAssign GVInternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace 277 GlobalType ConstVal GlobalVarAttributes 278 | OptGlobalAssign GVExternalLinkage GVVisibilityStyle ThreadLocal OptAddrSpace 279 GlobalType Types GlobalVarAttributes 280 | OptGlobalAssign GVVisibilityStyle alias AliasLinkage AliaseeRef 281 | target TargetDefinition 282 | deplibs "=" LibrariesDefinition 283 ) ^ "\n"; 284 285 AsmBlock ::= STRINGCONSTANT ; 286 287 TargetDefinition ::= triple "=" STRINGCONSTANT 288 | datalayout "=" STRINGCONSTANT ; 289 290 LibrariesDefinition ::= "[" ( LibList | _ ) "]"; 291 292 LibList ::= LibList ^ "," STRINGCONSTANT | STRINGCONSTANT ; 293 294 ArgListH ::= ArgListH ^ "," Types OptParamAttrs OptLocalName 295 | Types OptParamAttrs OptLocalName ; 296 297 ArgList ::= ArgListH | ArgListH ^ "," "..." | "..." | _ ; 298 299 FunctionHeaderH ::= OptCallingConv OptRetAttrs ResultTypes 300 GlobalName ^ "(" ^ ArgList ^ ")" 301 OptFuncAttrs OptSection OptAlign OptGC ; 302 303 BEGIN ::= ( begin | "{" ) ^ "\n"; 304 305 FunctionHeader ::= 306 FunctionDefineLinkage GVVisibilityStyle FunctionHeaderH BEGIN ; 307 308 END ::= ^ ( end | "}" ) ^ "\n"; 309 310 Function ::= BasicBlockList END ; 311 312 FunctionProto ::= FunctionDeclareLinkage GVVisibilityStyle FunctionHeaderH ; 313 314 OptSideEffect ::= _ | sideeffect ; 315 316 ConstValueRef ::= ESINT64VAL 317 | EUINT64VAL 318 | FPVAL 319 | true 320 | false 321 | null 322 | undef 323 | zeroinitializer 324 | "<" ConstVector ">" 325 | "[" ConstVector "]" 326 | "[" ^ "]" 327 | "c" ^ STRINGCONSTANT 328 | "{" ConstVector "}" 329 | "{" ^ "}" 330 | "<" ^ "{" ConstVector "}" ^ ">" 331 | "<" ^ "{" ^ "}" ^ ">" 332 | ConstExpr 333 | asm OptSideEffect STRINGCONSTANT ^ "," STRINGCONSTANT ; 334 335 SymbolicValueRef ::= LOCALVALID 336 | GLOBALVALID 337 | LocalName 338 | GlobalName ; 339 340 ValueRef ::= SymbolicValueRef | ConstValueRef; 341 342 ResolvedVal ::= Types ValueRef ; 343 344 ReturnedVal ::= ResolvedVal | ReturnedVal ^ "," ResolvedVal ; 345 346 BasicBlockList ::= BasicBlockList BasicBlock | FunctionHeader BasicBlock ; 347 348 BasicBlock ::= InstructionList OptLocalAssign BBTerminatorInst ; 349 350 InstructionList ::= +++ InstructionList Inst 351 | - _ 352 | ^ LABELSTR ^ ":\n" ; 353 354 BBTerminatorInst ::= ^ " " ^ 355 ( ret ReturnedVal 356 | ret void 357 | br label ValueRef 358 | br INTTYPE ValueRef ^ "," label ValueRef ^ "," label ValueRef 359 | switch IntType ValueRef ^ "," label ValueRef "[" JumpTable "]" 360 | switch IntType ValueRef ^ "," label ValueRef "[" ^ "]" 361 | invoke OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")" 362 OptFuncAttrs 363 to label ValueRef unwind label ValueRef 364 | unwind 365 | unreachable ) ^ "\n"; 366 367 JumpTable ::= JumpTable IntType ConstValueRef ^ "," label ValueRef 368 | IntType ConstValueRef ^ "," label ValueRef ; 369 370 Inst ::= ^ " " ^ OptLocalAssign InstVal ^ "\n"; 371 372 PHIList ::= Types "[" ValueRef ^ "," ValueRef "]" 373 | PHIList ^ "," "[" ValueRef ^ "," ValueRef "]" ; 374 375 ParamList ::= Types OptParamAttrs ValueRef OptParamAttrs 376 | label OptParamAttrs ValueRef OptParamAttrs 377 | ParamList ^ "," Types OptParamAttrs ValueRef OptParamAttrs 378 | ParamList ^ "," label OptParamAttrs ValueRef OptParamAttrs 379 | - _ ; 380 381 IndexList ::= _ | IndexList ^ "," ResolvedVal ; 382 383 ConstantIndexList ::= "," EUINT64VAL | ConstantIndexList ^ "," EUINT64VAL ; 384 385 OptTailCall ::= tail call | call ; 386 387 InstVal ::= 388 ArithmeticOps Types ValueRef ^ "," ValueRef 389 | LogicalOps Types ValueRef ^ "," ValueRef 390 | icmp IPredicates Types ValueRef ^ "," ValueRef 391 | fcmp FPredicates Types ValueRef ^ "," ValueRef 392 | CastOps ResolvedVal to Types 393 | select ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal 394 | "va_arg" ResolvedVal ^ "," Types 395 | extractelement ResolvedVal ^ "," ResolvedVal 396 | insertelement ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal 397 | shufflevector ResolvedVal ^ "," ResolvedVal ^ "," ResolvedVal 398 | phi PHIList 399 | OptTailCall OptCallingConv ResultTypes ValueRef ^ "(" ^ ParamList ^ ")" 400 OptFuncAttrs 401 | MemoryInst ; 402 403 OptVolatile ::= - volatile | _ ; 404 OptExact ::= - exact | _ ; 405 OptNSW ::= - nsw | _ ; 406 OptNUW ::= - nuw | _ ; 407 OptNW ::= OptNUW OptNSW | OptNSW OptNUW ; 408 OptInBounds ::= - inbounds | _ ; 409 410 MemoryInst ::= malloc Types OptCAlign 411 | malloc Types ^ "," INTTYPE ValueRef OptCAlign 412 | alloca Types OptCAlign 413 | alloca Types ^ "," INTTYPE ValueRef OptCAlign 414 | free ResolvedVal 415 | OptVolatile load Types ValueRef OptCAlign 416 | OptVolatile store ResolvedVal ^ "," Types ValueRef OptCAlign 417 | getresult Types ValueRef ^ "," EUINT64VAL 418 | getelementptr OptInBounds Types ValueRef IndexList 419 | extractvalue Types ValueRef ^ ConstantIndexList 420 | insertvalue Types ValueRef ^ "," Types ValueRef ^ ConstantIndexList ; 421
