| // RUN: %target-sil-opt -enable-sil-verify-all -strip-debug-info %s | %FileCheck %s | |
| sil_stage canonical | |
| import Swift | |
| import Builtin | |
| // CHECK-LABEL: sil @test | |
| // CHECK: bb0 | |
| // CHECK-NEXT: tuple | |
| // CHECK-NEXT: return | |
| sil @test : $@convention(thin) <T> (@inout T, Builtin.Int64) -> () { | |
| bb0(%0 : $*T, %1 : $Builtin.Int64): | |
| debug_value_addr %0 : $*T | |
| debug_value %1 : $Builtin.Int64 | |
| %2 = tuple () | |
| return %2 : $() | |
| } |