Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- ObjCRuntime.h - Objective-C Runtime Configuration --------*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | /// \file |
||
| 10 | /// Defines types useful for describing an Objective-C runtime. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_CLANG_BASIC_OBJCRUNTIME_H |
||
| 15 | #define LLVM_CLANG_BASIC_OBJCRUNTIME_H |
||
| 16 | |||
| 17 | #include "clang/Basic/LLVM.h" |
||
| 18 | #include "llvm/ADT/StringRef.h" |
||
| 19 | #include "llvm/ADT/Triple.h" |
||
| 20 | #include "llvm/Support/ErrorHandling.h" |
||
| 21 | #include "llvm/Support/HashBuilder.h" |
||
| 22 | #include "llvm/Support/VersionTuple.h" |
||
| 23 | #include <string> |
||
| 24 | |||
| 25 | namespace clang { |
||
| 26 | |||
| 27 | /// The basic abstraction for the target Objective-C runtime. |
||
| 28 | class ObjCRuntime { |
||
| 29 | public: |
||
| 30 | /// The basic Objective-C runtimes that we know about. |
||
| 31 | enum Kind { |
||
| 32 | /// 'macosx' is the Apple-provided NeXT-derived runtime on Mac OS |
||
| 33 | /// X platforms that use the non-fragile ABI; the version is a |
||
| 34 | /// release of that OS. |
||
| 35 | MacOSX, |
||
| 36 | |||
| 37 | /// 'macosx-fragile' is the Apple-provided NeXT-derived runtime on |
||
| 38 | /// Mac OS X platforms that use the fragile ABI; the version is a |
||
| 39 | /// release of that OS. |
||
| 40 | FragileMacOSX, |
||
| 41 | |||
| 42 | /// 'ios' is the Apple-provided NeXT-derived runtime on iOS or the iOS |
||
| 43 | /// simulator; it is always non-fragile. The version is a release |
||
| 44 | /// version of iOS. |
||
| 45 | iOS, |
||
| 46 | |||
| 47 | /// 'watchos' is a variant of iOS for Apple's watchOS. The version |
||
| 48 | /// is a release version of watchOS. |
||
| 49 | WatchOS, |
||
| 50 | |||
| 51 | /// 'gcc' is the Objective-C runtime shipped with GCC, implementing a |
||
| 52 | /// fragile Objective-C ABI |
||
| 53 | GCC, |
||
| 54 | |||
| 55 | /// 'gnustep' is the modern non-fragile GNUstep runtime. |
||
| 56 | GNUstep, |
||
| 57 | |||
| 58 | /// 'objfw' is the Objective-C runtime included in ObjFW |
||
| 59 | ObjFW |
||
| 60 | }; |
||
| 61 | |||
| 62 | private: |
||
| 63 | Kind TheKind = MacOSX; |
||
| 64 | VersionTuple Version; |
||
| 65 | |||
| 66 | public: |
||
| 67 | /// A bogus initialization of the runtime. |
||
| 68 | ObjCRuntime() = default; |
||
| 69 | ObjCRuntime(Kind kind, const VersionTuple &version) |
||
| 70 | : TheKind(kind), Version(version) {} |
||
| 71 | |||
| 72 | void set(Kind kind, VersionTuple version) { |
||
| 73 | TheKind = kind; |
||
| 74 | Version = version; |
||
| 75 | } |
||
| 76 | |||
| 77 | Kind getKind() const { return TheKind; } |
||
| 78 | const VersionTuple &getVersion() const { return Version; } |
||
| 79 | |||
| 80 | /// Does this runtime follow the set of implied behaviors for a |
||
| 81 | /// "non-fragile" ABI? |
||
| 82 | bool isNonFragile() const { |
||
| 83 | switch (getKind()) { |
||
| 84 | case FragileMacOSX: return false; |
||
| 85 | case GCC: return false; |
||
| 86 | case MacOSX: return true; |
||
| 87 | case GNUstep: return true; |
||
| 88 | case ObjFW: return true; |
||
| 89 | case iOS: return true; |
||
| 90 | case WatchOS: return true; |
||
| 91 | } |
||
| 92 | llvm_unreachable("bad kind"); |
||
| 93 | } |
||
| 94 | |||
| 95 | /// The inverse of isNonFragile(): does this runtime follow the set of |
||
| 96 | /// implied behaviors for a "fragile" ABI? |
||
| 97 | bool isFragile() const { return !isNonFragile(); } |
||
| 98 | |||
| 99 | /// The default dispatch mechanism to use for the specified architecture |
||
| 100 | bool isLegacyDispatchDefaultForArch(llvm::Triple::ArchType Arch) { |
||
| 101 | // The GNUstep runtime uses a newer dispatch method by default from |
||
| 102 | // version 1.6 onwards |
||
| 103 | if (getKind() == GNUstep && getVersion() >= VersionTuple(1, 6)) { |
||
| 104 | if (Arch == llvm::Triple::arm || |
||
| 105 | Arch == llvm::Triple::x86 || |
||
| 106 | Arch == llvm::Triple::x86_64) |
||
| 107 | return false; |
||
| 108 | } |
||
| 109 | else if ((getKind() == MacOSX) && isNonFragile() && |
||
| 110 | (getVersion() >= VersionTuple(10, 0)) && |
||
| 111 | (getVersion() < VersionTuple(10, 6))) |
||
| 112 | return Arch != llvm::Triple::x86_64; |
||
| 113 | // Except for deployment target of 10.5 or less, |
||
| 114 | // Mac runtimes use legacy dispatch everywhere now. |
||
| 115 | return true; |
||
| 116 | } |
||
| 117 | |||
| 118 | /// Is this runtime basically of the GNU family of runtimes? |
||
| 119 | bool isGNUFamily() const { |
||
| 120 | switch (getKind()) { |
||
| 121 | case FragileMacOSX: |
||
| 122 | case MacOSX: |
||
| 123 | case iOS: |
||
| 124 | case WatchOS: |
||
| 125 | return false; |
||
| 126 | case GCC: |
||
| 127 | case GNUstep: |
||
| 128 | case ObjFW: |
||
| 129 | return true; |
||
| 130 | } |
||
| 131 | llvm_unreachable("bad kind"); |
||
| 132 | } |
||
| 133 | |||
| 134 | /// Is this runtime basically of the NeXT family of runtimes? |
||
| 135 | bool isNeXTFamily() const { |
||
| 136 | // For now, this is just the inverse of isGNUFamily(), but that's |
||
| 137 | // not inherently true. |
||
| 138 | return !isGNUFamily(); |
||
| 139 | } |
||
| 140 | |||
| 141 | /// Does this runtime allow ARC at all? |
||
| 142 | bool allowsARC() const { |
||
| 143 | switch (getKind()) { |
||
| 144 | case FragileMacOSX: |
||
| 145 | // No stub library for the fragile runtime. |
||
| 146 | return getVersion() >= VersionTuple(10, 7); |
||
| 147 | case MacOSX: return true; |
||
| 148 | case iOS: return true; |
||
| 149 | case WatchOS: return true; |
||
| 150 | case GCC: return false; |
||
| 151 | case GNUstep: return true; |
||
| 152 | case ObjFW: return true; |
||
| 153 | } |
||
| 154 | llvm_unreachable("bad kind"); |
||
| 155 | } |
||
| 156 | |||
| 157 | /// Does this runtime natively provide the ARC entrypoints? |
||
| 158 | /// |
||
| 159 | /// ARC cannot be directly supported on a platform that does not provide |
||
| 160 | /// these entrypoints, although it may be supportable via a stub |
||
| 161 | /// library. |
||
| 162 | bool hasNativeARC() const { |
||
| 163 | switch (getKind()) { |
||
| 164 | case FragileMacOSX: return getVersion() >= VersionTuple(10, 7); |
||
| 165 | case MacOSX: return getVersion() >= VersionTuple(10, 7); |
||
| 166 | case iOS: return getVersion() >= VersionTuple(5); |
||
| 167 | case WatchOS: return true; |
||
| 168 | |||
| 169 | case GCC: return false; |
||
| 170 | case GNUstep: return getVersion() >= VersionTuple(1, 6); |
||
| 171 | case ObjFW: return true; |
||
| 172 | } |
||
| 173 | llvm_unreachable("bad kind"); |
||
| 174 | } |
||
| 175 | |||
| 176 | /// Does this runtime provide ARC entrypoints that are likely to be faster |
||
| 177 | /// than an ordinary message send of the appropriate selector? |
||
| 178 | /// |
||
| 179 | /// The ARC entrypoints are guaranteed to be equivalent to just sending the |
||
| 180 | /// corresponding message. If the entrypoint is implemented naively as just a |
||
| 181 | /// message send, using it is a trade-off: it sacrifices a few cycles of |
||
| 182 | /// overhead to save a small amount of code. However, it's possible for |
||
| 183 | /// runtimes to detect and special-case classes that use "standard" |
||
| 184 | /// retain/release behavior; if that's dynamically a large proportion of all |
||
| 185 | /// retained objects, using the entrypoint will also be faster than using a |
||
| 186 | /// message send. |
||
| 187 | /// |
||
| 188 | /// When this method returns true, Clang will turn non-super message sends of |
||
| 189 | /// certain selectors into calls to the correspond entrypoint: |
||
| 190 | /// retain => objc_retain |
||
| 191 | /// release => objc_release |
||
| 192 | /// autorelease => objc_autorelease |
||
| 193 | bool shouldUseARCFunctionsForRetainRelease() const { |
||
| 194 | switch (getKind()) { |
||
| 195 | case FragileMacOSX: |
||
| 196 | return false; |
||
| 197 | case MacOSX: |
||
| 198 | return getVersion() >= VersionTuple(10, 10); |
||
| 199 | case iOS: |
||
| 200 | return getVersion() >= VersionTuple(8); |
||
| 201 | case WatchOS: |
||
| 202 | return true; |
||
| 203 | case GCC: |
||
| 204 | return false; |
||
| 205 | case GNUstep: |
||
| 206 | return false; |
||
| 207 | case ObjFW: |
||
| 208 | return false; |
||
| 209 | } |
||
| 210 | llvm_unreachable("bad kind"); |
||
| 211 | } |
||
| 212 | |||
| 213 | /// Does this runtime provide entrypoints that are likely to be faster |
||
| 214 | /// than an ordinary message send of the "alloc" selector? |
||
| 215 | /// |
||
| 216 | /// The "alloc" entrypoint is guaranteed to be equivalent to just sending the |
||
| 217 | /// corresponding message. If the entrypoint is implemented naively as just a |
||
| 218 | /// message send, using it is a trade-off: it sacrifices a few cycles of |
||
| 219 | /// overhead to save a small amount of code. However, it's possible for |
||
| 220 | /// runtimes to detect and special-case classes that use "standard" |
||
| 221 | /// alloc behavior; if that's dynamically a large proportion of all |
||
| 222 | /// objects, using the entrypoint will also be faster than using a message |
||
| 223 | /// send. |
||
| 224 | /// |
||
| 225 | /// When this method returns true, Clang will turn non-super message sends of |
||
| 226 | /// certain selectors into calls to the corresponding entrypoint: |
||
| 227 | /// alloc => objc_alloc |
||
| 228 | /// allocWithZone:nil => objc_allocWithZone |
||
| 229 | bool shouldUseRuntimeFunctionsForAlloc() const { |
||
| 230 | switch (getKind()) { |
||
| 231 | case FragileMacOSX: |
||
| 232 | return false; |
||
| 233 | case MacOSX: |
||
| 234 | return getVersion() >= VersionTuple(10, 10); |
||
| 235 | case iOS: |
||
| 236 | return getVersion() >= VersionTuple(8); |
||
| 237 | case WatchOS: |
||
| 238 | return true; |
||
| 239 | |||
| 240 | case GCC: |
||
| 241 | return false; |
||
| 242 | case GNUstep: |
||
| 243 | return false; |
||
| 244 | case ObjFW: |
||
| 245 | return false; |
||
| 246 | } |
||
| 247 | llvm_unreachable("bad kind"); |
||
| 248 | } |
||
| 249 | |||
| 250 | /// Does this runtime provide the objc_alloc_init entrypoint? This can apply |
||
| 251 | /// the same optimization as objc_alloc, but also sends an -init message, |
||
| 252 | /// reducing code size on the caller. |
||
| 253 | bool shouldUseRuntimeFunctionForCombinedAllocInit() const { |
||
| 254 | switch (getKind()) { |
||
| 255 | case MacOSX: |
||
| 256 | return getVersion() >= VersionTuple(10, 14, 4); |
||
| 257 | case iOS: |
||
| 258 | return getVersion() >= VersionTuple(12, 2); |
||
| 259 | case WatchOS: |
||
| 260 | return getVersion() >= VersionTuple(5, 2); |
||
| 261 | default: |
||
| 262 | return false; |
||
| 263 | } |
||
| 264 | } |
||
| 265 | |||
| 266 | /// Does this runtime supports optimized setter entrypoints? |
||
| 267 | bool hasOptimizedSetter() const { |
||
| 268 | switch (getKind()) { |
||
| 269 | case MacOSX: |
||
| 270 | return getVersion() >= VersionTuple(10, 8); |
||
| 271 | case iOS: |
||
| 272 | return (getVersion() >= VersionTuple(6)); |
||
| 273 | case WatchOS: |
||
| 274 | return true; |
||
| 275 | case GNUstep: |
||
| 276 | return getVersion() >= VersionTuple(1, 7); |
||
| 277 | default: |
||
| 278 | return false; |
||
| 279 | } |
||
| 280 | } |
||
| 281 | |||
| 282 | /// Does this runtime allow the use of __weak? |
||
| 283 | bool allowsWeak() const { |
||
| 284 | return hasNativeWeak(); |
||
| 285 | } |
||
| 286 | |||
| 287 | /// Does this runtime natively provide ARC-compliant 'weak' |
||
| 288 | /// entrypoints? |
||
| 289 | bool hasNativeWeak() const { |
||
| 290 | // Right now, this is always equivalent to whether the runtime |
||
| 291 | // natively supports ARC decision. |
||
| 292 | return hasNativeARC(); |
||
| 293 | } |
||
| 294 | |||
| 295 | /// Does this runtime directly support the subscripting methods? |
||
| 296 | /// |
||
| 297 | /// This is really a property of the library, not the runtime. |
||
| 298 | bool hasSubscripting() const { |
||
| 299 | switch (getKind()) { |
||
| 300 | case FragileMacOSX: return false; |
||
| 301 | case MacOSX: return getVersion() >= VersionTuple(10, 11); |
||
| 302 | case iOS: return getVersion() >= VersionTuple(9); |
||
| 303 | case WatchOS: return true; |
||
| 304 | |||
| 305 | // This is really a lie, because some implementations and versions |
||
| 306 | // of the runtime do not support ARC. Probably -fgnu-runtime |
||
| 307 | // should imply a "maximal" runtime or something? |
||
| 308 | case GCC: return true; |
||
| 309 | case GNUstep: return true; |
||
| 310 | case ObjFW: return true; |
||
| 311 | } |
||
| 312 | llvm_unreachable("bad kind"); |
||
| 313 | } |
||
| 314 | |||
| 315 | /// Does this runtime allow sizeof or alignof on object types? |
||
| 316 | bool allowsSizeofAlignof() const { |
||
| 317 | return isFragile(); |
||
| 318 | } |
||
| 319 | |||
| 320 | /// Does this runtime allow pointer arithmetic on objects? |
||
| 321 | /// |
||
| 322 | /// This covers +, -, ++, --, and (if isSubscriptPointerArithmetic() |
||
| 323 | /// yields true) []. |
||
| 324 | bool allowsPointerArithmetic() const { |
||
| 325 | switch (getKind()) { |
||
| 326 | case FragileMacOSX: |
||
| 327 | case GCC: |
||
| 328 | return true; |
||
| 329 | case MacOSX: |
||
| 330 | case iOS: |
||
| 331 | case WatchOS: |
||
| 332 | case GNUstep: |
||
| 333 | case ObjFW: |
||
| 334 | return false; |
||
| 335 | } |
||
| 336 | llvm_unreachable("bad kind"); |
||
| 337 | } |
||
| 338 | |||
| 339 | /// Is subscripting pointer arithmetic? |
||
| 340 | bool isSubscriptPointerArithmetic() const { |
||
| 341 | return allowsPointerArithmetic(); |
||
| 342 | } |
||
| 343 | |||
| 344 | /// Does this runtime provide an objc_terminate function? |
||
| 345 | /// |
||
| 346 | /// This is used in handlers for exceptions during the unwind process; |
||
| 347 | /// without it, abort() must be used in pure ObjC files. |
||
| 348 | bool hasTerminate() const { |
||
| 349 | switch (getKind()) { |
||
| 350 | case FragileMacOSX: return getVersion() >= VersionTuple(10, 8); |
||
| 351 | case MacOSX: return getVersion() >= VersionTuple(10, 8); |
||
| 352 | case iOS: return getVersion() >= VersionTuple(5); |
||
| 353 | case WatchOS: return true; |
||
| 354 | case GCC: return false; |
||
| 355 | case GNUstep: return false; |
||
| 356 | case ObjFW: return false; |
||
| 357 | } |
||
| 358 | llvm_unreachable("bad kind"); |
||
| 359 | } |
||
| 360 | |||
| 361 | /// Does this runtime support weakly importing classes? |
||
| 362 | bool hasWeakClassImport() const { |
||
| 363 | switch (getKind()) { |
||
| 364 | case MacOSX: return true; |
||
| 365 | case iOS: return true; |
||
| 366 | case WatchOS: return true; |
||
| 367 | case FragileMacOSX: return false; |
||
| 368 | case GCC: return true; |
||
| 369 | case GNUstep: return true; |
||
| 370 | case ObjFW: return true; |
||
| 371 | } |
||
| 372 | llvm_unreachable("bad kind"); |
||
| 373 | } |
||
| 374 | |||
| 375 | /// Does this runtime use zero-cost exceptions? |
||
| 376 | bool hasUnwindExceptions() const { |
||
| 377 | switch (getKind()) { |
||
| 378 | case MacOSX: return true; |
||
| 379 | case iOS: return true; |
||
| 380 | case WatchOS: return true; |
||
| 381 | case FragileMacOSX: return false; |
||
| 382 | case GCC: return true; |
||
| 383 | case GNUstep: return true; |
||
| 384 | case ObjFW: return true; |
||
| 385 | } |
||
| 386 | llvm_unreachable("bad kind"); |
||
| 387 | } |
||
| 388 | |||
| 389 | bool hasAtomicCopyHelper() const { |
||
| 390 | switch (getKind()) { |
||
| 391 | case FragileMacOSX: |
||
| 392 | case MacOSX: |
||
| 393 | case iOS: |
||
| 394 | case WatchOS: |
||
| 395 | return true; |
||
| 396 | case GNUstep: |
||
| 397 | return getVersion() >= VersionTuple(1, 7); |
||
| 398 | default: return false; |
||
| 399 | } |
||
| 400 | } |
||
| 401 | |||
| 402 | /// Is objc_unsafeClaimAutoreleasedReturnValue available? |
||
| 403 | bool hasARCUnsafeClaimAutoreleasedReturnValue() const { |
||
| 404 | switch (getKind()) { |
||
| 405 | case MacOSX: |
||
| 406 | case FragileMacOSX: |
||
| 407 | return getVersion() >= VersionTuple(10, 11); |
||
| 408 | case iOS: |
||
| 409 | return getVersion() >= VersionTuple(9); |
||
| 410 | case WatchOS: |
||
| 411 | return getVersion() >= VersionTuple(2); |
||
| 412 | case GNUstep: |
||
| 413 | return false; |
||
| 414 | default: |
||
| 415 | return false; |
||
| 416 | } |
||
| 417 | } |
||
| 418 | |||
| 419 | /// Are the empty collection symbols available? |
||
| 420 | bool hasEmptyCollections() const { |
||
| 421 | switch (getKind()) { |
||
| 422 | default: |
||
| 423 | return false; |
||
| 424 | case MacOSX: |
||
| 425 | return getVersion() >= VersionTuple(10, 11); |
||
| 426 | case iOS: |
||
| 427 | return getVersion() >= VersionTuple(9); |
||
| 428 | case WatchOS: |
||
| 429 | return getVersion() >= VersionTuple(2); |
||
| 430 | } |
||
| 431 | } |
||
| 432 | |||
| 433 | /// Returns true if this Objective-C runtime supports Objective-C class |
||
| 434 | /// stubs. |
||
| 435 | bool allowsClassStubs() const { |
||
| 436 | switch (getKind()) { |
||
| 437 | case FragileMacOSX: |
||
| 438 | case GCC: |
||
| 439 | case GNUstep: |
||
| 440 | case ObjFW: |
||
| 441 | return false; |
||
| 442 | case MacOSX: |
||
| 443 | case iOS: |
||
| 444 | case WatchOS: |
||
| 445 | return true; |
||
| 446 | } |
||
| 447 | llvm_unreachable("bad kind"); |
||
| 448 | } |
||
| 449 | |||
| 450 | /// Does this runtime supports direct dispatch |
||
| 451 | bool allowsDirectDispatch() const { |
||
| 452 | switch (getKind()) { |
||
| 453 | case FragileMacOSX: return false; |
||
| 454 | case MacOSX: return true; |
||
| 455 | case iOS: return true; |
||
| 456 | case WatchOS: return true; |
||
| 457 | case GCC: return false; |
||
| 458 | case GNUstep: return false; |
||
| 459 | case ObjFW: return false; |
||
| 460 | } |
||
| 461 | llvm_unreachable("bad kind"); |
||
| 462 | } |
||
| 463 | |||
| 464 | /// Try to parse an Objective-C runtime specification from the given |
||
| 465 | /// string. |
||
| 466 | /// |
||
| 467 | /// \return true on error. |
||
| 468 | bool tryParse(StringRef input); |
||
| 469 | |||
| 470 | std::string getAsString() const; |
||
| 471 | |||
| 472 | friend bool operator==(const ObjCRuntime &left, const ObjCRuntime &right) { |
||
| 473 | return left.getKind() == right.getKind() && |
||
| 474 | left.getVersion() == right.getVersion(); |
||
| 475 | } |
||
| 476 | |||
| 477 | friend bool operator!=(const ObjCRuntime &left, const ObjCRuntime &right) { |
||
| 478 | return !(left == right); |
||
| 479 | } |
||
| 480 | |||
| 481 | friend llvm::hash_code hash_value(const ObjCRuntime &OCR) { |
||
| 482 | return llvm::hash_combine(OCR.getKind(), OCR.getVersion()); |
||
| 483 | } |
||
| 484 | |||
| 485 | template <typename HasherT, llvm::support::endianness Endianness> |
||
| 486 | friend void addHash(llvm::HashBuilderImpl<HasherT, Endianness> &HBuilder, |
||
| 487 | const ObjCRuntime &OCR) { |
||
| 488 | HBuilder.add(OCR.getKind(), OCR.getVersion()); |
||
| 489 | } |
||
| 490 | }; |
||
| 491 | |||
| 492 | raw_ostream &operator<<(raw_ostream &out, const ObjCRuntime &value); |
||
| 493 | |||
| 494 | } // namespace clang |
||
| 495 | |||
| 496 | #endif // LLVM_CLANG_BASIC_OBJCRUNTIME_H |