Lines Matching refs:p51
526 (p48) cmp.ltu p51,p49=t[6],a3
527 (p50) cmp.leu p51,p49=t[6],a3 };;
529 .pred.rel "mutex",p49,p51
538 (p51) add t[5]=t[5],a4,1 };;
547 (p51) cmp.leu p50,p48=t[5],a4 };;
566 (p48) cmp.ltu p51,p49=t[4],a5
567 (p50) cmp.leu p51,p49=t[4],a5 };;
569 .pred.rel "mutex",p49,p51
578 (p51) add t[3]=t[3],a6,1 };;
587 (p51) cmp.leu p50,p48=t[3],a6 };;
606 (p48) cmp.ltu p51,p49=t[2],a7
607 (p50) cmp.leu p51,p49=t[2],a7 };;
609 .pred.rel "mutex",p49,p51
618 (p51) add t[1]=t[1],a8,1 };;
627 (p51) cmp.leu p50,p48=t[1],a8 };;
689 (p48) cmp.ltu p51,p49=t[6],a3
690 (p50) cmp.leu p51,p49=t[6],a3 };;
692 .pred.rel "mutex",p49,p51
698 (p51) add t[5]=t[5],a4,1 };;
707 (p51) cmp.leu p50,p48=t[5],a4 };;
720 (p48) cmp.ltu p51,p49=t[4],a5
721 (p50) cmp.leu p51,p49=t[4],a5 };;
723 .pred.rel "mutex",p49,p51
729 (p51) add t[3]=t[3],a6,1 };;
735 (p51) cmp.leu p50,p48=t[3],a6 };;
748 (p48) cmp.ltu p51,p49=t[2],a7
749 (p50) cmp.leu p51,p49=t[2],a7 };;
751 .pred.rel "mutex",p49,p51
757 (p51) add t[1]=t[1],a8,1 }
763 (p51) cmp.leu p50,p48=t[1],a8 }