Should codegen to the following LLVM IR (before being inlined): define internal void @"*Intrinsics::unreachable:NoReturn"() #12 { entry: unreachable }
Should codegen to the following LLVM IR (before being inlined):
define internal void @"*Intrinsics::unreachable:NoReturn"() #12 {
entry:
unreachable
} Can be used like @llvm.assume(i1 cond) as unreachable unless (assumption).
WARNING the behaviour of the program is undefined if the assumption is broken!
© 2012–2026 Manas Technology Solutions.
Licensed under the Apache License, Version 2.0.
https://crystal-lang.org/api/1.19.0/Intrinsics.html