I'm not sure if this answers your question, but for the case where you compare b1 to b2, and similar cases, the documentation states
Assuming the LS-mean is estimable, PROC MIXED constructs an approximate t test to test the null hypothesis that the associated population quantity equals zero.
... View more