Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:n2w

97    UWord n2w = (UWord)n2;
98    tl_assert(n1w > 0 && n2w > 0);
100    if (a2w + n2w <= a1w) return 1L;