Lines Matching full:scalar
7 /* Check that precision marks propagate through scalar IDs.
8 * Registers r{0,1,2} have the same scalar ID.
153 /* Check that precision marks propagate through scalar IDs.
154 * Use the same scalar ID in multiple stack frames, check that
298 /* Use two separate scalar IDs to check that these are propagated
355 __msg("8: (25) if r0 > 0x7 goto pc+0 ; R0=scalar(id=1") in __flag()
356 __msg("9: (bf) r6 = r6 ; R6_w=scalar(id=2") in __flag()
451 * r6 = ... unbound scalar ID=a ...
452 * r7 = ... unbound scalar ID=b ...
507 * mark_chain_precision() to track scalar values with equal IDs.
554 /* Check that scalar IDs *are not* generated on register to register
578 /* possibly generate same scalar ids for r3 and r4 */ in __flag()
585 /* possibly generate different scalar ids for r3 and r4 */ in __flag()
614 /* possibly generate same scalar ids for r3 and r4 */ in __flag()
621 /* possibly generate different scalar ids for r3 and r4 */ in __flag()
636 /* Check that unique scalar IDs are ignored when new verifier state is
676 /* Check that unique scalar IDs are ignored when new verifier state is
718 /* Check that two different scalar IDs in a verified state can't be
719 * mapped to the same scalar ID in current state.
733 /* Give unique scalar IDs to r{6,7} */ in __flag()