/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | parse_prepost.c | 19 int c, result; local 21 result = 1; 23 result = result * c; 26 return result;
|
H A D | parse_simple_struct.c | 19 struct s result; local 20 result.i = j; 21 result.c = 0; 22 result.ptr = 0; 23 return result;
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/ |
H A D | mult_by_add.c | 17 unsigned result = 0; local 19 result += b; 22 return result;
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | mult_by_add.c | 13 unsigned result = 0; local 15 result += b; 18 return result;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | libtool-ldflags | 33 result= 52 result="$result -Xcompiler" 74 # will result in the same number of arguments being passed to 102 result="$result $quoted_arg" 106 echo "$result"
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Exn.sig | 14 datatype 'a result = Res of 'a | Exn of exn 15 val get_res: 'a result -> 'a option 16 val get_exn: 'a result -> exn option 17 val capture: ('a -> 'b) -> 'a -> 'b result 18 val release: 'a result -> 'a 19 val map_res: ('a -> 'b) -> 'a result -> 'b result 20 val maps_res: ('a -> 'b result) -> 'a result -> 'b result [all...] |
/seL4-l4v-10.1.1/HOL4/src/Boolify/test/ |
H A D | Makefile | 9 all: result diff 12 rm -f result 15 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result.ok >$(TMPFILE1) 16 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result >$(TMPFILE2) 19 result: test.sml ../src/Encode.uo 20 rm -f result 21 $(HOL) <test.sml 2>&1 | tee result
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holdep_tokens.sig | 5 type result = (string,int) Binarymap.dict type 6 val file_deps : string -> result 7 val stream_deps : string * TextIO.instream -> result 8 val reader_deps : string * (unit -> char option) -> result
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/ |
H A D | wrapper.exp | 38 set result [build_wrapper $filename] 40 if { $result != "" } { 41 set gluefile [lindex $result 0] 42 set wrap_flags [lindex $result 1]
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 27 void *result; local 28 asm ("movl %[stack_address], %[result]" : [result] "=r"(result) : [stack_address] "r"(&stack)); 29 return result;
|
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/ |
H A D | selftest.sml | 5 val result = system "diff temp-output desired-output" value 7 val _ = if isSuccess result then exit success else exit failure
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | stret_large2.c | 39 struct_116byte result; local 41 result.a = b0.a + b1.a + b2.a + b3.a; 42 result.b = b0.b + b1.b + b2.b + b3.b; 43 result.c = b0.c + b1.c + b2.c + b3.c; 44 result.d = b0.d + b1.d + b2.d + b3.d; 45 result.e = b0.e + b1.e + b2.e + b3.e; 46 result.f = b0.f + b1.f + b2.f + b3.f; 47 result.g = b0.g + b1.g + b2.g + b3.g; 48 result.h = b0.h + b1.h + b2.h + b3.h; 49 result [all...] |
H A D | float1.c | 30 value_type result[2]; local 44 memset(result[1].c, CANARY, sizeof (double)); 46 ffi_call(&cif, FFI_FN(dblit), &result[0].d, values); 50 CHECK(result[0].d - dblit(f) < DBL_EPSILON); 54 CHECK(result[1].c[i] == CANARY);
|
H A D | float4.c | 32 value_type result[2]; local 46 memset(result[1].c, CANARY, sizeof (double)); 48 ffi_call(&cif, FFI_FN(dblit), &result[0].d, values); 51 any arithmetic, we should get the original result back, and hence an 54 CHECK(result[0].d == dblit(d)); 58 CHECK(result[1].c[i] == CANARY);
|
H A D | stret_medium.c | 30 struct_72byte result; local 32 result.a = b0.a + b1.a + b2.a + b3.a; 33 result.b = b0.b + b1.b + b2.b + b3.b; 34 result.c = b0.c + b1.c + b2.c + b3.c; 35 result.d = b0.d + b1.d + b2.d + b3.d; 36 result.e = b0.e + b1.e + b2.e + b3.e; 37 result.f = b0.f + b1.f + b2.f + b3.f; 38 result.g = b0.g + b1.g + b2.g + b3.g; 39 result.h = b0.h + b1.h + b2.h + b3.h; 40 result [all...] |
H A D | stret_medium2.c | 31 struct_72byte result; local 33 result.a = b0.a + b1.a + b2.a + b3.a; 34 result.b = b0.b + b1.b + b2.b + b3.b; 35 result.c = b0.c + b1.c + b2.c + b3.c; 36 result.d = b0.d + b1.d + b2.d + b3.d; 37 result.e = b0.e + b1.e + b2.e + b3.e; 38 result.f = b0.f + b1.f + b2.f + b3.f; 39 result.g = b0.g + b1.g + b2.g + b3.g; 40 result.h = b0.h + b1.h + b2.h + b3.h; 41 result [all...] |
H A D | stret_large.c | 38 struct_108byte result; local 40 result.a = b0.a + b1.a + b2.a + b3.a; 41 result.b = b0.b + b1.b + b2.b + b3.b; 42 result.c = b0.c + b1.c + b2.c + b3.c; 43 result.d = b0.d + b1.d + b2.d + b3.d; 44 result.e = b0.e + b1.e + b2.e + b3.e; 45 result.f = b0.f + b1.f + b2.f + b3.f; 46 result.g = b0.g + b1.g + b2.g + b3.g; 47 result.h = b0.h + b1.h + b2.h + b3.h; 48 result [all...] |
H A D | cls_64byte.c | 28 struct cls_struct_64byte result; local 30 result.a = b0.a + b1.a + b2.a + b3.a; 31 result.b = b0.b + b1.b + b2.b + b3.b; 32 result.c = b0.c + b1.c + b2.c + b3.c; 33 result.d = b0.d + b1.d + b2.d + b3.d; 34 result.e = b0.e + b1.e + b2.e + b3.e; 35 result.f = b0.f + b1.f + b2.f + b3.f; 36 result.g = b0.g + b1.g + b2.g + b3.g; 37 result.h = b0.h + b1.h + b2.h + b3.h; 39 printf("%g %g %g %g %g %g %g %g\n", result [all...] |
H A D | cls_19byte.c | 22 struct cls_struct_19byte result; local 24 result.a = a1.a + a2.a; 25 result.b = a1.b + a2.b; 26 result.c = a1.c + a2.c; 27 result.d = a1.d + a2.d; 28 result.e = a1.e + a2.e; 34 result.a, result.b, result.c, result [all...] |
H A D | cls_5_1_byte.c | 22 struct cls_struct_5byte result; local 24 result.a = a1.a + a2.a; 25 result.b = a1.b + a2.b; 26 result.c = a1.c + a2.c; 27 result.d = a1.d + a2.d; 28 result.e = a1.e + a2.e; 33 result.a, result.b, result.c, result [all...] |
H A D | cls_7_1_byte.c | 24 struct cls_struct_7byte result; local 26 result.a = a1.a + a2.a; 27 result.b = a1.b + a2.b; 28 result.c = a1.c + a2.c; 29 result.d = a1.d + a2.d; 30 result.e = a1.e + a2.e; 31 result.f = a1.f + a2.f; 32 result.g = a1.g + a2.g; 37 result.a, result [all...] |
H A D | nested_struct11.c | 30 C result; local 31 result.a.a_x = source.a.a_x; 32 result.a.a_y = source.a.a_y; 33 result.b.b_x = source.b.b_x; 34 result.b.b_y = source.b.b_y; 42 result.a.a_x, result.a.a_y, 43 result.b.b_x, result.b.b_y); 45 return result; 63 struct C result; local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 28 static int getDecodedChar(unsigned char *result) argument 42 *result = ESCAPE; 45 *result = START; 48 *result = END; 52 *result = c - 20; 59 *result = c; 274 int result; local 282 result = getDecodedChar(&c); 283 if (result) { 290 result [all...] |
/seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
H A D | test_coopers.sml | 5 val result = value 13 val _ = Process.exit (if result then Process.success else Process.failure)
|
H A D | test_omega.sml | 5 val result = test_cases.perform_tests Omega.OMEGA_CONV Omega.OMEGA_TAC andalso value 10 val _ = Process.exit (if result then Process.success else Process.failure)
|