/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}}.
|