Rename RefcountProfile to IncRefProfile
commitb8a49c727776fb83a8783bc2b5e727b12db0c170
authorGuilherme Ottoni <ottoni@fb.com>
Sat, 3 Nov 2018 19:51:17 +0000 (3 12:51 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 3 Nov 2018 19:55:43 +0000 (3 12:55 -0700)
tree21ec1c19c2caec5b7255fd511fe08bda3a355633
parentaa7ba9833d6a23e6309b072f4006b89dc9c60c7c
Rename RefcountProfile to IncRefProfile

Summary:
This is now only used for IncRefs. Also split IncRefProfile and DecRefProfile
into their own files, using the same name convention used for other target
profiles.

Reviewed By: mofarrell

Differential Revision: D12870761

fbshipit-source-id: c142bf7c4bb15b7b714d71137d576c1cf214234a
hphp/runtime/base/rds.h
hphp/runtime/vm/jit/decref-profile.h [moved from hphp/runtime/vm/jit/profile-refcount.h with 65% similarity]
hphp/runtime/vm/jit/incref-profile.h [new file with mode: 0644]
hphp/runtime/vm/jit/irlower-refcount.cpp
hphp/runtime/vm/jit/prof-data-serialize.cpp