add a testcase for x86