pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Setting up metadata variable mappings.

Browse Source
master
Rohan Jacob-Rao 9 years ago
parent b3b67cdf69
commit c264f95ab3
2 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File

8
infer/src/llvm/lAst.ml
Unescape View File

@ -35,14 +35,18 @@ type typ =
| Tlabel | Tlabel
| Tmetadata | Tmetadata
type metadata = type metadata_value =
| MetadataVar of int | MetadataVar of int
| MetadataString of string | MetadataString of string
| MetadataNode of metadata_component list | MetadataNode of metadata_component list
and metadata_component = and metadata_component =
| TypOperand of typ option * operand | TypOperand of typ option * operand
| Metadata of metadata | MetadataVal of metadata_value
type metadata_mapping =
| NameMapping of string * int list
| NumberMapping of int * metadata_component list
type instr = type instr =
| Ret of (typ * operand) option | Ret of (typ * operand) option

12
infer/src/llvm/lParser.mly
Unescape View File

@ -153,7 +153,7 @@
%% %%
prog: prog:
| targets defs = func_def* metadata_def* EOF { Prog defs } | targets defs = func_def* mappings = metadata_def* EOF { Prog defs }
targets: targets:
| { (None, None) } | { (None, None) }
@ -169,23 +169,23 @@ target_triple:
| TARGET TRIPLE EQUALS str = CONSTANT_STRING { str } | TARGET TRIPLE EQUALS str = CONSTANT_STRING { str }
metadata_def: metadata_def:
| name = NAMED_METADATA EQUALS numbered_metadata_node { () } | name = NAMED_METADATA EQUALS metadata_ids = numbered_metadata_node { NameMapping (name, metadata_ids) }
| metadata_id = NUMBERED_METADATA EQUALS metadata_node { () } | metadata_id = NUMBERED_METADATA EQUALS components = metadata_node { NumberMapping (metadata_id, components) }
numbered_metadata_node: numbered_metadata_node:
| METADATA_NODE_BEGIN metadata_ids = separated_list(COMMA, NUMBERED_METADATA) RBRACE { metadata_ids } | METADATA_NODE_BEGIN metadata_ids = separated_list(COMMA, NUMBERED_METADATA) RBRACE { metadata_ids }
metadata_node: metadata_node:
| METADATA? METADATA_NODE_BEGIN components = separated_list(COMMA, metadata_component) RBRACE { MetadataNode components } | METADATA? METADATA_NODE_BEGIN components = separated_list(COMMA, metadata_component) RBRACE { components }
metadata_component: metadata_component:
| tp = typ? op = operand { TypOperand (tp, op) } | tp = typ? op = operand { TypOperand (tp, op) }
| METADATA? value = metadata_value { Metadata value } | METADATA? value = metadata_value { MetadataVal value }
metadata_value: metadata_value:
| i = NUMBERED_METADATA { MetadataVar i } | i = NUMBERED_METADATA { MetadataVar i }
| str = METADATA_STRING { MetadataString str } | str = METADATA_STRING { MetadataString str }
| node = metadata_node { node } | components = metadata_node { MetadataNode components }
func_def: func_def:
| DEFINE ret_tp = ret_typ name = variable LPAREN | DEFINE ret_tp = ret_typ name = variable LPAREN

Write Preview
Loading…
Cancel
Save