revision.c: add trace2 stats around Bloom filter usage
commit42e50e78c6fd8978c2218bbd7b3483ae51d5e3f9
authorGarima Singh <garima.singh@microsoft.com>
Mon, 6 Apr 2020 16:59:53 +0000 (6 16:59 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 6 Apr 2020 18:08:37 +0000 (6 11:08 -0700)
treeda6f6b9a7911485c3ca2839ee9b3ec904795ca59
parenta56b9464cd0a49317fafde080ae4e73c5430ac9b
revision.c: add trace2 stats around Bloom filter usage

Add trace2 statistics around Bloom filter usage and behavior
for 'git log -- path' commands that are hoping to benefit from
the presence of computed changed paths Bloom filters.

These statistics are great for performance analysis work and
for formal testing, which we will see in the commit following
this one.

Helped-by: Derrick Stolee <dstolee@microsoft.com
Helped-by: SZEDER Gábor <szeder.dev@gmail.com>
Helped-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Garima Singh <garima.singh@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
revision.c