mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
186 lines
8.6 KiB
Plaintext
186 lines
8.6 KiB
Plaintext
// RUN: %target-sil-opt -test-runner %s 2>&1 | %FileCheck %s
|
|
|
|
// REQUIRES: swift_in_compiler
|
|
|
|
sil_stage raw
|
|
|
|
import Builtin
|
|
|
|
// CHECK-LABEL: begin running test 1 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: test_arg_parsing_reference
|
|
// CHECK: test_arg_parsing_referenceable
|
|
// CHECK: test_arg_parsing
|
|
// CHECK: bool: true
|
|
// CHECK: bool: false
|
|
// CHECK-LABEL: end running test 1 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 2 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: block:
|
|
// CHECK: bb0:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK: uint: 42
|
|
// CHECK: instruction: {{%[^,]+}} = tuple ({{%[^,]+}}, {{%[^,]+}}, {{%[^,]+}})
|
|
// CHECK-LABEL: end running test 2 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 3 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: function: test_arg_parsing
|
|
// CHECK: function: test_arg_parsing
|
|
// CHECK-LABEL: end running test 3 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 4 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: block:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK: block:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK: block:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK: block:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK: block:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK-LABEL: end running test 4 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 5 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK: instruction: // function_ref something_remarkable
|
|
// CHECK-LABEL: end running test 5 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 6 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: operand: operand #0 of return {{%[^,]+}} : $()
|
|
// CHECK: operand: operand #1 of {{%[^,]+}} = tuple
|
|
// CHECK-LABEL: end running test 6 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 7 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: value: {{%[^,]+}} = tuple ({{%[^,]+}} : $(), {{%[^,]+}} : $(_: ()), {{%[^,]+}} : $((), (_: ())))
|
|
// CHECK: string: howdy
|
|
// CHECK-LABEL: end running test 7 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 8 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
// CHECK: value:
|
|
// CHECK: function_ref @something_remarkable
|
|
// CHECK-LABEL: end running test 8 of {{[^,]+}} on test_arg_parsing: test_specification_parsing
|
|
sil [ossa] @test_arg_parsing : $() -> () {
|
|
entry:
|
|
specify_test "test_specification_parsing FFFbb @function[test_arg_parsing_reference] @function[2] @function true false"
|
|
specify_test "test_specification_parsing BuI @block[0] 42 @function[test_arg_parsing_callee].block[1].instruction[3]"
|
|
specify_test "test_specification_parsing FF @function @function[0]"
|
|
specify_test "test_specification_parsing BBBBB @block @function.block @function.block[0] @function[0].block @function[0].block[0]"
|
|
specify_test "test_specification_parsing IIIIIIII @function.block.instruction @function[0].block.instruction @function.block[0].instruction @function.block.instruction[0] @function[0].block[0].instruction @function[0].block.instruction[0] @function.block[0].instruction[0] @function[0].block[0].instruction[0]"
|
|
specify_test "test_specification_parsing OO @instruction[2].operand @function[test_arg_parsing_callee].trace.operand[1]"
|
|
specify_test "test_specification_parsing Vs @function[4].trace[0] howdy"
|
|
specify_test "test_specification_parsing V @instruction[0]"
|
|
%something_remarkable = function_ref @something_remarkable : $@convention(thin) () -> ()
|
|
%retval = tuple ()
|
|
return %retval : $()
|
|
}
|
|
|
|
sil [ossa] @test_arg_parsing_reference : $() -> ()
|
|
sil [ossa] @test_arg_parsing_referenceable : $() -> ()
|
|
sil [ossa] @something_remarkable : $() -> ()
|
|
|
|
sil [ossa] @test_arg_parsing_callee : $() -> () {
|
|
bb0:
|
|
br bb1
|
|
bb1:
|
|
%zero = tuple ()
|
|
%one = tuple (%zero : $())
|
|
%two = tuple (%zero : $(), %one : $(_ : ()))
|
|
%three = tuple (%zero : $(), %one : $(_ : ()), %two : $((), (_ : ())))
|
|
debug_value [trace] %three : $(_ : (), (_ : ()), ((), (_ : ())))
|
|
return %zero : $()
|
|
}
|
|
|
|
// CHECK-LABEL: begin running test 1 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK: block:
|
|
// CHECK: bb1
|
|
// CHECK-LABEL: end running test 1 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 2 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK: instruction:
|
|
// CHECK: tuple
|
|
// CHECK-LABEL: end running test 2 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 3 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK: instruction: br bb2
|
|
// CHECK: instruction: {{%[^,]+}} = tuple ()
|
|
// CHECK: instruction: br bb3
|
|
// CHECK: instruction: return
|
|
// CHECK-LABEL: end running test 3 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 4 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK: block
|
|
// CHECK: bb0
|
|
// CHECK: block
|
|
// CHECK: bb1
|
|
// CHECK: block
|
|
// CHECK: bb2
|
|
// CHECK: block
|
|
// CHECK: bb3
|
|
// CHECK-LABEL: end running test 4 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK-LABEL: begin running test 5 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
// CHECK: function: test_contextual_arg_parsing
|
|
// CHECK-LABEL: end running test 5 of {{[^,]+}} on test_contextual_arg_parsing: test_specification_parsing
|
|
sil [ossa] @test_contextual_arg_parsing : $() -> () {
|
|
entry:
|
|
br one
|
|
one:
|
|
specify_test "test_specification_parsing B @block"
|
|
br two
|
|
two:
|
|
specify_test "test_specification_parsing I @instruction"
|
|
specify_test "test_specification_parsing IIII @instruction[-1] @instruction[+0] @instruction[+1] @instruction[+2]"
|
|
specify_test "test_specification_parsing BBBB @block[-2] @block[-1] @block[+0] @block[+1]"
|
|
%retval = tuple ()
|
|
br exit
|
|
exit:
|
|
specify_test "test_specification_parsing F @function"
|
|
return %retval : $()
|
|
}
|
|
|
|
struct X {}
|
|
|
|
// CHECK-LABEL: begin running test 1 of {{[^,]+}} on test_arg_arg_parsing: test_specification_parsing
|
|
// CHECK: argument:
|
|
// CHECK: %0 = argument of bb0 : $X
|
|
// CHECK: argument:
|
|
// CHECK: %0 = argument of bb0 : $X
|
|
// CHECK: argument:
|
|
// CHECK: %0 = argument of bb0 : $X
|
|
// CHECK-LABEL: end running test 1 of {{[^,]+}} on test_arg_arg_parsing: test_specification_parsing
|
|
sil [ossa] @test_arg_arg_parsing : $(X) -> () {
|
|
entry(%instance : $X):
|
|
specify_test "test_specification_parsing AAA @argument @block.argument @function.argument[0]"
|
|
%retval = tuple ()
|
|
return %retval : $()
|
|
}
|
|
|
|
// CHECK-LABEL: begin running test 1 of {{[^,]+}} on test_arg_parsing_2
|
|
// CHECK: block:
|
|
// CHECK: {{bb[0-9]+}}:
|
|
// CHECK: {{%[^,]+}} = tuple ()
|
|
// CHECK: return {{%[^,]+}}
|
|
// CHECK: uint: 0
|
|
// CHECK-LABEL: end running test 1 of {{[^,]+}} on test_arg_parsing_2
|
|
sil @test_arg_parsing_2 : $() -> () {
|
|
entry:
|
|
specify_test "test_specification_parsing Bu @block[1] 0"
|
|
br exit
|
|
exit:
|
|
%retval = tuple ()
|
|
return %retval : $()
|
|
}
|
|
|
|
// CHECK-LABEL: begin running test {{.*}} on test_value_literal_parsing: test_specification_parsing with: VVVV, %0, %1, %2, %3
|
|
// CHECK: value: %0 = argument of bb0 : $Builtin.Int1
|
|
// CHECK: value: %2 = integer_literal $Builtin.Int64, 1
|
|
// CHECK: value: %1 = integer_literal $Builtin.Int64, 2
|
|
// CHECK: value: %3 = integer_literal $Builtin.Int64, 3
|
|
// CHECK-LABEL: end running test {{.*}} on test_value_literal_parsing: test_specification_parsing with: VVVV, %0, %1, %2, %3
|
|
sil @test_value_literal_parsing : $(Builtin.Int1) -> () {
|
|
entry(%0 : $Builtin.Int1):
|
|
%2 = integer_literal $Builtin.Int64, 2
|
|
specify_test "test_specification_parsing VVVV %0 %1 %2 %3"
|
|
%1 = integer_literal $Builtin.Int64, 1
|
|
%3 = integer_literal $Builtin.Int64, 3
|
|
apply undef(%2) : $@convention(thin) (Builtin.Int64) -> ()
|
|
apply undef(%3) : $@convention(thin) (Builtin.Int64) -> ()
|
|
%retval = tuple ()
|
|
return %retval : $()
|
|
}
|