mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
3b04d1b013
Most tests were using %swift or similar substitutions, which did not include the target triple and SDK. The driver was defaulting to the host OS. Thus, we could not run the tests when the standard library was not built for OS X. Swift SVN r24504
111 lines
4.5 KiB
Swift
111 lines
4.5 KiB
Swift
// RUN: rm -rf %t
|
|
// RUN: mkdir %t
|
|
// RUN: %target-swift-frontend -emit-module -o %t %S/Inputs/def_func.swift
|
|
// RUN: llvm-bcanalyzer %t/def_func.swiftmodule | FileCheck %s
|
|
// RUN: %target-swift-frontend -emit-silgen -I %t %s | FileCheck %s -check-prefix=SIL
|
|
|
|
// CHECK-NOT: FALL_BACK_TO_TRANSLATION_UNIT
|
|
// CHECK-NOT: UnknownCode
|
|
|
|
import def_func
|
|
|
|
func useEq<T: EqualOperator>(x: T, y: T) -> Bool {
|
|
return x == y
|
|
}
|
|
|
|
// SIL: sil @main
|
|
// SIL: [[RAW:%.+]] = global_addr @_Tv8function3rawSi : $*Int
|
|
// SIL: [[ZERO:%.+]] = function_ref @_TF8def_func7getZeroFT_Si : $@thin () -> Int
|
|
// SIL: [[RESULT:%.+]] = apply [[ZERO]]() : $@thin () -> Int
|
|
// SIL: store [[RESULT]] to [[RAW]] : $*Int
|
|
var raw = getZero()
|
|
|
|
// Check that 'raw' is an Int
|
|
var cooked : Int = raw
|
|
|
|
|
|
// SIL: [[GET_INPUT:%.+]] = function_ref @_TF8def_func8getInputFT1xSi_Si : $@thin (Int) -> Int
|
|
// SIL: {{%.+}} = apply [[GET_INPUT]]({{%.+}}) : $@thin (Int) -> Int
|
|
var raw2 = getInput(x: raw)
|
|
|
|
// SIL: [[GET_SECOND:%.+]] = function_ref @_TF8def_func9getSecondFTSi1ySi_Si : $@thin (Int, Int) -> Int
|
|
// SIL: {{%.+}} = apply [[GET_SECOND]]({{%.+}}, {{%.+}}) : $@thin (Int, Int) -> Int
|
|
var raw3 = getSecond(raw, y: raw2)
|
|
|
|
// SIL: [[USE_NESTED:%.+]] = function_ref @_TF8def_func9useNestedFTT1xSi1ySi_1nSi_T_ : $@thin (Int, Int, Int) -> ()
|
|
// SIL: {{%.+}} = apply [[USE_NESTED]]({{%.+}}, {{%.+}}, {{%.+}}) : $@thin (Int, Int, Int) -> ()
|
|
useNested((raw, raw2), n: raw3)
|
|
|
|
// SIL: [[VARIADIC:%.+]] = function_ref @_TF8def_func8variadicFt1xSdGSaSi__T_ : $@thin (Double, @owned Array<Int>) -> ()
|
|
// SIL: [[VA_SIZE:%.+]] = integer_literal $Builtin.Word, 2
|
|
// SIL: {{%.+}} = apply {{%.*}}<Int>([[VA_SIZE]])
|
|
// SIL: {{%.+}} = apply [[VARIADIC]]({{%.+}}, {{%.+}}) : $@thin (Double, @owned Array<Int>) -> ()
|
|
variadic(x: 2.5, 4, 5)
|
|
|
|
// SIL: [[SLICE:%.+]] = function_ref @_TF8def_func5sliceFT1xGSaSi__T_ : $@thin (@owned Array<Int>) -> ()
|
|
// SIL: [[SLICE_SIZE:%.+]] = integer_literal $Builtin.Word, 3
|
|
// SIL: {{%.+}} = apply {{%.*}}<Int>([[SLICE_SIZE]])
|
|
// SIL: {{%.+}} = apply [[SLICE]]({{%.+}}) : $@thin (@owned Array<Int>) -> ()
|
|
slice(x: [2, 4, 5])
|
|
|
|
optional(x: .Some(23))
|
|
optional(x: .None)
|
|
|
|
|
|
// SIL: [[MAKE_PAIR:%.+]] = function_ref @_TF8def_func8makePairU___FT1aQ_1bQ0__TQ_Q0__ : $@thin <τ_0_0, τ_0_1> (@out (τ_0_0, τ_0_1), @in τ_0_0, @in τ_0_1) -> ()
|
|
// SIL: {{%.+}} = apply [[MAKE_PAIR]]<Int, Double>({{%.+}}, {{%.+}})
|
|
|
|
var pair : (Int, Double) = makePair(a: 1, b: 2.5)
|
|
|
|
// SIL: [[DIFFERENT_A:%.+]] = function_ref @_TF8def_func9differentUSs9Equatable__FT1aQ_1bQ__Sb : $@thin <τ_0_0 where τ_0_0 : Equatable> (@in τ_0_0, @in τ_0_0) -> Bool
|
|
// SIL: [[DIFFERENT_B:%.+]] = function_ref @_TF8def_func9differentUSs9Equatable__FT1aQ_1bQ__Sb : $@thin <τ_0_0 where τ_0_0 : Equatable> (@in τ_0_0, @in τ_0_0) -> Bool
|
|
|
|
different(a: 1, b: 2)
|
|
different(a: false, b: false)
|
|
|
|
// SIL: [[DIFFERENT2_A:%.+]] = function_ref @_TF8def_func10different2USs9Equatable__FT1aQ_1bQ__Sb : $@thin <τ_0_0 where τ_0_0 : Equatable> (@in τ_0_0, @in τ_0_0) -> Bool
|
|
// SIL: [[DIFFERENT2_B:%.+]] = function_ref @_TF8def_func10different2USs9Equatable__FT1aQ_1bQ__Sb : $@thin <τ_0_0 where τ_0_0 : Equatable> (@in τ_0_0, @in τ_0_0) -> Bool
|
|
different2(a: 1, b: 2)
|
|
different2(a: false, b: false)
|
|
|
|
|
|
struct IntWrapper1 : Wrapped {
|
|
typealias Value = Int
|
|
func getValue() -> Int { return 1 }
|
|
}
|
|
struct IntWrapper2 : Wrapped {
|
|
typealias Value = Int
|
|
func getValue() -> Int { return 2 }
|
|
}
|
|
|
|
// SIL: [[DIFFERENT_WRAPPED:%.+]] = function_ref @_TF8def_func16differentWrappedUS_7Wrapped_S0__USs9Equatable__FT1aQ_1bQ0__Sb : $@thin <τ_0_0, τ_0_1 where τ_0_0 : Wrapped, τ_0_1 : Wrapped, τ_0_0.Value : Equatable, τ_0_0.Value == τ_0_1.Value> (@in τ_0_0, @in τ_0_1) -> Bool
|
|
|
|
differentWrapped(a: IntWrapper1(), b: IntWrapper2())
|
|
|
|
|
|
// SIL: {{%.+}} = function_ref @_TF8def_func10overloadedFT1xSi_T_ : $@thin (Int) -> ()
|
|
// SIL: {{%.+}} = function_ref @_TF8def_func10overloadedFT1xSb_T_ : $@thin (Bool) -> ()
|
|
|
|
overloaded(x: 1)
|
|
overloaded(x: false)
|
|
|
|
|
|
// SIL: {{%.+}} = function_ref @primitive : $@thin () -> ()
|
|
primitive()
|
|
|
|
|
|
if raw == 5 {
|
|
testNoReturnAttr()
|
|
testNoReturnAttrPoly(x: 5)
|
|
}
|
|
// SIL: {{%.+}} = function_ref @_TF8def_func16testNoReturnAttrFT_T_ : $@thin @noreturn () -> ()
|
|
// SIL: {{%.+}} = function_ref @_TF8def_func20testNoReturnAttrPolyU__FT1xQ__T_ : $@thin @noreturn <τ_0_0> (@in τ_0_0) -> ()
|
|
|
|
|
|
// SIL: sil @_TF8def_func16testNoReturnAttrFT_T_ : $@thin @noreturn () -> ()
|
|
// SIL: sil @_TF8def_func20testNoReturnAttrPolyU__FT1xQ__T_ : $@thin @noreturn <τ_0_0> (@in τ_0_0) -> ()
|
|
|
|
|
|
// LLVM: }
|
|
|