(view as text)
starting svn operation
/usr/bin/svn update --non-interactive --no-auth-cache --revision 146178
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm (timeout 1200 secs)
 watching logfiles {}
 argv: ['/usr/bin/svn', 'update', '--non-interactive', '--no-auth-cache', '--revision', '146178']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  LESSCLOSE=/usr/bin/lesspipe %s %s
  LESSOPEN=| /usr/bin/lesspipe %s
  LOGNAME=klee-buildslave
  LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
  MAIL=/var/mail/klee-buildslave
  OLDPWD=/home/klee-buildslave
  PATH=/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
  PS1=(venv)${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ 
  PWD=/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm
  SHELL=/bin/bash
  SHLVL=3
  SSH_CLIENT=99.119.67.25 62653 22
  SSH_CONNECTION=99.119.67.25 62653 74.208.166.209 22
  SSH_TTY=/dev/pts/1
  TERM=xterm-color
  USER=klee-buildslave
  VIRTUAL_ENV=/home/klee-buildslave/venv
  _=/home/klee-buildslave/venv/bin/buildslave
 closing stdin
 using PTY: False
U    test/Analysis/ScalarEvolution/nsw.ll
A    test/Feature/const_pv.ll
A    test/Feature/global_pv.ll
U    test/Transforms/ConstProp/calls.ll
U    test/Transforms/MemCpyOpt/form-memset.ll
A    test/Transforms/LoopStrengthReduce/2011-11-29-postincphi.ll
A    test/Transforms/LoopStrengthReduce/2011-12-04-loserreg.ll
A    test/Transforms/InstSimplify/vector_gep.ll
U    test/Transforms/DeadStoreElimination/OverwriteStoreEnd.ll
A    test/Transforms/InstCombine/fold-sqrt-sqrtf.ll
U    test/Transforms/InstCombine/icmp.ll
U    test/Transforms/InstCombine/align-external.ll
A    test/Transforms/InstCombine/vector_gep1.ll
D    test/MC/ARM/nop-thumb2-padding.s
D    test/MC/ARM/darwin-Thumb-reloc.s
D    test/MC/ARM/darwin-ARM-reloc.s
D    test/MC/ARM/nop-thumb-padding.s
D    test/MC/ARM/nop-armv4-padding.s
D    test/MC/ARM/thumb2-movt-fixup.s
D    test/MC/ARM/nop-armv6t2-padding.s
U    test/MC/ARM/neon-mul-encoding.s
U    test/MC/ARM/neon-bitwise-encoding.s
U    test/MC/ARM/neon-vld-encoding.s
U    test/MC/ARM/mode-switch.s
U    test/MC/ARM/neon-vst-encoding.s
U    test/MC/ARM/neon-shift-encoding.s
U    test/MC/ARM/neon-cmp-encoding.s
U    test/MC/ARM/basic-thumb2-instructions.s
U    test/MC/ARM/neon-add-encoding.s
U    test/MC/ARM/neon-shuffle-encoding.s
U    test/MC/ARM/basic-arm-instructions.s
U    test/MC/X86/x86_64-fma4-encoding.s
U    test/MC/MachO/reloc-pcrel-offset.s
U    test/MC/MachO/reloc-pcrel.s
A    test/MC/MachO/ARM
A    test/MC/MachO/ARM/nop-armv6t2-padding.s
A    test/MC/MachO/ARM/nop-thumb2-padding.s
A    test/MC/MachO/ARM/darwin-ARM-reloc.s
A    test/MC/MachO/ARM/darwin-Thumb-reloc.s
A    test/MC/MachO/ARM/dg.exp
A    test/MC/MachO/ARM/nop-armv4-padding.s
A    test/MC/MachO/ARM/nop-thumb-padding.s
A    test/MC/MachO/ARM/relax-thumb2-branches.s
A    test/MC/MachO/ARM/thumb2-movt-fixup.s
A    test/MC/COFF/symbol-mangling.ll
A    test/CodeGen/ARM/fast-isel-deadcode.ll
U    test/CodeGen/ARM/neon_ld1.ll
A    test/CodeGen/ARM/ctor_order.ll
U    test/CodeGen/ARM/neon_ld2.ll
U    test/CodeGen/ARM/fast-isel-call.ll
U    test/CodeGen/ARM/2011-06-29-MergeGlobalsAlign.ll
U    test/CodeGen/ARM/globals.ll
U    test/CodeGen/ARM/global-merge.ll
A    test/CodeGen/ARM/2011-11-30-MergeAlignment.ll
U    test/CodeGen/ARM/2011-01-19-MergedGlobalDbg.ll
U    test/CodeGen/ARM/fast-isel.ll
A    test/CodeGen/PowerPC/2011-12-05-NoSpillDupCR.ll
U    test/CodeGen/PowerPC/Frames-large.ll
U    test/CodeGen/PowerPC/ppc32-vaarg.ll
U    test/CodeGen/PowerPC/2008-03-05-RegScavengerAssert.ll
U    test/CodeGen/PowerPC/2008-03-18-RegScavengerAssert.ll
U    test/CodeGen/PowerPC/2010-02-12-saveCR.ll
A    test/CodeGen/PowerPC/2011-12-06-SpillAndRestoreCR.ll
U    test/CodeGen/PowerPC/big-endian-formal-args.ll
U    test/CodeGen/PowerPC/Frames-alloca.ll
U    test/CodeGen/PowerPC/indirectbr.ll
U    test/CodeGen/PowerPC/2008-03-17-RegScavengerCrash.ll
U    test/CodeGen/Thumb2/thumb2-cbnz.ll
U    test/CodeGen/X86/sse-domains.ll
U    test/CodeGen/X86/avx2-vperm2i128.ll
U    test/CodeGen/X86/prefetch.ll
U    test/CodeGen/X86/avx-vperm2f128.ll
U    test/CodeGen/X86/fast-isel-x86-64.ll
U    test/CodeGen/X86/avx-intrinsics-x86.ll
A    test/CodeGen/X86/2011-12-06-AVXVectorExtractCombine.ll
A    test/CodeGen/X86/avx-varargs-x86_64.ll
A    test/CodeGen/X86/2011-11-30-or.ll
U    test/CodeGen/X86/avx-cast.ll
U    test/CodeGen/X86/sse-minmax.ll
U    test/CodeGen/X86/avx-splat.ll
A    test/CodeGen/X86/avx2-phaddsub.ll
U    test/CodeGen/X86/vec_shuffle-38.ll
U    test/CodeGen/X86/avx2-intrinsics-x86.ll
A    test/CodeGen/X86/pointer-vector.ll
A    test/CodeGen/X86/2011-12-06-BitcastVectorGlobal.ll
U    test/CodeGen/X86/haddsub.ll
U    test/CodeGen/X86/vec_compare-2.ll
U    test/CodeGen/X86/peep-vector-extract-insert.ll
U    test/CodeGen/X86/avx-vshufp.ll
A    test/CodeGen/X86/vector-gep.ll
U    test/CodeGen/X86/avx-vpermil.ll
U    test/CodeGen/X86/widen_arith-3.ll
A    test/CodeGen/X86/2011-12-8-bitcastintprom.ll
U    test/CodeGen/X86/inline-asm-q-regs.ll
U    test/CodeGen/X86/avx-arith.ll
U    test/CodeGen/X86/bc-extract.ll
U    test/CodeGen/X86/2008-08-25-AsmRegTypeMismatch.ll
U    test/CodeGen/X86/fma4-intrinsics-x86_64.ll
U    test/CodeGen/X86/zero-remat.ll
U    test/CodeGen/X86/segmented-stacks.ll
A    test/CodeGen/Mips/mips64extins.ll
U    test/CodeGen/Mips/2008-08-04-Bitconvert.ll
U    test/CodeGen/Mips/2008-07-22-Cstpool.ll
U    test/CodeGen/Mips/mips64intldst.ll
U    test/CodeGen/Mips/rotate.ll
U    test/CodeGen/Mips/mips64fpldst.ll
U    test/CodeGen/Mips/fcopysign.ll
U    test/CodeGen/Mips/2008-07-07-Float2Int.ll
U    test/CodeGen/Mips/2008-07-03-SRet.ll
A    test/CodeGen/Mips/mips64imm.ll
A    test/CodeGen/Mips/mips64muldiv.ll
U    test/CodeGen/Mips/cmov.ll
U    test/CodeGen/Mips/2008-08-01-AsmInline.ll
U    test/CodeGen/Mips/private.ll
U    test/CodeGen/Mips/extins.ll
U    test/CodeGen/Mips/2008-06-05-Carry.ll
U    test/CodeGen/Mips/2008-08-08-ctlz.ll
U    test/CodeGen/Mips/2010-07-20-Switch.ll
U    test/CodeGen/Mips/mips64instrs.ll
U    test/CodeGen/Mips/2008-08-06-Alloca.ll
A    test/CodeGen/Mips/mips64ext.ll
U    test/CodeGen/Mips/largeimmprinting.ll
A    test/CodeGen/SPARC/2011-12-03-TailDuplication.ll
U    test/CodeGen/PTX/parameter-order.ll
U    test/CodeGen/PTX/mov.ll
U    test/Object/nm-trivial-object.test
U    test/Object/objdump-symbol-table.test
U    cmake/modules/AddLLVM.cmake
U    configure
U    include/llvm/Analysis/InstructionSimplify.h
U    include/llvm/Analysis/Dominators.h
U    include/llvm/Analysis/LazyValueInfo.h
U    include/llvm/Analysis/ConstantFolding.h
U    include/llvm/Analysis/ScalarEvolutionExpander.h
U    include/llvm/Analysis/ScalarEvolution.h
U    include/llvm/Analysis/DominatorInternals.h
U    include/llvm/Analysis/PHITransAddr.h
U    include/llvm/Target/TargetLowering.h
U    include/llvm/Target/TargetOptions.h
U    include/llvm/Target/TargetOpcodes.h
U    include/llvm/Target/Target.td
U    include/llvm/Target/TargetMachine.h
U    include/llvm/Target/TargetLibraryInfo.h
U    include/llvm/ExecutionEngine/ExecutionEngine.h
U    include/llvm/PassSupport.h
U    include/llvm/Object/COFF.h
U    include/llvm/Object/ObjectFile.h
U    include/llvm/Object/MachO.h
U    include/llvm/ADT/Statistic.h
U    include/llvm/ADT/GraphTraits.h
U    include/llvm/ADT/TinyPtrVector.h
U    include/llvm/ADT/DAGDeltaAlgorithm.h
U    include/llvm/Operator.h
U    include/llvm/Instructions.h
U    include/llvm/LinkAllPasses.h
U    include/llvm/DerivedTypes.h
U    include/llvm/Transforms/IPO/PassManagerBuilder.h
U    include/llvm/Transforms/Instrumentation.h
U    include/llvm/MC/MCAssembler.h
U    include/llvm/MC/MCExpr.h
U    include/llvm/MC/MCObjectFileInfo.h
U    include/llvm/MC/MCAsmBackend.h
U    include/llvm/MC/MCStreamer.h
U    include/llvm/MC/MCAsmInfoCOFF.h
U    include/llvm/MC/MCAsmInfo.h
U    include/llvm/MC/MCInstrDesc.h
U    include/llvm/IntrinsicsX86.td
U    include/llvm/InitializePasses.h
U    include/llvm/Instruction.h
U    include/llvm/Type.h
U    include/llvm/Bitcode/LLVMBitCodes.h
U    include/llvm/InstrTypes.h
U    include/llvm/Support/CFG.h
U    include/llvm/Support/ELF.h
U    include/llvm/Support/CommandLine.h
U    include/llvm/Support/TargetRegistry.h
U    include/llvm/CodeGen/MachineOperand.h
U    include/llvm/CodeGen/MachineBasicBlock.h
U    include/llvm/CodeGen/FastISel.h
U    include/llvm/CodeGen/MachineFunction.h
U    include/llvm/CodeGen/Analysis.h
U    include/llvm/CodeGen/MachineInstr.h
A    include/llvm/CodeGen/DFAPacketizer.h
U    include/llvm/User.h
U    include/llvm-c/Object.h
U    docs/WritingAnLLVMPass.html
U    docs/ReleaseNotes.html
U    docs/TestingGuide.html
U    docs/LangRef.html
U    docs/CodeGenerator.html
U    docs/SegmentedStacks.html
A    utils/TableGen/DFAPacketizerEmitter.cpp
U    utils/TableGen/CodeGenTarget.cpp
A    utils/TableGen/DFAPacketizerEmitter.h
U    utils/TableGen/AsmMatcherEmitter.cpp
U    utils/TableGen/TableGen.cpp
U    utils/TableGen/EDEmitter.cpp
U    utils/TableGen/SubtargetEmitter.cpp
U    utils/TableGen/CMakeLists.txt
U    utils/unittest/CMakeLists.txt
U    utils/lit/lit/TestRunner.py
U    utils/buildit/GNUmakefile
U    utils/llvm-build/llvmbuild/main.py
U    tools/lto/LTOCodeGenerator.cpp
U    tools/lto/LTOModule.cpp
U    tools/opt/opt.cpp
U    tools/llvm-objdump/llvm-objdump.cpp
U    tools/llvm-objdump/MachODump.cpp
U    tools/CMakeLists.txt
U    tools/Makefile
U    tools/llvm-nm/llvm-nm.cpp
U    tools/llvm-bcanalyzer/llvm-bcanalyzer.cpp
U    tools/llvm-mc/llvm-mc.cpp
U    tools/llc/llc.cpp
D    tools/llvm-config-2/BuildVariables.inc.in
D    tools/llvm-config-2/CMakeLists.txt
D    tools/llvm-config-2/Makefile
D    tools/llvm-config-2/llvm-config.cpp
D    tools/llvm-config/llvm-config.in.in
D    tools/llvm-config/find-cycles.pl
A    tools/llvm-config/BuildVariables.inc.in
U    tools/llvm-config/CMakeLists.txt
U    tools/llvm-config/Makefile
A    tools/llvm-config/llvm-config.cpp
U    unittests/ExecutionEngine/ExecutionEngineTest.cpp
U    unittests/VMCore/InstructionsTest.cpp
U    Makefile.rules
U    lib/Archive/CMakeLists.txt
U    lib/TableGen/TGParser.cpp
U    lib/TableGen/CMakeLists.txt
U    lib/Analysis/ScalarEvolutionExpander.cpp
U    lib/Analysis/Lint.cpp
U    lib/Analysis/ScalarEvolution.cpp
U    lib/Analysis/PHITransAddr.cpp
U    lib/Analysis/IPA/CMakeLists.txt
U    lib/Analysis/CMakeLists.txt
U    lib/Analysis/InstructionSimplify.cpp
U    lib/Analysis/ValueTracking.cpp
U    lib/Analysis/LazyValueInfo.cpp
U    lib/Analysis/ConstantFolding.cpp
U    lib/Linker/CMakeLists.txt
U    lib/Target/ARM/ARMHazardRecognizer.cpp
U    lib/Target/ARM/ARMFrameLowering.cpp
U    lib/Target/ARM/ARMInstrNEON.td
U    lib/Target/ARM/ARMTargetMachine.cpp
U    lib/Target/ARM/AsmParser/CMakeLists.txt
U    lib/Target/ARM/AsmParser/ARMAsmParser.cpp
U    lib/Target/ARM/Thumb1RegisterInfo.cpp
U    lib/Target/ARM/InstPrinter/ARMInstPrinter.cpp
U    lib/Target/ARM/InstPrinter/ARMInstPrinter.h
U    lib/Target/ARM/InstPrinter/CMakeLists.txt
U    lib/Target/ARM/ARMInstrVFP.td
U    lib/Target/ARM/ARMInstrInfo.td
U    lib/Target/ARM/ARMISelLowering.cpp
U    lib/Target/ARM/ARMCodeEmitter.cpp
U    lib/Target/ARM/Thumb2SizeReduction.cpp
U    lib/Target/ARM/MLxExpansionPass.cpp
U    lib/Target/ARM/ARMTargetObjectFile.cpp
U    lib/Target/ARM/TargetInfo/CMakeLists.txt
U    lib/Target/ARM/ARMISelDAGToDAG.cpp
U    lib/Target/ARM/ARMBaseRegisterInfo.cpp
U    lib/Target/ARM/ARMLoadStoreOptimizer.cpp
U    lib/Target/ARM/ARMBaseInstrInfo.cpp
U    lib/Target/ARM/ARMInstrThumb2.td
U    lib/Target/ARM/ARMInstrFormats.td
U    lib/Target/ARM/MCTargetDesc/ARMMCCodeEmitter.cpp
U    lib/Target/ARM/MCTargetDesc/ARMAsmBackend.cpp
U    lib/Target/ARM/MCTargetDesc/ARMMachObjectWriter.cpp
U    lib/Target/ARM/MCTargetDesc/CMakeLists.txt
U    lib/Target/ARM/CMakeLists.txt
U    lib/Target/ARM/Disassembler/CMakeLists.txt
U    lib/Target/ARM/Disassembler/ARMDisassembler.cpp
U    lib/Target/ARM/Thumb2ITBlockPass.cpp
U    lib/Target/ARM/ARMHazardRecognizer.h
U    lib/Target/ARM/ARMFastISel.cpp
U    lib/Target/ARM/ARMConstantIslandPass.cpp
U    lib/Target/ARM/ARMTargetMachine.h
U    lib/Target/ARM/ARMExpandPseudoInsts.cpp
U    lib/Target/ARM/ARMAsmPrinter.cpp
U    lib/Target/PowerPC/PPCCodeEmitter.cpp
U    lib/Target/PowerPC/PPCRegisterInfo.h
U    lib/Target/PowerPC/PPCSubtarget.h
U    lib/Target/PowerPC/PPCTargetMachine.h
U    lib/Target/PowerPC/PPCInstrInfo.h
U    lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp
U    lib/Target/PowerPC/MCTargetDesc/CMakeLists.txt
U    lib/Target/PowerPC/PPCHazardRecognizers.cpp
U    lib/Target/PowerPC/CMakeLists.txt
U    lib/Target/PowerPC/InstPrinter/CMakeLists.txt
U    lib/Target/PowerPC/PPCInstr64Bit.td
U    lib/Target/PowerPC/PPCSubtarget.cpp
U    lib/Target/PowerPC/PPCInstrInfo.td
U    lib/Target/PowerPC/PPCRegisterInfo.cpp
U    lib/Target/PowerPC/PPCFrameLowering.cpp
U    lib/Target/PowerPC/PPCISelLowering.cpp
U    lib/Target/PowerPC/PPCInstrInfo.cpp
U    lib/Target/PowerPC/PPCTargetMachine.cpp
U    lib/Target/PowerPC/TargetInfo/CMakeLists.txt
U    lib/Target/PowerPC/PPCAsmPrinter.cpp
U    lib/Target/PowerPC/PPCISelDAGToDAG.cpp
U    lib/Target/PowerPC/PPCHazardRecognizers.h
U    lib/Target/XCore/XCoreFrameLowering.cpp
U    lib/Target/XCore/XCoreTargetMachine.cpp
U    lib/Target/XCore/TargetInfo/CMakeLists.txt
U    lib/Target/XCore/XCoreTargetMachine.h
U    lib/Target/XCore/MCTargetDesc/CMakeLists.txt
U    lib/Target/XCore/CMakeLists.txt
U    lib/Target/X86/X86InstrInfo.td
U    lib/Target/X86/X86ISelLowering.cpp
U    lib/Target/X86/X86.td
U    lib/Target/X86/AsmParser/CMakeLists.txt
U    lib/Target/X86/X86InstrFMA.td
U    lib/Target/X86/X86TargetMachine.h
U    lib/Target/X86/X86CallingConv.td
U    lib/Target/X86/InstPrinter/X86InstComments.cpp
U    lib/Target/X86/InstPrinter/CMakeLists.txt
U    lib/Target/X86/X86Subtarget.cpp
U    lib/Target/X86/X86FrameLowering.cpp
U    lib/Target/X86/X86JITInfo.cpp
U    lib/Target/X86/X86InstrFragmentsSIMD.td
U    lib/Target/X86/X86InstrInfo.cpp
U    lib/Target/X86/TargetInfo/CMakeLists.txt
U    lib/Target/X86/X86TargetMachine.cpp
U    lib/Target/X86/X86InstrSSE.td
U    lib/Target/X86/X86RegisterInfo.cpp
U    lib/Target/X86/X86CodeEmitter.cpp
U    lib/Target/X86/X86Subtarget.h
U    lib/Target/X86/X86MCInstLower.cpp
U    lib/Target/X86/Utils/X86ShuffleDecode.cpp
U    lib/Target/X86/Utils/X86ShuffleDecode.h
U    lib/Target/X86/Utils/CMakeLists.txt
U    lib/Target/X86/X86FastISel.cpp
U    lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
U    lib/Target/X86/MCTargetDesc/X86MCAsmInfo.cpp
U    lib/Target/X86/MCTargetDesc/X86MCAsmInfo.h
U    lib/Target/X86/MCTargetDesc/X86MCCodeEmitter.cpp
U    lib/Target/X86/MCTargetDesc/X86MCTargetDesc.cpp
U    lib/Target/X86/MCTargetDesc/CMakeLists.txt
U    lib/Target/X86/X86VZeroUpper.cpp
U    lib/Target/X86/CMakeLists.txt
U    lib/Target/X86/Disassembler/CMakeLists.txt
U    lib/Target/X86/X86ISelLowering.h
U    lib/Target/X86/X86InstrFormats.td
U    lib/Target/MSP430/MSP430FrameLowering.cpp
U    lib/Target/MSP430/MSP430TargetMachine.cpp
U    lib/Target/MSP430/MSP430InstrInfo.cpp
U    lib/Target/MSP430/MCTargetDesc/CMakeLists.txt
U    lib/Target/MSP430/CMakeLists.txt
U    lib/Target/MSP430/InstPrinter/CMakeLists.txt
U    lib/Target/MSP430/TargetInfo/CMakeLists.txt
U    lib/Target/MSP430/MSP430TargetMachine.h
U    lib/Target/CBackend/TargetInfo/CMakeLists.txt
U    lib/Target/CBackend/CTargetMachine.h
U    lib/Target/CBackend/CMakeLists.txt
U    lib/Target/CppBackend/TargetInfo/CMakeLists.txt
U    lib/Target/CppBackend/CPPTargetMachine.h
U    lib/Target/CppBackend/CMakeLists.txt
U    lib/Target/TargetMachine.cpp
U    lib/Target/TargetInstrInfo.cpp
U    lib/Target/TargetLoweringObjectFile.cpp
U    lib/Target/CellSPU/SPUTargetMachine.h
U    lib/Target/CellSPU/MCTargetDesc/CMakeLists.txt
U    lib/Target/CellSPU/SPUFrameLowering.cpp
U    lib/Target/CellSPU/CMakeLists.txt
U    lib/Target/CellSPU/SPUTargetMachine.cpp
U    lib/Target/CellSPU/TargetInfo/CMakeLists.txt
U    lib/Target/Sparc/DelaySlotFiller.cpp
U    lib/Target/Sparc/SparcTargetMachine.cpp
U    lib/Target/Sparc/SparcInstrInfo.cpp
U    lib/Target/Sparc/SparcTargetMachine.h
U    lib/Target/Sparc/SparcAsmPrinter.cpp
U    lib/Target/Sparc/TargetInfo/CMakeLists.txt
U    lib/Target/Sparc/MCTargetDesc/CMakeLists.txt
U    lib/Target/Sparc/CMakeLists.txt
U    lib/Target/Mips/MipsInstrInfo.cpp
U    lib/Target/Mips/MipsTargetMachine.cpp
U    lib/Target/Mips/MipsInstrFormats.td
U    lib/Target/Mips/MipsAsmPrinter.cpp
U    lib/Target/Mips/MipsRegisterInfo.td
U    lib/Target/Mips/MipsISelDAGToDAG.cpp
U    lib/Target/Mips/MCTargetDesc/MipsAsmBackend.cpp
U    lib/Target/Mips/MCTargetDesc/MipsFixupKinds.h
U    lib/Target/Mips/MCTargetDesc/MipsBaseInfo.h
U    lib/Target/Mips/MCTargetDesc/CMakeLists.txt
U    lib/Target/Mips/MCTargetDesc/MipsMCCodeEmitter.cpp
U    lib/Target/Mips/MipsDelaySlotFiller.cpp
U    lib/Target/Mips/CMakeLists.txt
U    lib/Target/Mips/MipsCodeEmitter.cpp
U    lib/Target/Mips/Mips.td
U    lib/Target/Mips/MipsMCInstLower.cpp
U    lib/Target/Mips/InstPrinter/MipsInstPrinter.cpp
U    lib/Target/Mips/InstPrinter/CMakeLists.txt
U    lib/Target/Mips/MipsISelLowering.h
U    lib/Target/Mips/Mips64InstrInfo.td
U    lib/Target/Mips/MipsTargetMachine.h
U    lib/Target/Mips/TargetInfo/CMakeLists.txt
U    lib/Target/Mips/MipsRegisterInfo.cpp
U    lib/Target/Mips/MipsInstrInfo.td
U    lib/Target/Mips/MipsSubtarget.cpp
U    lib/Target/Mips/MipsFrameLowering.cpp
U    lib/Target/Mips/MipsISelLowering.cpp
U    lib/Target/TargetLibraryInfo.cpp
U    lib/Target/MBlaze/MBlazeTargetMachine.h
U    lib/Target/MBlaze/AsmParser/CMakeLists.txt
U    lib/Target/MBlaze/MCTargetDesc/MBlazeAsmBackend.cpp
U    lib/Target/MBlaze/MCTargetDesc/CMakeLists.txt
U    lib/Target/MBlaze/MBlazeFrameLowering.cpp
U    lib/Target/MBlaze/Disassembler/CMakeLists.txt
U    lib/Target/MBlaze/CMakeLists.txt
U    lib/Target/MBlaze/InstPrinter/CMakeLists.txt
U    lib/Target/MBlaze/MBlazeTargetMachine.cpp
U    lib/Target/MBlaze/MBlazeAsmPrinter.cpp
U    lib/Target/MBlaze/TargetInfo/CMakeLists.txt
U    lib/Target/MBlaze/MBlazeDelaySlotFiller.cpp
U    lib/Target/PTX/PTXISelLowering.cpp
U    lib/Target/PTX/PTXTargetMachine.h
U    lib/Target/PTX/PTXAsmPrinter.cpp
U    lib/Target/PTX/MCTargetDesc/PTXBaseInfo.h
U    lib/Target/PTX/MCTargetDesc/CMakeLists.txt
U    lib/Target/PTX/CMakeLists.txt
U    lib/Target/PTX/InstPrinter/CMakeLists.txt
U    lib/Target/PTX/InstPrinter/PTXInstPrinter.cpp
U    lib/Target/PTX/PTXMFInfoExtract.cpp
U    lib/Target/PTX/PTXTargetMachine.cpp
U    lib/Target/PTX/PTXInstrInfo.cpp
U    lib/Target/PTX/TargetInfo/CMakeLists.txt
U    lib/Target/PTX/PTXMachineFunctionInfo.h
U    lib/Target/PTX/PTXInstrInfo.td
U    lib/Target/CMakeLists.txt
U    lib/ExecutionEngine/RuntimeDyld/CMakeLists.txt
U    lib/ExecutionEngine/Interpreter/CMakeLists.txt
U    lib/ExecutionEngine/JIT/JITEmitter.cpp
U    lib/ExecutionEngine/JIT/JITDwarfEmitter.cpp
U    lib/ExecutionEngine/JIT/JIT.cpp
U    lib/ExecutionEngine/JIT/JITDebugRegisterer.cpp
U    lib/ExecutionEngine/JIT/CMakeLists.txt
U    lib/ExecutionEngine/MCJIT/CMakeLists.txt
U    lib/ExecutionEngine/TargetSelect.cpp
U    lib/ExecutionEngine/ExecutionEngine.cpp
U    lib/ExecutionEngine/CMakeLists.txt
U    lib/VMCore/Instructions.cpp
U    lib/VMCore/Verifier.cpp
U    lib/VMCore/Constants.cpp
U    lib/VMCore/User.cpp
U    lib/VMCore/Type.cpp
U    lib/VMCore/CMakeLists.txt
U    lib/VMCore/Value.cpp
U    lib/VMCore/Metadata.cpp
U    lib/AsmParser/LLParser.cpp
U    lib/AsmParser/CMakeLists.txt
U    lib/Transforms/Utils/SimplifyInstructions.cpp
U    lib/Transforms/Utils/AddrModeMatcher.cpp
U    lib/Transforms/Utils/InlineFunction.cpp
U    lib/Transforms/Utils/LoopSimplify.cpp
U    lib/Transforms/Utils/PromoteMemoryToRegister.cpp
U    lib/Transforms/Utils/Local.cpp
U    lib/Transforms/Utils/CMakeLists.txt
U    lib/Transforms/Instrumentation/AddressSanitizer.cpp
U    lib/Transforms/Instrumentation/GCOVProfiling.cpp
U    lib/Transforms/Instrumentation/CMakeLists.txt
U    lib/Transforms/Scalar/LoopUnswitch.cpp
U    lib/Transforms/Scalar/IndVarSimplify.cpp
U    lib/Transforms/Scalar/LoopStrengthReduce.cpp
U    lib/Transforms/Scalar/ScalarReplAggregates.cpp
U    lib/Transforms/Scalar/CodeGenPrepare.cpp
U    lib/Transforms/Scalar/LoopInstSimplify.cpp
U    lib/Transforms/Scalar/SCCP.cpp
U    lib/Transforms/Scalar/ConstantProp.cpp
U    lib/Transforms/Scalar/GVN.cpp
U    lib/Transforms/Scalar/CMakeLists.txt
U    lib/Transforms/Scalar/JumpThreading.cpp
U    lib/Transforms/Scalar/DeadStoreElimination.cpp
U    lib/Transforms/Scalar/EarlyCSE.cpp
U    lib/Transforms/Scalar/GlobalMerge.cpp
U    lib/Transforms/Scalar/LICM.cpp
U    lib/Transforms/Scalar/MemCpyOptimizer.cpp
U    lib/Transforms/IPO/PassManagerBuilder.cpp
U    lib/Transforms/IPO/GlobalOpt.cpp
U    lib/Transforms/IPO/CMakeLists.txt
U    lib/Transforms/InstCombine/InstCombineCompares.cpp
U    lib/Transforms/InstCombine/InstructionCombining.cpp
U    lib/Transforms/InstCombine/InstCombineCasts.cpp
U    lib/Transforms/InstCombine/InstCombineSelect.cpp
U    lib/Transforms/InstCombine/InstCombine.h
U    lib/Transforms/InstCombine/InstCombineCalls.cpp
U    lib/Transforms/InstCombine/InstCombineShifts.cpp
U    lib/Transforms/InstCombine/CMakeLists.txt
U    lib/MC/MCAsmInfoCOFF.cpp
U    lib/MC/MCAsmInfo.cpp
U    lib/MC/MCDisassembler/CMakeLists.txt
U    lib/MC/MCAsmInfoDarwin.cpp
U    lib/MC/MachObjectWriter.cpp
U    lib/MC/CMakeLists.txt
U    lib/MC/MCAssembler.cpp
U    lib/MC/ELFObjectWriter.h
U    lib/MC/MCObjectFileInfo.cpp
U    lib/MC/WinCOFFObjectWriter.cpp
U    lib/MC/MCDwarf.cpp
U    lib/MC/ELFObjectWriter.cpp
U    lib/MC/MCParser/CMakeLists.txt
U    lib/DebugInfo/CMakeLists.txt
D    lib/CodeGen/Splitter.cpp
D    lib/CodeGen/Splitter.h
U    lib/CodeGen/CriticalAntiDepBreaker.cpp
U    lib/CodeGen/BranchFolding.cpp
U    lib/CodeGen/AsmPrinter/DwarfDebug.cpp
U    lib/CodeGen/AsmPrinter/DwarfException.cpp
U    lib/CodeGen/AsmPrinter/AsmPrinter.cpp
U    lib/CodeGen/AsmPrinter/CMakeLists.txt
U    lib/CodeGen/IfConversion.cpp
U    lib/CodeGen/MachineBasicBlock.cpp
U    lib/CodeGen/MachineSink.cpp
U    lib/CodeGen/PostRASchedulerList.cpp
U    lib/CodeGen/TargetInstrInfoImpl.cpp
U    lib/CodeGen/MachineBlockPlacement.cpp
U    lib/CodeGen/TwoAddressInstructionPass.cpp
U    lib/CodeGen/ScheduleDAGInstrs.cpp
U    lib/CodeGen/PrologEpilogInserter.cpp
U    lib/CodeGen/CodeGen.cpp
U    lib/CodeGen/RegisterCoalescer.cpp
U    lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAG.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
U    lib/CodeGen/SelectionDAG/ScheduleDAGRRList.cpp
U    lib/CodeGen/SelectionDAG/DAGCombiner.cpp
U    lib/CodeGen/SelectionDAG/FastISel.cpp
U    lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
U    lib/CodeGen/SelectionDAG/InstrEmitter.cpp
U    lib/CodeGen/SelectionDAG/CMakeLists.txt
U    lib/CodeGen/SelectionDAG/TargetLowering.cpp
U    lib/CodeGen/ExecutionDepsFix.cpp
U    lib/CodeGen/LiveVariables.cpp
U    lib/CodeGen/ExpandISelPseudos.cpp
U    lib/CodeGen/MachineSSAUpdater.cpp
U    lib/CodeGen/ShrinkWrapping.cpp
U    lib/CodeGen/LLVMTargetMachine.cpp
U    lib/CodeGen/LiveIntervalAnalysis.cpp
U    lib/CodeGen/RegAllocPBQP.cpp
U    lib/CodeGen/DeadMachineInstructionElim.cpp
U    lib/CodeGen/MachineVerifier.cpp
U    lib/CodeGen/SplitKit.cpp
U    lib/CodeGen/RegAllocFast.cpp
U    lib/CodeGen/GCStrategy.cpp
U    lib/CodeGen/LiveRangeEdit.cpp
U    lib/CodeGen/MachineInstr.cpp
U    lib/CodeGen/LiveDebugVariables.cpp
U    lib/CodeGen/AggressiveAntiDepBreaker.cpp
U    lib/CodeGen/InlineSpiller.cpp
U    lib/CodeGen/MachineLICM.cpp
A    lib/CodeGen/DFAPacketizer.cpp
U    lib/CodeGen/CMakeLists.txt
U    lib/CodeGen/MachineCSE.cpp
U    lib/CodeGen/PeepholeOptimizer.cpp
U    lib/CodeGen/PHIElimination.cpp
U    lib/CodeGen/ExpandPostRAPseudos.cpp
U    lib/CodeGen/Analysis.cpp
U    lib/CodeGen/TailDuplication.cpp
U    lib/Object/MachOObjectFile.cpp
U    lib/Object/COFFObjectFile.cpp
U    lib/Object/Object.cpp
U    lib/Object/CMakeLists.txt
U    lib/Object/ELFObjectFile.cpp
U    lib/Bitcode/Reader/BitcodeReader.h
U    lib/Bitcode/Reader/BitcodeReader.cpp
U    lib/Bitcode/Reader/CMakeLists.txt
U    lib/Bitcode/Writer/ValueEnumerator.cpp
U    lib/Bitcode/Writer/ValueEnumerator.h
U    lib/Bitcode/Writer/BitcodeWriter.cpp
U    lib/Bitcode/Writer/CMakeLists.txt
U    lib/Support/DAGDeltaAlgorithm.cpp
U    lib/Support/Statistic.cpp
U    lib/Support/APInt.cpp
U    lib/Support/Host.cpp
U    lib/Support/CommandLine.cpp
U    lib/Support/Windows/Program.inc
U    lib/Support/Windows/Signals.inc
U    Makefile
U    CMakeLists.txt
U    examples/ExceptionDemo/ExceptionDemo.cpp
U    autoconf/configure.ac
Updated to revision 146178.
elapsedTime=38.668455
/usr/bin/svnversion .
 in dir /home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm
 watching logfiles {}
 argv: ['/usr/bin/svnversion', '.']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LC_MESSAGES=C
  LESSCLOSE=/usr/bin/lesspipe %s %s
  LESSOPEN=| /usr/bin/lesspipe %s
  LOGNAME=klee-buildslave
  LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
  MAIL=/var/mail/klee-buildslave
  OLDPWD=/home/klee-buildslave
  PATH=/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
  PS1=(venv)${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ 
  PWD=/home/klee-buildslave/buildslave/build.klee-x86_64-linux/llvm
  SHELL=/bin/bash
  SHLVL=3
  SSH_CLIENT=99.119.67.25 62653 22
  SSH_CONNECTION=99.119.67.25 62653 74.208.166.209 22
  SSH_TTY=/dev/pts/1
  TERM=xterm-color
  USER=klee-buildslave
  VIRTUAL_ENV=/home/klee-buildslave/venv
  _=/home/klee-buildslave/venv/bin/buildslave
 closing stdin
 using PTY: False
elapsedTime=5.420166
program finished with exit code 0