Add script for performance-guided optimization. Ignore pgo files.

Thanks to @gwern & @FeepingCreature for showing this to me.
4 years ago · ee56182f61
2 changed files with 13 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,4 +1,5 @@
 *.dSYM
+*.gcda
 *.o
 *.plist
 .deps
--- a/pgo.sh
+++ b/pgo.sh
@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+cd "$(dirname "$0")"
+
+make clean
+CFLAGS="$CFLAGS -fprofile-generate"
+./build.sh
+./ag example ..
+make clean
+CFLAGS="$CFLAGS -fprofile-use"
+./build.sh