Lines Matching defs:U1
22 typedef unsigned char U1;
37 volatile U1* p = (U1*)&w32;
57 static inline U1 randomU1 ( void )
66 static inline U1 self_shadow ( U1 x )
68 U1 res = 0xFF;
74 static inline U1 get_shadow ( U1 x )
76 U1 res = 0;
82 static inline U1 make_def ( U1 x )
84 U1 y = x;
89 static inline U1 make_undef ( U1 x )
91 U1 y = x;
96 static void make_noaccess ( U1* dst )
165 U1* block = temp;
186 U1 dst[VECTOR_BYTES];
189 U1 dst_vbits[VECTOR_BYTES];
202 U1 sum = 0;
227 U1* buf = temp;
271 U1 v_actual = make_def(buf[i]);
272 U1 v_shadow = get_shadow(buf[i]);