array-builtins-exec.swift

// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend %s -parse-as-library -enable-experimental-feature Embedded -enable-builtin-module -c -o %t/main.o
// RUN: %target-clang %t/main.o -o %t/a.out -dead_strip
// RUN: %target-run %t/a.out | %FileCheck %s

// REQUIRES: swift_in_compiler
// REQUIRES: executable_test
// REQUIRES: optimized_stdlib
// REQUIRES: swift_feature_Embedded

import Builtin

varNoisyLifeCount=0
varNoisyDeathCount=0

protocolP{}

classNoisy:P{
init(){ NoisyLifeCount +=1}
deinit{ NoisyDeathCount +=1}
}

structLarge:P{
vara,b,c,d:Noisy

init(){
self.a =Noisy()
self.b =Noisy()
self.c =Noisy()
self.d =Noisy()
}
}

enumEnum{
case nontrivial(Noisy)
case trivial(Int)
}

func exerciseArrayValueWitnesses<T>(_ value:T){
letbuf= UnsafeMutablePointer<T>.allocate(capacity:5)

(buf +0).initialize(to: value)
(buf +1).initialize(to: value)

Builtin.copyArray(T.self,(buf +2)._rawValue, buf._rawValue,2._builtinWordValue)
Builtin.takeArrayBackToFront(T.self,(buf +1)._rawValue, buf._rawValue,4._builtinWordValue)
Builtin.takeArrayFrontToBack(T.self, buf._rawValue,(buf +1)._rawValue,4._builtinWordValue)
Builtin.destroyArray(T.self, buf._rawValue,4._builtinWordValue)

 buf.deallocate()
}

func test(){
 NoisyLifeCount =0
 NoisyDeathCount =0
do{
exerciseArrayValueWitnesses(44)
exerciseArrayValueWitnesses(Noisy())
exerciseArrayValueWitnesses(Large())
exerciseArrayValueWitnesses(Enum.trivial(42))
exerciseArrayValueWitnesses(Enum.nontrivial(Noisy()))
}
precondition(NoisyLifeCount == NoisyDeathCount)
print("Checks out")
 // CHECK: Checks out
}

@mainstructMain{staticfunc main(){test()}}