$thunkBuilder finalize
	    }

	    timeit dump-pre {
		# Save the current IR
		variable dumpPre [$module dump]
		variable bitcodePre [$module bitcode]






	    }

	    # Check that what we have is actually correct!
	    $module verify
	    if {$debug} {
		parray ::useCount
	    }
	    set bitcodeFinal [$module bitcode]
	    set f_ [open test.bc wb]
	    puts -nonewline $f_ $bitcodeFinal
	    close $f_
	    set dumpFinal [$module dump]
	    set f_ [open test.ll w]
	    puts $f_ $dumpFinal
	    close $f_

	    timeit optimize {
		# Run the LLVM IR optimizer. The configuration of this is in
		# llvmtcl and is due to Jos Decoster.
		$module optimize $optimiseLevel
	    }

    #	None.
    #
    # Results:
    #	None.

    method FinalizeDebuggingMetadata {} {
	if {[info exist dbbuild]} {

	    try {
		my debug destroy
	    } on error msg {
		puts ERROR:$msg
	    }
	    oo::objdefine [self] deletemethod debug
	    unset -nocomplain dbbuild

	    # entry point.
	    set cur [$BuildSupportBuilder @cur]
	    $BuildSupportBuilder @end $entry

	    # Insert the line number tracking
	    set script [$BuildSupportBuilder AddLineDirectives $linenumber $filename $script]

            set startBlock {set @phis@ {};}
	    set endBlock {;FixupPhis}     
	    # Construct the wrapping lambda term.
	    set initvars {upvar 1}
	    foreach v [uplevel 1 {info vars}] {
		lappend initvars $v $v
	    }
	    append initvars ";"
	    foreach name $blockNames block $blocks {
		append initvars [list set $name $block] ";"
	    }
	    set lambda [list {} $startBlock$initvars$script$endBlock \
			    [uplevel 1 namespace current]]

	    # Run the script. This will pick up the caller's current variables
	    # yet limit the variables inside the script to just the script.
	    try {
		uplevel 1 [list apply $lambda]
	    } on error {a opt} {
		# Strip the parts of the stack trace that are confusing bits

	    $func verify
	    $BuildSupportBuilder @end $cur
	    uplevel 1 [list unset {*}$params]
	    unset params
	    }
	    return
	}

	# PHI --
	#
	#	Generate a phi node with automatic fixup at the end of a
	#	'build' sequence
	#
	# Parameters:
	#	type    - Data type of the result. All the inputs must have
	#		  exactly this type.
	#	sources - Basic blocks from which the data sources to the
	#	          phi operation come
	#	values  - Values to feed into the phi from the corresponding
	#	          data sources
	#	name (Optional) - A name to give to the result
	#
	# Results:
	#	Returns a reference to the phi node
	#
	# Side effects:
	#	Stores data regarding the fixup in the variable '@phis@'
	#	in the caller

	proc PHI {type sources values {name {}}} {
	    upvar 1 @phis@ phis
	    set phi [uplevel 1 [list my phiStub $type $name]]
	    lappend phis $phi $sources $values
	    return $phi
	}

	# FixupPhis --
	#
	#	Backpatch the phi operations generated by PHI to have their
	#	correct sources and values.
	#
	# Results:
	#	None.
	#
	# Side effects:
	#	Performs the backpatching using the information in the
	#	variable '@phis@' in the caller's frame

	proc FixupPhis {} {
	    upvar 1 @phis@ phis
	    foreach {phi sources values} $phis {
		set sources \
		    [uplevel 1 [list subst -nobackslashes -nocommands $sources]]
		set values \
		    [uplevel 1 [list subst -nobackslashes -nocommands $values]]
		if {[llength $sources] != [llength $values]} {
		    return -code error "Expected [llength $sources] values,\
                                        but found [llength $values] in\
                                        [PrintValueToString $phi]"
		}
		foreach s $sources v $values {
		    if {[TypeOf $v] ne [TypeOf $phi]} {
			return -code error \
			    "Expected a value of type\
                             [PrintTypeToString [TypeOf $phi]]\
                             for [PrintValueTosString $phi] but found\
                             [PrintTypeToString [TypeOf $v]]"
		    }
		    set label [uplevel 1 [list my LABEL $source]]
		    AddIncoming $phi $value $label
		}
	    }
	}
    }
}

# Class LLVMBuilder --
#
#	This class handles actual LLVM instruction issuing. It consists of
#	wrappers for the calls into the llvmtcl code. The wrappers try to

    calltest3
    # Callframe tests
    callframe::test1
    callframe::test2
    callframe::test3
    callframe::test4
    # The interprocedural tests
    mrtest::*
    coscaller1
    coscaller2
    xsum xsum2
    # Namespace tests
    nstestaux::pts
    nstest::nstest0
    nstest::nstest1

    expandtest::test10
    expandtest::test11
    expandtest::test12

    # Combined feature tests
    lcmRange
    bug-0616bcf08e::*
    rectest1
    qsort
    impure
    impure-caller
    impure-typecheck-int
    impure2
    comps
    bug-7c599d4029::*
    singleton::*