finish call cases of compile_val