This commit has passed more than 30 random test cases at 10K lines of LLVM IR.