swiftlang/swift

[SR-1103] Redundant metadata accesses when invoking ObjC protocol methods

Open

#43,716 opened on 2016年3月29日

GitHub で見る
 (1 comment) (0 reactions) (0 assignees)Swift (69,989 stars) (10,719 forks)batch import
IRGenbugcompilergood first issue

説明
Previous ID SR-1103
Radar None
Original Reporter @jckarter
Type Bug
Votes 0
Component/s Compiler
Labels Bug, IRGen, StarterBug
Assignee None
Priority Medium

md5: 970c1d7db6290aee45b5ecc9fd1e9432

Issue Description:

Protocol methods are modeled as functions generic on Self, so IRGen tries to get the type metadata to satisfy the formal type parameter, even though it's not used for an ObjC or C protocol method:

define void @invoke_protocol_methods(%objc_object*) #​0 {
entry:
  %.Type = call %swift.type* @swift_getObjectType(%objc_object* %0) #​2
  %1 = bitcast %objc_object* %0 to i8*
  call void @mutateSomeState(i8* %1)
  ret void
}

The call is marked readnone so gets optimized away, but we shouldn't emit it at all for the sake of unoptimized code.

コントリビューターガイド

技術スタック
swift
領域
toolingperformance
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
half day
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Swift compiler internalsIRGen
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
25
調査方針
Investigate the IRGen code for protocol method dispatch. The redundant call to swift getObjectType is emitted but unused. Look at the code generation in lib/IRGen/GenProtocol.cpp or similar to conditionally skip metadata retrieval for ObjC protocols. Review the existing logic for Self type metadata in protocol method invocation.