// 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)