| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | bugzilla181.c | 12 long long fld; member in struct:foo
17 return s.fld;
|
| H A D | bugzilla182.c | 12 int fld; member in struct:small
23 return mptr->many[i][j].fld;
33 g(&array[i][j].fld, 3);
|
| H A D | jiraver432.c | 18 int fld; member in struct:__anon80
|
| H A D | hard_struct.c | 12 int fld; member in struct:s
29 return (foo){.fld = i, .ptr = 0};
|
| H A D | jiraver344.c | 12 int fld; member in struct:__s
|
| H A D | parse_struct.c | 72 int fld; member in struct:recursive2
|
| /seL4-l4v-10.1.1/seL4/tools/ |
| H A D | umm.py | 81 def handle_one(fld):
82 name, tp = fld
121 for fld, tp in flds:
123 print('\t "%s" -> "%s" [label="%s"]' % (k, base_name(tp), fld),
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | sysv.S | 135 fld.d r15, 0, dr0
137 fld.d r15, 0, dr2
139 fld.d r15, 0, dr4
141 fld.d r15, 0, dr6
143 fld.d r15, 0, dr8
145 fld.d r15, 0, dr10
183 fld.s r15, OFS_FLT, fr0
185 fld.s r15, OFS_FLT, fr1
187 fld.s r15, OFS_FLT, fr2
189 fld
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | 131 fun update_switch fld (ENV e) =
135 {N = if fld = "N" then true else N,
136 Z = if fld = "Z" then true else Z,
137 C = if fld = "Z" then true else C,
138 V = if fld = "V" then true else V,
139 E = if fld = "E" then true else E,
140 Wreg = if fld = "Wreg" orelse fld = "Wall" then true else Wreg,
141 Wmem = if fld = "Wmem" orelse fld
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | Datatype.sml | 475 fun leaf_fldname tyn fld = fld
587 fun define_functions n (fld, _) acc = let
596 val leaf_accname = subrecord_tyname tyname subn ^ "_" ^ fld
600 val acc_const_name = tyname ^ "_" ^ fld
608 val _ = add_record_field (fld, acc_defn_const)
628 val _ = add_record_fupdate(fld, fupd_defn_const)
632 fun foldthis (fld, (n, sthlist)) =
633 (n + 1, define_functions n fld sthlist)
|
| H A D | selftest.sml | 294 ("overloaded bare var.fld", ``ID``, "ID"),
295 ("overloaded var.fld with args", ``inv x``, "inv x"),
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | win32.S | 302 fld DWORD PTR [ecx]
306 fld QWORD PTR [ecx]
310 fld TBYTE PTR [ecx]
411 fld DWORD PTR [ecx]
415 fld QWORD PTR [ecx]
419 fld TBYTE PTR [ecx]
496 fld DWORD PTR [ecx]
500 fld QWORD PTR [ecx]
504 fld TBYTE PTR [ecx]
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | parse_term.sml | 1557 "Record list must have (fld := value) or (fld updated_by f) elements only"
1610 COMB((COMB((VAR s,slocn), (VAR fld,_)),sflocn), newvalue) => let
1613 APP(locn, APP(#2 upd1, IDENT (sflocn,s^fld), remove_specials newvalue),
1616 APP(locn, APP(#2 upd1, IDENT (sflocn, recfupd_special^fld),
|
| H A D | term_pp.sml | 1111 val (fld, value) = dest_comb t value
1112 val rname = valOf (fupdstr NONE fld)
1134 fun print_update depth (fld, value, normal_upd) = let
1141 (fld, PPBackEnd.Literal PPBackEnd.FldName) >>
|
| /seL4-l4v-10.1.1/HOL4/src/num/termination/ |
| H A D | TotalDefn.sml | 113 (* x.fld is a proper subterm of x. *)
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | encoding.h | 1157 DECLARE_INSN(fld, MATCH_FLD, MASK_FLD)
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | libraries.tex | 755 Questo operatore infisso lega pi� strettamente, cos� che quando si scrive $f\,x + y$, il risultato del parser � $(f\cdot{}x) + y$\footnote{Ci sono operatori infissi che legano pi� strettamente, il punto nella selezione di campo fa s� che $f\,x.fld$ sia elaborato dal parser come $f\cdot(x.fld)$.\index{tipi record!notazione di selezione del campo}}.
|