cycle LLVM 18 checker: PASS
cycle LLVM 17 checker: PASS
conditional LLVM 18 boundary checker: PASS