[llvm-commits] [llvm] r42163 - in /llvm/trunk: Makefile.config.in autoconf/configure.ac bindings/ocaml/Makefile.ocaml bindings/ocaml/bitwriter/ bindings/ocaml/bitwriter/bitwriter_ocaml.c bindings/ocaml/llvm/ bindings/ocaml/llvm/llvm_ocaml.c test/Bindings/ test/Bindings/Ocaml/vmcore.ml

Gordon Henriksen gordonhenriksen at mac.com
Thu Sep 20 09:47:55 PDT 2007


On Sep 20, 2007, at 12:47, Gordon Henriksen wrote:

> Author: gordon
> Date: Thu Sep 20 11:47:41 2007
> New Revision: 42163
>
> URL: http://llvm.org/viewvc/llvm-project?rev=42163&view=rev
> Log:
> Incorporating review feedback for GC verifier patch.

Grr.

Providing compatibility with ocaml back to at least 3.06 (vintage
2002). In downrev versions:

   - Function names do not have the 'caml_' prefix. Later versions
     provide compatibility macros.
   - The intnat and uintnat types are not defined.
   - ocamlc supports -o only for linking and archiving.

This also gets ocaml's automatic dependency generator working.

> Modified:
>     llvm/trunk/Makefile.config.in
>     llvm/trunk/autoconf/configure.ac
>     llvm/trunk/bindings/ocaml/Makefile.ocaml
>     llvm/trunk/bindings/ocaml/bitwriter/   (props changed)
>     llvm/trunk/bindings/ocaml/bitwriter/bitwriter_ocaml.c
>     llvm/trunk/bindings/ocaml/llvm/   (props changed)
>     llvm/trunk/bindings/ocaml/llvm/llvm_ocaml.c
>     llvm/trunk/test/Bindings/   (props changed)
>     llvm/trunk/test/Bindings/Ocaml/vmcore.ml
>
> Modified: llvm/trunk/Makefile.config.in
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/ 
> Makefile.config.in?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/Makefile.config.in (original)
> +++ llvm/trunk/Makefile.config.in Thu Sep 20 11:47:41 2007
> @@ -158,6 +158,7 @@
>  GZIP       := @GZIP@
>  OCAMLC     := @OCAMLC@
>  OCAMLOPT   := @OCAMLOPT@
> +OCAMLDEP   := @OCAMLDEP@
>  POD2HTML   := @POD2HTML@
>  POD2MAN    := @POD2MAN@
>  RUNTEST    := @RUNTEST@
>
> Modified: llvm/trunk/autoconf/configure.ac
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/autoconf/ 
> configure.ac?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/autoconf/configure.ac (original)
> +++ llvm/trunk/autoconf/configure.ac Thu Sep 20 11:47:41 2007
> @@ -534,6 +534,7 @@
>  AC_PATH_PROG(ZIP,[zip],[echo "Skipped: zip not found"])
>  AC_PATH_PROG(OCAMLC,[ocamlc],[echo "Skipped: ocamlc not found"])
>  AC_PATH_PROG(OCAMLOPT,[ocamlopt],[echo "Skipped: ocamlopt not  
> found"])
> +AC_PATH_PROG(OCAMLDEP,[ocamldep],[echo "Skipped: ocamldep not  
> found"])
>
>  dnl Determine if the linker supports the -R option.
>  AC_LINK_USE_R
>
> Modified: llvm/trunk/bindings/ocaml/Makefile.ocaml
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/ 
> Makefile.ocaml?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/bindings/ocaml/Makefile.ocaml (original)
> +++ llvm/trunk/bindings/ocaml/Makefile.ocaml Thu Sep 20 11:47:41 2007
> @@ -38,7 +38,7 @@
>  endif
>
>  # Tools
> -OCAMLCFLAGS += -I $(OcamlDir)
> +OCAMLCFLAGS += -I $(OcamlDir) -I $(ObjDir)
>  OCAMLAFLAGS += $(patsubst %,-cclib %, \
>                   $(filter-out -L$(LibDir),$(shell $(LLVM_CONFIG) -- 
> ldflags)) \
>  				 $(UsedLibs) -l$(LIBRARYNAME))
> @@ -51,26 +51,26 @@
>  Archive.CMXA := $(strip $(OCAMLOPT) -a $(OCAMLAFLAGS) -o)
>
>  # Source files
> -OcamlSources := $(sort $(wildcard $(PROJ_SRC_DIR)/*.ml))
> -OcamlHeaders := $(OcamlSources:.ml=.mli)
> +OcamlSources1 := $(sort $(wildcard $(PROJ_SRC_DIR)/*.ml))
> +OcamlHeaders1 := $(OcamlSources1:.ml=.mli)
>
> -# Output and intermediate files
> -#   The .cmo files are the only intermediates; all others get  
> installed.
> -BareLibraryA := lib$(LIBRARYNAME).a
> -LibraryA     := $(OcamlDir)/$(BareLibraryA)
> -LibraryCMA   := $(OcamlDir)/$(LIBRARYNAME).cma
> -LibraryCMXA  := $(OcamlDir)/$(LIBRARYNAME).cmxa
> -ObjectsCMI   := $(OcamlSources:$(PROJ_SRC_DIR)/%.ml=$(OcamlDir)/ 
> %.cmi)
> -ObjectsCMO   := $(OcamlSources:$(PROJ_SRC_DIR)/%.ml=$(ObjDir)/%.cmo)
> -ObjectsCMX   := $(OcamlSources:$(PROJ_SRC_DIR)/%.ml=$(OcamlDir)/ 
> %.cmx)
> -
> -# Dependencies
> -#   Punting on ocamldep, since its output is only suitable for  
> builds where
> -#   objects are placed directly adjacent to sources, which is not us.
> -#   Unfortunately, this is subtly incorrect and leads to  
> occasional problems.
> -#   ocamlc/ocamlopt really need an option akin to gcc -M or gcc -MD.
> -$(ObjectsCMO): $(ObjectsCMI) $(UsedOcamLibs:%=$(OcamlDir)/%.cmi)
> -$(ObjectsCMX): $(ObjectsCMI) $(UsedOcamLibs:%=$(OcamlDir)/%.cmi)
> +OcamlSources := $(OcamlSources1:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
> +OcamlHeaders := $(OcamlHeaders1:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
> +
> +# Intermediate files
> +LibraryCMA   := $(ObjDir)/$(LIBRARYNAME).cma
> +LibraryCMXA  := $(ObjDir)/$(LIBRARYNAME).cmxa
> +ObjectsCMI   := $(OcamlSources:%.ml=%.cmi)
> +ObjectsCMO   := $(OcamlSources:%.ml=%.cmo)
> +ObjectsCMX   := $(OcamlSources:%.ml=%.cmx)
> +
> +# Output files
> +#   The .cmo files are the only intermediates; all others are to  
> be installed.
> +LibraryA   := $(OcamlDir)/lib$(LIBRARYNAME).a
> +OutputCMA  := $(LibraryCMA:$(ObjDir)/%.cma=$(OcamlDir)/%.cma)
> +OutputCMXA := $(LibraryCMXA:$(ObjDir)/%.cmxa=$(OcamlDir)/%.cmxa)
> +OutputsCMI := $(ObjectsCMI:$(ObjDir)/%.cmi=$(OcamlDir)/%.cmi)
> +OutputsCMX := $(ObjectsCMX:$(ObjDir)/%.cmx=$(OcamlDir)/%.cmx)
>
>  # Installation targets
>  DestA    := $(PROJ_libocamldir)/lib$(LIBRARYNAME).a
> @@ -78,6 +78,22 @@
>  DestCMXA := $(PROJ_libocamldir)/$(LIBRARYNAME).cmxa
>
>
> +##===- Dependencies  
> -------------------------------------------------------===##
> +# Copy the sources into the intermediate directory because older  
> ocamlc doesn't
> +# support -o except when linking (outputs are placed next to inputs).
> +
> +$(ObjDir)/%.mli: $(PROJ_SRC_DIR)/%.mli $(ObjDir)/.dir
> +	$(Verb) $(CP) -f $< $@
> +
> +$(ObjDir)/%.ml: $(PROJ_SRC_DIR)/%.ml $(ObjDir)/.dir
> +	$(Verb) $(CP) -f $< $@
> +
> +$(ObjDir)/$(LIBRARYNAME).ocamldep: $(OcamlSources) $(OcamlHeaders)
> +	$(Verb) $(OCAMLDEP) $(OCAMLCFLAGS) $(OcamlSources) $(OcamlHeader)  
> > $@
> +
> +-include $(ObjDir)/$(LIBRARYNAME).ocamldep
> +
> +
>  ##===- Build static library from C sources  
> --------------------------------===##
>
>  all-local:: $(LibraryA)
> @@ -112,33 +128,36 @@
>  install-local:: install-cmis
>  uninstall-local:: uninstall-cmis
>
> -build-cmis: $(ObjectsCMI)
> +build-cmis: $(OutputsCMI)
> +
> +$(OcamlDir)/%.cmi: $(ObjDir)/%.cmi $(OcamlDir)/.dir
> +	$(Verb) $(CP) -f $< $@
>
> -$(OcamlDir)/%.cmi: $(PROJ_SRC_DIR)/%.mli $(OcamlDir)/.dir
> +$(ObjDir)/%.cmi: $(ObjDir)/%.mli $(ObjDir)/.dir
>  	$(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
>  	$(Verb) $(Compile.CMI) $@ $<
>
>  clean-cmis::
> -	-$(Verb) $(RM) -f $(ObjectsCMI)
> +	-$(Verb) $(RM) -f $(OutputsCMI)
>
>  # Also install the .mli's (headers) as documentation.
> -install-cmis: $(ObjectsCMI)
> +install-cmis: $(OutputsCMI) $(OcamlHeaders)
>  	$(Verb) $(MKDIR) $(PROJ_libocamldir)
> -	$(Verb) for i in $(patsubst $(OcamlDir)/%,%,$(ObjectsCMI)); do \
> +	$(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
>  	  $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
>  	  $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
>  	done
> -	$(Verb) for i in $(patsubst $(PROJ_SRC_DIR)/%,%,$(OcamlHeaders));  
> do \
> +	$(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
>  	  $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
> -	  $(DataInstall) $(PROJ_SRC_DIR)/$$i "$(PROJ_libocamldir)/$$i"; \
> +	  $(DataInstall) $(ObjDir)/$$i "$(PROJ_libocamldir)/$$i"; \
>  	done
>
>  uninstall-cmis::
> -	$(Verb) for i in $(patsubst $(OcamlDir)/%,%,$(ObjectsCMI)); do \
> +	$(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
>  	  $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
>  	  $(RM) -f "$(PROJ_libocamldir)/$$i"; \
>  	done
> -	$(Verb) for i in $(patsubst $(PROJ_SRC_DIR)/%,%,$(OcamlHeaders));  
> do \
> +	$(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
>  	  $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
>  	  $(RM) -f "$(PROJ_libocamldir)/$$i"; \
>  	done
> @@ -146,11 +165,14 @@
>
>  ##===- Build ocaml bytecode archive (.ml's -> .cmo's -> .cma)  
> -------------===##
>
> -all-local:: $(LibraryCMA)
> +all-local:: $(OutputCMA)
>  clean-local:: clean-cma
>  install-local:: install-cma
>  uninstall-local:: uninstall-cma
>
> +$(OutputCMA): $(LibraryCMA) $(OcamlDir)/.dir
> +	$(Verb) $(CP) -f $< $@
> +
>  $(LibraryCMA): $(ObjectsCMO) $(OcamlDir)/.dir
>  	$(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
>  	$(Verb) $(Archive.CMA) $@ $(ObjectsCMO)
> @@ -158,17 +180,17 @@
>  	  ln -sf "$(LibDir)/$$i" "$(OcamlDir)/$$i"; \
>  	done
>
> -$(ObjDir)/%.cmo: $(PROJ_SRC_DIR)/%.ml $(OcamlDir)/.dir
> +$(ObjDir)/%.cmo: $(ObjDir)/%.ml
>  	$(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
>  	$(Verb) $(Compile.CMO) $@ $<
>
>  clean-cma::
> -	$(Verb) $(RM) -f $(LibraryCMA)
> +	$(Verb) $(RM) -f $(OutputCMA) $(UsedLibNames:%=$(OcamlDir)/%)
>
> -install-cma:: $(LibraryCMA)
> +install-cma:: $(OutputCMA)
>  	$(Echo) "Installing $(BuildMode) $(DestCMA)"
>  	$(Verb) $(MKDIR) $(PROJ_libocamldir)
> -	$(Verb) $(DataInstall) $(LibraryCMA) "$(DestCMA)"
> +	$(Verb) $(DataInstall) $(OutputCMA) "$(DestCMA)"
>  	$(Verb) for i in $(UsedLibNames); do \
>  	  $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
>  	  ln -sf "$(PROJ_libdir)/$$i" "$(PROJ_libocamldir)/$$i"; \
> @@ -189,41 +211,47 @@
>  # If unavailable, 'configure' will not define OCAMLOPT in  
> Makefile.config.
>  ifdef OCAMLOPT
>
> -all-local:: $(LibraryCMXA)
> +all-local:: $(OutputCMXA) $(OutputsCMX)
>  clean-local:: clean-cmxa
>  install-local:: install-cmxa
>  uninstall-local:: uninstall-cmxa
>
> +$(OutputCMXA): $(LibraryCMXA)
> +	$(Verb) $(CP) -f $< $@
> +	$(Verb) $(CP) -f $(<:.cmxa=.a) $(@:.cmxa=.a)
> +
> +$(OcamlDir)/%.cmx: $(ObjDir)/%.cmx
> +	$(Verb) $(CP) -f $< $@
> +
>  $(LibraryCMXA): $(ObjectsCMX)
>  	$(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
>  	$(Verb) $(Archive.CMXA) $@ $(ObjectsCMX)
>  	$(Verb) $(RM) -f $(@:.cmxa=.o)
>
> -$(OcamlDir)/%.cmx: $(PROJ_SRC_DIR)/%.ml
> +$(ObjDir)/%.cmx: $(ObjDir)/%.ml
>  	$(Echo) "Compiling optimized $(notdir $<) for $(BuildMode) build"
>  	$(Verb) $(Compile.CMX) $@ $<
>
>  clean-cmxa::
> -	$(Verb) $(RM) -f $(LibraryCMXA) $(LibraryCMXA:.cmxa=.o) \
> -	  $(LibraryCMXA:.cmxa=.a) $(ObjectsCMX)
> +	$(Verb) $(RM) -f $(OutputCMXA) $(OutputCMXA:.cmxa=.o) $(OutputsCMX)
>
> -install-cmxa:: $(LibraryCMXA)
> +install-cmxa:: $(OutputCMXA) $(OutputsCMX)
>  	$(Verb) $(MKDIR) $(PROJ_libocamldir)
>  	$(Echo) "Installing $(BuildMode) $(DestCMXA)"
> -	$(Verb) $(DataInstall) $(LibraryCMXA) $(DestCMXA)
> +	$(Verb) $(DataInstall) $(OutputCMXA) $(DestCMXA)
>  	$(Echo) "Installing $(BuildMode) $(DestCMXA:.cmxa=.a)"
> -	$(Verb) $(DataInstall) $(LibraryCMXA:.cmxa=.a) $(DestCMXA:.cmxa=.a)
> -	$(Verb) for i in $(ObjectsCMX:$(OcamlDir)/%=%); do \
> +	$(Verb) $(DataInstall) $(OutputCMXA:.cmxa=.a) $(DestCMXA:.cmxa=.a)
> +	$(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
>  	  $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
>  	  $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
>  	done
>
> -uninstall-cmxa:: $(LibraryCMXA)
> +uninstall-cmxa::
>  	$(Echo) "Uninstalling $(DestCMXA)"
>  	$(Verb) $(RM) -f $(DestCMXA)
>  	$(Echo) "Uninstalling $(DestCMXA:.cmxa=.a)"
>  	$(Verb) $(RM) -f $(DestCMXA:.cmxa=.a)
> -	$(Verb) for i in $(ObjectsCMX:$(OcamlDir)/%=%); do \
> +	$(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
>  	  $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
>  	  $(RM) -f $(PROJ_libocamldir)/$$i; \
>  	done
> @@ -240,6 +268,7 @@
>  	$(Echo) "OCAMLAFLAGS  : " '$(OCAMLAFLAGS)'
>  	$(Echo) "OCAMLC       : " '$(OCAMLC)'
>  	$(Echo) "OCAMLOPT     : " '$(OCAMLOPT)'
> +	$(Echo) "OCAMLDEP     : " '$(OCAMLDEP)'
>  	$(Echo) "Compile.CMI  : " '$(Compile.CMI)'
>  	$(Echo) "Compile.CMO  : " '$(Compile.CMO)'
>  	$(Echo) "Archive.CMA  : " '$(Archive.CMA)'
> @@ -248,7 +277,9 @@
>  	$(Echo) "CAML_LIBDIR  : " '$(CAML_LIBDIR)'
>  	$(Echo) "LibraryCMA   : " '$(LibraryCMA)'
>  	$(Echo) "LibraryCMXA  : " '$(LibraryCMXA)'
> +	$(Echo) "OcamlSources1: " '$(OcamlSources1)'
>  	$(Echo) "OcamlSources : " '$(OcamlSources)'
> +	$(Echo) "OcamlHeaders : " '$(OcamlHeaders)'
>  	$(Echo) "ObjectsCMI   : " '$(ObjectsCMI)'
>  	$(Echo) "ObjectsCMO   : " '$(ObjectsCMO)'
>  	$(Echo) "ObjectsCMX   : " '$(ObjectsCMX)'
>
> Propchange: llvm/trunk/bindings/ocaml/bitwriter/
>
> ---------------------------------------------------------------------- 
> --------
> --- svn:ignore (added)
> +++ svn:ignore Thu Sep 20 11:47:41 2007
> @@ -0,0 +1,2 @@
> +Debug
> +Release
>
> Modified: llvm/trunk/bindings/ocaml/bitwriter/bitwriter_ocaml.c
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/ 
> bitwriter/bitwriter_ocaml.c?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/bindings/ocaml/bitwriter/bitwriter_ocaml.c (original)
> +++ llvm/trunk/bindings/ocaml/bitwriter/bitwriter_ocaml.c Thu Sep  
> 20 11:47:41 2007
> @@ -25,7 +25,6 @@
>
>  /* Llvm.llmodule -> string -> bool */
>  CAMLprim value llvm_write_bitcode_file(value M, value Path) {
> -  CAMLparam1(Path);
>    int res = LLVMWriteBitcodeToFile((LLVMModuleRef) M, String_val 
> (Path));
> -  CAMLreturn(Val_bool(res == 0));
> +  return Val_bool(res == 0);
>  }
>
> Propchange: llvm/trunk/bindings/ocaml/llvm/
>
> ---------------------------------------------------------------------- 
> --------
> --- svn:ignore (added)
> +++ svn:ignore Thu Sep 20 11:47:41 2007
> @@ -0,0 +1,2 @@
> +Debug
> +Release
>
> Modified: llvm/trunk/bindings/ocaml/llvm/llvm_ocaml.c
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/ 
> llvm/llvm_ocaml.c?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/bindings/ocaml/llvm/llvm_ocaml.c (original)
> +++ llvm/trunk/bindings/ocaml/llvm/llvm_ocaml.c Thu Sep 20 11:47:41  
> 2007
> @@ -134,7 +134,7 @@
>
>    /* copy into an ocaml array */
>    unsigned i;
> -  value ParamTys = caml_alloc(Count, 0);
> +  value ParamTys = alloc(Count, 0);
>
>    LLVMGetFunctionParamTypes((LLVMTypeRef) FunTy, FunTys);
>    for (i = 0; i != Count; ++i)
> @@ -159,7 +159,7 @@
>
>    /* copy into an ocaml array */
>    unsigned i;
> -  value ElementTys = caml_alloc(Count, 0);
> +  value ElementTys = alloc(Count, 0);
>
>    LLVMGetStructElementTypes((LLVMTypeRef) StructTy, Tys);
>    for (i = 0; i != Count; ++i)
> @@ -225,7 +225,7 @@
>
>  /* llvalue -> string */
>  CAMLprim value llvm_value_name(value Val) {
> -  return caml_copy_string(LLVMGetValueName((LLVMValueRef) Val));
> +  return copy_string(LLVMGetValueName((LLVMValueRef) Val));
>  }
>
>  /* string -> llvalue -> unit */
> @@ -296,7 +296,7 @@
>  /* string -> bool -> llvalue */
>  CAMLprim value llvm_make_string_constant(value Str, value  
> NullTerminate) {
>    return (value) LLVMGetStringConstant(String_val(Str),
> -                                       caml_string_length(Str),
> +                                       string_length(Str),
>                                         Bool_val(NullTerminate) == 0);
>  }
>
> @@ -340,7 +340,7 @@
>
>  /* llvalue -> string */
>  CAMLprim value llvm_section(value Global) {
> -  return caml_copy_string(LLVMGetSection((LLVMValueRef) Global));
> +  return copy_string(LLVMGetSection((LLVMValueRef) Global));
>  }
>
>  /* string -> llvalue -> unit */
>
> Propchange: llvm/trunk/test/Bindings/
>
> ---------------------------------------------------------------------- 
> --------
> --- svn:ignore (added)
> +++ svn:ignore Thu Sep 20 11:47:41 2007
> @@ -0,0 +1,2 @@
> +*.log
> +*.sum
>
> Modified: llvm/trunk/test/Bindings/Ocaml/vmcore.ml
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Bindings/ 
> Ocaml/vmcore.ml?rev=42163&r1=42162&r2=42163&view=diff
>
> ====================================================================== 
> ========
> --- llvm/trunk/test/Bindings/Ocaml/vmcore.ml (original)
> +++ llvm/trunk/test/Bindings/Ocaml/vmcore.ml Thu Sep 20 11:47:41 2007
> @@ -155,14 +155,17 @@
>    (* RUN: grep {Const04.*"cruel\\\\00world"} < %t.ll
>     *)
>    group "string";
> -  let c = make_string_constant "cruel\x00world" false in
> +  let c = make_string_constant "cruel\000world" false in
>    ignore (define_global "Const04" c m);
>    insist ((make_array_type i8_type 11) = type_of c);
>
>    (* RUN: grep {Const05.*"hi\\\\00again\\\\00"} < %t.ll
>     *)
>    group "string w/ null";
> -  let c = make_string_constant "hi\x00again" true in
> +  let c = make_string_constant "hi\000again" true in
> +  prerr_string "====> ";
> +  prerr_int (array_length (type_of c));
> +  prerr_endline " <====";
>    ignore (define_global "Const05" c m);
>    insist ((make_array_type i8_type 9) = type_of c);
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits


— Gordon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20070920/c1672d56/attachment.html>


More information about the llvm-commits mailing list