|  | // 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, *)) | 
|  | ; | 
|  | } |