// RUN: %clang_cc1 -triple x86_64-apple-macosx10.11 -emit-llvm -o - %s | FileCheck %s

void use_at_available(void) {
  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 1, i32 10, i32 12, i32 0)
  // CHECK-NEXT: icmp ne
  if (__builtin_available(macos 10.12, *))
    ;

  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 1, i32 10, i32 12, i32 0)
  // CHECK-NEXT: icmp ne
  if (@available(macos 10.12, *))
    ;

  // CHECK: call i32 @__isPlatformVersionAtLeast(i32 1, i32 10, i32 12, i32 42)
  // CHECK-NEXT: icmp ne
  if (__builtin_available(ios 10, macos 10.12.42, *))
    ;

  // CHECK-NOT: call i32 @__isPlatformVersionAtLeast
  // CHECK: br i1 true
  if (__builtin_available(ios 10, *))
    ;

  // This check should be folded: our deployment target is 10.11.
  // CHECK-NOT: call i32 @__isPlatformVersionAtLeast
  // CHECK: br i1 true
  if (__builtin_available(macos 10.11, *))
    ;
}

// CHECK: declare i32 @__isPlatformVersionAtLeast(i32, i32, i32, i32)