PERFORCE change 1024292 for review

[Jonathan Anderson]

http://p4web.freebsd.org/@@1024292?ac=10

Change 1024292 by jonathan at jonathan-on-zenith on 2013/10/09 21:50:45

	Turn off -verify-each option.
	
	This option, which does a verification pass after every instrumenter pass, can't be good for performance.
	
	Besides, our confidence in the TESLA instrumenter should come from our testing framework, not verification at the absolute last possible moment.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/share/mk/bsd.own.mk#13 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/share/mk/bsd.own.mk#13 (text+ko) ====

@@ -661,10 +661,10 @@
 .else
 LLVM_INSTR_DEP= tesla.manifest
 .if ${LLVM_IR_TYPE} == "bc"
-LLVM_INSTR_COMMAND= ${TESLA} instrument -verify-each -tesla-manifest \
+LLVM_INSTR_COMMAND= ${TESLA} instrument -tesla-manifest \
     tesla.manifest ${.IMPSRC} -o ${.TARGET}
 .elif ${LLVM_IR_TYPE} == "ll"
-LLVM_INSTR_COMMAND= ${TESLA} instrument -S -verify-each -tesla-manifest \
+LLVM_INSTR_COMMAND= ${TESLA} instrument -S -tesla-manifest \
     tesla.manifest ${.IMPSRC} -o ${.TARGET}
 .else
 .error unknown LLVM IR type ${LLVM_IR_TYPE}