From cf5097a8b45cd4b041d3bd5843c5996ea540120b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 15 Oct 2019 11:30:53 -0700
Subject: [PATCH] [sledge] Add report-summary test make target

Summary: Produce a summary of the test results report.

Reviewed By: ngorogiannis

Differential Revision: D17915840

fbshipit-source-id: 91445cc7b
---
 sledge/test/Makefile | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/sledge/test/Makefile b/sledge/test/Makefile
index 71b8a4e00..6863bb4c9 100644
--- a/sledge/test/Makefile
+++ b/sledge/test/Makefile
@@ -52,6 +52,28 @@ translate-report:
 	 | grep -E -v "RESULT: (Success|Invalid input)" \
 	 | column -ts$$'\t'
 
+Buckets:=\
+  "Invalid input"\
+  "Success"\
+  "Unimplemented: ConstantAggregateZero of size 0"\
+  "Unimplemented: call null"\
+  "Unimplemented: coroutines"\
+  "Unimplemented: ifuncs"\
+  "Unimplemented: inline asm"\
+  "Unimplemented: landingpad of type"\
+  "Unimplemented: non-integral pointer types"\
+  "Unimplemented: opcode kind in call instruction"\
+  "Unimplemented: operand kind in call instruction"\
+  "Unimplemented: size_of"\
+  "Unimplemented: statepoints"\
+  "Unimplemented: unsized non-opaque aggregate types"\
+  "Unimplemented: vector operations"\
+  "Unimplemented: windows exception handling"\
+  "segmentation violation"
+
+report-summary:
+	for b in $(Buckets); do (printf "$$b\t"; grep -E "$$b" report.expected | wc -l); done | sort -t$$'\t' -k 2 -n -r | column -ts$$'\t'
+
 # compile c to llvm bitcode
 %.bc : %.c
 	@(cd $(dir $*) && clang -g -c -emit-llvm $(CLANG_ARGS) $(notdir $*).c -o $(notdir $*).bc)