Files
swift-mirror/test/SILOptimizer/definite_init_nsmanagedvalue.swift
Erik Eckstein ba4081ee76 Optimizer: replace PredictableMemoryAccessOptimizations with MandatoryRedundantLoadElimination in the pass pipeline
PredictableMemoryAccessOptimizations has become unmaintainable as-is.
RedundantLoadElimination does (almost) the same thing as PredictableMemoryAccessOptimizations.
It's not as powerful but good enough because PredictableMemoryAccessOptimizations is actually only needed for promoting integer values for mandatory constant propagation.
And most importantly: RedundantLoadElimination does not insert additional copies which was a big problem in PredictableMemoryAccessOptimizations.

Fixes rdar://142814676
2025-02-07 11:30:35 +01:00

37 lines
996 B
Swift

// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -I %S/../ClangImporter/Inputs/custom-modules %s -emit-sil -g | %FileCheck %s
// REQUIRES: objc_interop
// Make sure if we have an NSManagedObject without stored properties that DI
// does not crash or emit an error.
import Foundation
import CoreData
class Person : NSManagedObject {
enum MyError : Error {
case error
}
static func myThrow() throws {}
static func myBool() -> Bool { return false }
public required init(_ x: Int) throws {
if Person.myBool() {
throw MyError.error
}
super.init()
try Person.myThrow()
}
}
extension Person {
@NSManaged var name: String
}
// Verify that the DI instructions share the scope of the adjacent instructions.
// CHECK: sil {{.*}}$s28definite_init_nsmanagedvalue6PersonCyACSiKcfc
// CHECK: integer_literal $Builtin.Int2, {{.*}}, scope [[SCOPE:[0-9]+]]
// CHECK-NEXT: debug_value
// CHECK-NEXT: debug_value
// CHECK-NEXT: store {{.*}}, scope [[SCOPE]]