DECAF1.8-XTaint: expand to all TCG IRs, except taint pointer of load; and IR with 2 appendix