fix build & add test for ir::isValid