Testing the IRE instructions