Fixes a signed shift issue in instr_set_predicate(). Fixes a typo in dr_inject.h. Fixes singleton-tuple warnings in codec.py.
Fixes a signed shift issue in instr_set_predicate(). Fixes a typo in dr_inject.h. Fixes singleton-tuple warnings in codec.py.