[embedded] Add IR tests for fatalError and precondition in embedded Swift

Author: kubamracek

test/embedded/traps-fatalerror-ir.swift

@@ -0,0 +1,27 @@
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo %s                             | %FileCheck %s --check-prefix=CHECK-MESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo %s -O                          | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo %s -Osize                      | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo %s -O     -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo %s -Osize -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
+
+// REQUIRES: swift_in_compiler
+// REQUIRES: optimized_stdlib
+// REQUIRES: OS=macosx || OS=linux-gnu
+
+public func test() {
+     fatalError("task failed successfully")
+}
+
+// CHECK-MESSAGE: define {{.*}}void @"$s4main4testyyF"(){{.*}} {
+// CHECK-MESSAGE: entry:
+// CHECK-MESSAGE:   {{.*}}call {{.*}}void @"$ss17_assertionFailure__
+// CHECK-MESSAGE-SAME: Fatal error
+// CHECK-MESSAGE-SAME: task failed successfully
+// CHECK-MESSAGE-SAME: traps-fatalerror-ir.swift
+// CHECK-MESSAGE:   unreachable
+// CHECK-MESSAGE: }
+
+// CHECK-NOMESSAGE:      define {{.*}}void @"$s4main4testyyF"(){{.*}} {
+// CHECK-NOMESSAGE-NEXT: entry:
+// CHECK-NOMESSAGE-NEXT:   unreachable
+// CHECK-NOMESSAGE-NEXT: }

test/embedded/traps-multiple-preconditions-ir.swift

@@ -0,0 +1,49 @@
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -O                          | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -Osize                      | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -O     -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
+// RUN: %target-swift-emit-ir -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -Osize -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
+
+// REQUIRES: swift_in_compiler
+// REQUIRES: optimized_stdlib
+// REQUIRES: OS=macosx || OS=linux-gnu
+
+@_extern(c)
+public func external()
+
+public func test(i: Int) {
+     precondition(i % 2 == 0, "precondition 1")
+     external()
+     precondition(i % 3 == 0, "precondition 3")
+     external()
+     precondition(i % 5 == 0, "precondition 5")
+     external()
+     precondition(i % 7 == 0, "precondition 7")
+}
+
+// "Non-production builds" - We expect 4 separate _assertionFailure() calls with different values
+// CHECK-MESSAGE: define {{.*}}void @"$s4main4test1iySi_tF"(i64 %0) {{.*}}{
+// CHECK-MESSAGE:   call {{.*}}@"$ss17_assertionFailure
+// CHECK-MESSAGE:   unreachable
+// CHECK-MESSAGE:   call {{.*}}@"$ss17_assertionFailure
+// CHECK-MESSAGE:   unreachable
+// CHECK-MESSAGE:   call {{.*}}@"$ss17_assertionFailure
+// CHECK-MESSAGE:   unreachable
+// CHECK-MESSAGE:   call {{.*}}@"$ss17_assertionFailure
+// CHECK-MESSAGE:   unreachable
+// CHECK-MESSAGE: }
+
+// "Production builds" - We expect 4 separate trap blocks in the IR.
+// CHECK-NOMESSAGE: define {{.*}}void @"$s4main4test1iySi_tF"(i64 %0) {{.*}}{
+// CHECK-NOMESSAGE:   tail call void asm sideeffect "", "n"(i32 0) #3
+// CHECK-NOMESSAGE:   tail call void @llvm.trap()
+// CHECK-NOMESSAGE:   unreachable
+// CHECK-NOMESSAGE:   tail call void asm sideeffect "", "n"(i32 1) #3
+// CHECK-NOMESSAGE:   tail call void @llvm.trap()
+// CHECK-NOMESSAGE:   unreachable
+// CHECK-NOMESSAGE:   tail call void asm sideeffect "", "n"(i32 2) #3
+// CHECK-NOMESSAGE:   tail call void @llvm.trap()
+// CHECK-NOMESSAGE:   unreachable
+// CHECK-NOMESSAGE:   tail call void asm sideeffect "", "n"(i32 3) #3
+// CHECK-NOMESSAGE:   tail call void @llvm.trap()
+// CHECK-NOMESSAGE:   unreachable
+// CHECK-NOMESSAGE: }