Fix flipped 0/1 values in SimplifyBuiltin.optimizeAssertConfig

Author: kubamracek

SwiftCompilerSources/Sources/Optimizer/InstructionSimplification/SimplifyBuiltin.swift

@@ -150,19 +150,20 @@ private extension BuiltinInst {
   }
 
   func optimizeAssertConfig(_ context: SimplifyContext) {
-    let literal: IntegerLiteralInst
-    switch context.options.assertConfiguration {
-    case .enabled:
-      let builder = Builder(before: self, context)
-      literal = builder.createIntegerLiteral(1,  type: type)
-    case .disabled:
+    // The values for the assert_configuration call are:
+    // 0: Debug
+    // 1: Release
+    // 2: Fast / Unchecked
+    let config = context.options.assertConfiguration
+    switch config {
+    case .debug, .release, .unchecked:
       let builder = Builder(before: self, context)
-      literal = builder.createIntegerLiteral(0,  type: type)
-    default:
+      let literal = builder.createIntegerLiteral(config.integerValue, type: type)
+      uses.replaceAll(with: literal, context)
+      context.erase(instruction: self)
+    case .unknown:
       return
     }
-    uses.replaceAll(with: literal, context)
-    context.erase(instruction: self)
   }
 
   func optimizeTargetTypeConst(_ context: SimplifyContext) {

SwiftCompilerSources/Sources/Optimizer/PassManager/Options.swift

@@ -36,16 +36,31 @@ struct Options {
     _bridged.hasFeature(feature)
   }
 
+  // The values for the assert_configuration call are:
+  // 0: Debug
+  // 1: Release
+  // 2: Fast / Unchecked
   enum AssertConfiguration {
-    case enabled
-    case disabled
+    case debug
+    case release
+    case unchecked
     case unknown
+
+    var integerValue: Int {
+      switch self {
+      case .debug: 0
+      case .release: 1
+      case .unchecked: 2
+      case .unknown: fatalError()
+      }
+    }
   }
 
   var assertConfiguration: AssertConfiguration {
     switch _bridged.getAssertConfiguration() {
-      case .Debug:               return .enabled
-      case .Release, .Unchecked: return .disabled
+      case .Debug:               return .debug
+      case .Release:             return .release
+      case .Unchecked:           return .unchecked
       default:                   return .unknown
     }
   }