| // RUN: %clang_cc1 -triple x86_64-apple-driverkit19.0 -emit-llvm -o - %s | FileCheck %s | |
| void use_at_available() { | |
| // CHECK: call i32 @__isPlatformVersionAtLeast(i32 10, i32 19, i32 1, i32 0) | |
| // CHECK-NEXT: icmp ne | |
| if (__builtin_available(driverkit 19.1, *)) | |
| ; | |
| } | |
| // CHECK: declare i32 @__isPlatformVersionAtLeast(i32, i32, i32, i32) |