TSTLEFormat: TSTLE dest, destPredWrite, sourceLHS, sourceRHS.Phase0: -Phase1: -Phase2: TSTLE{.type} FTT, (P0|_), IS1{.F16}{.E0|.E1|.E2|.E3}, IS2{.F16}{.E0|.E1|.E2|.E3}Description: Test less than or equal.LHS <= RHS