forked from swiftlang/swift
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathattr_implements_serial.swift
35 lines (31 loc) · 1.62 KB
/
attr_implements_serial.swift
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
// RUN: %empty-directory(%t)
// RUN: echo 'client()' >%t/main.swift
// RUN: %target-build-swift-dylib(%t/%target-library-name(AttrImplFP)) -module-name AttrImplFP -emit-module -emit-module-path %t/AttrImplFP.swiftmodule %S/attr_implements_fp.swift -Xfrontend -enable-operator-designated-types -Xfrontend -solver-enable-operator-designated-types
// RUN: %target-build-swift -I %t -o %t/a.out %s %t/main.swift -L %t %target-rpath(%t) -lAttrImplFP
// RUN: %target-codesign %t/a.out
// RUN: %target-codesign %t/%target-library-name(AttrImplFP)
// RUN: %target-run %t/a.out %t/%target-library-name(AttrImplFP) | %FileCheck %s
// REQUIRES: executable_test
// This test just checks that the lookup-table entries for @_implements are
// also written-to and read-from serialized .swiftmodules
import AttrImplFP
public func client() {
precondition(compare_Cauxmparables(Fauxt.one, Fauxt.two))
precondition(comparedAsCauxmparablesCount == 1)
// CHECK: compared as Cauxmparables
precondition(compare_Cauxmparables(Fauxt.one, Fauxt.nan))
precondition(comparedAsCauxmparablesCount == 2)
// CHECK: compared as Cauxmparables
precondition(!compare_Cauxmparables(Fauxt.nan, Fauxt.one))
precondition(comparedAsCauxmparablesCount == 3)
// CHECK: compared as Cauxmparables
precondition(compare_Fauxts(Fauxt.one, Fauxt.two))
precondition(comparedAsFauxtsCount == 1)
// CHECK: compared as Fauxts
precondition(!compare_Fauxts(Fauxt.one, Fauxt.nan))
precondition(comparedAsFauxtsCount == 2)
// CHECK: compared as Fauxts
precondition(!compare_Fauxts(Fauxt.nan, Fauxt.one))
precondition(comparedAsFauxtsCount == 3)
// CHECK: compared as Fauxts
}