2 ms·
It can also improve codegen and is a building block of building an assume like macro to convey preconditions to the compiler and optimize potentially on that. T
by beached_whale 4y ago
It can also improve codegen and is a building block of building an assume like macro to convey preconditions to the compiler and optimize potentially on that. The other is at the end of a function that can be guaranteed to never reach that point so that the compiler can know. Its a low level tool and shouldn’t be used without caution