add more ARM spec tests