def make_sail_encdec_pattern(i):
    """
    Returns a list of strings, represnting the SAIL encdec clause
    pattern which will decode to the supplied instruciton.
    """
    tp = []
    for f in i.fields:
        tp.append((f.hi, f.lo, "0b"+format(f.val,"0%db"%len(f))))
    for o in i.operands:
        txt = o.name
        constraints = i.getConstraintsForField(o.name)
        tp.append((o.hi,o.lo,txt))
    tp.sort(key=lambda tp:tp[0],reverse=True)

    return [t[2] for t in tp]