通过基本block测试