Files
swift-mirror/test/SIL/Parser/debug_value_multi_operand.sil
Emil Pedersen 512006970c [Tests] Enable verification in multi-operand debug_value tests
Multi-operand debug values are now allowed by the verifier.
2026-08-11 19:42:57 +01:00

22 lines
835 B
Plaintext

// RUN: %target-sil-opt -sil-print-types %s | %target-sil-opt -sil-print-types | %FileCheck %s
sil_stage canonical
import Builtin
import Swift
// CHECK-LABEL: sil @test_multi_operand_transform :
sil @test_multi_operand_transform : $@convention(thin) (Builtin.Int64, Builtin.Int32) -> () {
bb0(%0 : $Builtin.Int64, %1 : $Builtin.Int32):
// CHECK: debug_value (%0 : $Builtin.Int64, %1 : $Builtin.Int32), let, name "combined", transform {
// CHECK: bb0(%0 : $Builtin.Int64, %1 : $Builtin.Int32):
// CHECK: return %0 : $Builtin.Int64
// CHECK: }
debug_value (%0 : $Builtin.Int64, %1 : $Builtin.Int32), let, name "combined", transform {
bb0(%a : $Builtin.Int64, %b : $Builtin.Int32):
return %a : $Builtin.Int64
}
%r = tuple ()
return %r : $()
}
// CHECK: } // end sil function 'test_multi_operand_transform'