Lines Matching full:marks
7 /* Check that precision marks propagate through scalar IDs.
10 * Check that precision mark for r0 causes precision marks for r{1,2}
38 /* force r0 to be precise, this eventually marks r1 and r2 as in __flag()
51 * check that verifier marks r{1,2} as precise while backtracking
71 /* force r0 to be precise, this eventually marks r1 and r2 as in __flag()
84 * check that verifier marks r{0,1,2} as precise while backtracking
104 /* force r0 to be precise, this eventually marks r1 and r2 as in __flag()
142 * this eventually marks r2 as precise because of shared IDs in __flag()
153 /* Check that precision marks propagate through scalar IDs.
232 /* force r1 to be precise, this eventually marks: in precision_many_frames__bar()
288 /* force r1 to be precise, this eventually marks: in precision_stack__foo()
339 /* force r7 to be precise, this also marks r6 */ in __flag()
341 /* force r9 to be precise, this also marks r8 */ in __flag()
591 /* predictable jump, marks r3 and r4 precise */ in __flag()
627 /* predictable jump, marks r1 and r2 precise */ in __flag()
768 * upon range propagation it destroyed subreg_def marks for registers. in __flag()