Searched refs:in3 (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | return_dbl1.c | 10 static double return_dbl(double dbl1, float fl2, unsigned int in3, double dbl4) argument
12 return dbl1 + fl2 + in3 + dbl4;
21 unsigned int in3; local
28 values[2] = &in3;
36 in3 = 255;
40 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, fl2, in3, dbl4));
41 CHECK(rdbl == dbl1 + fl2 + in3 + dbl4);
|
| H A D | return_dbl2.c | 10 static double return_dbl(double dbl1, double dbl2, unsigned int in3, double dbl4) argument
12 return dbl1 + dbl2 + in3 + dbl4;
20 unsigned int in3; local
27 values[2] = &in3;
35 in3 = 255;
39 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, dbl2, in3, dbl4));
40 CHECK(rdbl == dbl1 + dbl2 + in3 + dbl4);
|
| H A D | return_fl3.c | 10 static float return_fl(float fl1, float fl2, unsigned int in3, float fl4) argument
12 return fl1 + fl2 + in3 + fl4;
20 unsigned int in3; local
27 values[2] = &in3;
35 in3 = 255;
39 printf ("%f vs %f\n", rfl, return_fl(fl1, fl2, in3, fl4));
40 CHECK(rfl == fl1 + fl2 + in3 + fl4);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | unix.S | 102 zxt1 r16 = in3
113 shr in3 = in3, 8
179 cmp.lt p6, p0 = 8, in3
180 cmp.lt p7, p0 = 16, in3
181 cmp.lt p8, p0 = 24, in3
193 mov out2 = in3
203 cmp.lt p6, p0 = 4, in3
207 cmp.lt p7, p0 = 8, in3
208 cmp.lt p8, p0 = 12, in3
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ |
| H A D | taut.sml | 437 `(ge2 = ~in4 /\ ~in3 /\ ~in2 /\ ~in0) /\
442 (ge20 = ~in3 /\ ~in2 /\ ~in1 /\ in0) /\
445 (ge8 = ge0 /\ ~in3) /\
446 (ge9 = ge0 /\ ~in4 /\ in3 /\ ~in2) /\
467 (wres2 = ~in4 /\ ~in3 /\ ~in2 /\ ~in0) /\
471 (wres8 = wres0 /\ ~in3) /\
475 (wres9 = wres0 /\ ~in4 /\ in3 /\ ~in2) /\
482 (wres5 = ~in6 /\ ~in4 /\ ~in3 /\ ~in2 /\ ~in1 /\ in0) /\
1315 `(ge17 = ~in4 /\ ~in3 /\ ~in2 /\ ~in1) /\
1318 (ge19 = ~in5 /\ ~in4 /\ ~in3 /\ ~in
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | compileScript.sml | 552 (in1<>in2<>in3,out) =
553 MUX(in1,in2,in3,out)``,
|
Completed in 208 milliseconds