请问__builtin_disi(0x3FFF)这个函数有什么作用？

情况如下：
我在开发过程中，参考了别人的源程序， 发现了__builtin_disi(0x3FFF)这个函数，但我没有见过这个函数，在此想问下大家这个函数的具体作用。