[llvm-commits] [poolalloc] r133651 - in /poolalloc/trunk: lib/AssistDS/TypeChecks.cpp test/TEST.types.Makefile

[Arushi Aggarwal]

Author: aggarwa4
Date: Wed Jun 22 16:31:41 2011
New Revision: 133651

URL: http://llvm.org/viewvc/llvm-project?rev=133651&view=rev
Log:
Switch flag.
Disable pointer type checks by default.

Reflect change in makefile

Modified:
    poolalloc/trunk/lib/AssistDS/TypeChecks.cpp
    poolalloc/trunk/test/TEST.types.Makefile

Modified: poolalloc/trunk/lib/AssistDS/TypeChecks.cpp
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/lib/AssistDS/TypeChecks.cpp?rev=133651&r1=133650&r2=133651&view=diff
==============================================================================
--- poolalloc/trunk/lib/AssistDS/TypeChecks.cpp (original)
+++ poolalloc/trunk/lib/AssistDS/TypeChecks.cpp Wed Jun 22 16:31:41 2011
@@ -40,8 +40,8 @@
 STATISTIC(numTypes, "Number of Types used in the module");
 
 namespace {
-  static cl::opt<bool> DisablePointerTypeChecks("disable-ptr-type-checks",
-         cl::desc("DONT Distinguish pointer types"),
+  static cl::opt<bool> EnablePointerTypeChecks("enable-ptr-type-checks",
+         cl::desc("Distinguish pointer types in loads"),
          cl::Hidden,
          cl::init(false));
   static cl::opt<bool> DisablePtrCmpChecks("no-ptr-cmp-checks",
@@ -88,7 +88,7 @@
 static Constant *checkVAArg;
 
 unsigned int TypeChecks::getTypeMarker(const Type * Ty) {
-  if(DisablePointerTypeChecks) {
+  if(!EnablePointerTypeChecks) {
     if(Ty->isPointerTy()) {
       Ty = VoidPtrTy;
     }

Modified: poolalloc/trunk/test/TEST.types.Makefile
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/TEST.types.Makefile?rev=133651&r1=133650&r2=133651&view=diff
==============================================================================
--- poolalloc/trunk/test/TEST.types.Makefile (original)
+++ poolalloc/trunk/test/TEST.types.Makefile Wed Jun 22 16:31:41 2011
@@ -13,8 +13,6 @@
 # Pathname to poolalloc object tree
 PADIR   := $(LLVM_OBJ_ROOT)/projects/poolalloc
 
-LLC := /localhome/aggarwa4/llvm29/llvm-obj/Debug+Asserts/bin/llc
-
 # Pathame to the DSA pass dynamic library
 DSA_SO   := $(PADIR)/$(CONFIGURATION)/lib/libLLVMDataStructure$(SHLIBEXT)
 ASSIST_SO := $(PADIR)/$(CONFIGURATION)/lib/libAssistDS$(SHLIBEXT)
@@ -33,6 +31,8 @@
 ANALYZE_OPTS +=  -instcount -disable-verify 
 MEM := -track-memory -time-passes -disable-output
 
+LDFLAGS += -lstdc++
+
 #SAFE_OPTS := -internalize -scalarrepl -deadargelim -globaldce -basiccg -inline 
 SAFE_OPTS := -internalize -mem2reg -constprop -ipsccp -dce -deadargelim -globaldce -basiccg -inline
 SAFE_OPTS1 := -internalize  -deadargelim -globaldce -basiccg -inline
@@ -66,7 +66,7 @@
 
 $(PROGRAMS_TO_TEST:%=Output/%.tcd.bc): \
 Output/%.tcd.bc: Output/%.opt.bc $(LOPT) $(ASSIST_SO)
-	-$(RUNOPT) -load $(ASSIST_SO)  -typechecks -disable-ptr-type-checks -dce -ipsccp -dce -stats -info-output-file=$(CURDIR)/$@.info $< -f -o $@.temp
+	-$(RUNOPT) -load $(ASSIST_SO)  -typechecks -enable-ptr-type-checks -dce -ipsccp -dce -stats -info-output-file=$(CURDIR)/$@.info $< -f -o $@.temp
 	-$(LLVMLD) -disable-opt -o $@.ld $@.temp $(TYPE_RT_BC)
 	-$(LOPT) $(SAFE_OPTS) $@.ld.bc -o $@ -f
 	#-$(RUNOPT) -load $(ASSIST_SO) $(SAFE_OPTS) -typechecks-runtime-opt $@.ld.bc -o $@ -f
@@ -87,7 +87,7 @@
 
 $(PROGRAMS_TO_TEST:%=Output/%.tcoo1.bc): \
 Output/%.tcoo1.bc: Output/%.opt.bc $(LOPT) $(ASSIST_SO)
-	-$(RUNOPT) -load $(ASSIST_SO) -typechecks  -enable-type-inference-opts -dsa-stdlib-no-fold -typechecks-opt -typechecks-cmp-opt -dce -ipsccp -dce -stats -info-output-file=$(CURDIR)/$@.info $< -f -o $@.temp 
+	-$(RUNOPT) -load $(ASSIST_SO) -typechecks  -no-ptr-cmp-checks -enable-type-inference-opts -dsa-stdlib-no-fold -typechecks-opt -dce -ipsccp -dce -stats -info-output-file=$(CURDIR)/$@.info $< -f -o $@.temp 
 	-$(LLVMLD) -disable-opt -o $@.ld $@.temp $(TYPE_RT_BC)
 	-$(LOPT) $(SAFE_OPTS) $@.ld.bc -o $@ -f
 	#-$(RUNOPT) -load $(ASSIST_SO) $(SAFE_OPTS) -typechecks-runtime-opt $@.ld.bc -o $@ -f
@@ -288,7 +288,7 @@
 
 
 $(PROGRAMS_TO_TEST:%=Output/%.$(TEST).report.txt): \
-Output/%.$(TEST).report.txt: Output/%.opt.bc Output/%.LOC.txt $(LOPT) Output/%.out-nat Output/%.diff-llvm1 Output/%.diff-opt Output/%.diff-tc Output/%.diff-tco Output/%.diff-tcoo Output/%.diff-tcd Output/%.diff-count Output/%.diff-count1
+Output/%.$(TEST).report.txt: Output/%.opt.bc Output/%.LOC.txt $(LOPT) Output/%.out-nat Output/%.diff-llvm1 Output/%.diff-opt Output/%.diff-tc Output/%.diff-tco Output/%.diff-tcoo Output/%.diff-tcd Output/%.diff-count Output/%.diff-count1 Output/%.diff-tcoo1
 	@# Gather data
 	-($(RUNOPT)  -dsa-$(PASS) -enable-type-inference-opts -dsa-stdlib-no-fold $(ANALYZE_OPTS) $<)> $@.time.1 2>&1
 	-($(RUNOPT)  -dsa-$(PASS)  $(ANALYZE_OPTS) $<)> $@.time.2 2>&1