// RUN: %clang_cc1 -triple x86_64-apple-ios13.1-macabi -emit-llvm -o - %s | FileCheck %s

void use_at_available(void) {
  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 2, i32 14, i32 0, i32 0)
  // CHECK-NEXT: icmp ne i32
  if (__builtin_available(ios 14, *))
    ;

  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 2, i32 13, i32 2, i32 0)
  // CHECK-NEXT: icmp ne i32
  if (@available(macCatalyst 13.2, *))
    ;

  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 2, i32 13, i32 2, i32 0)
  // CHECK-NEXT: icmp ne i32
  if (__builtin_available(macCatalyst 13.2, macos 10.15.2, *))
    ;
}
