CakeML Regression Test

Job 115

CakeML:37176c66e6292c8902944ddcb5608c5b58462b61
  Merge pull request #416 from CakeML/mlton_benchmarks [Dec 25 08:16:36]
HOL:04d2447ff0be8df9be7b13aa97f422fe9fee5809
  Add some SSE (streaming SIMD extensions) instructions to the x86-64 m [Dec 28 14:04:25]
Machine:cakeml1853 4.4.0-22-generic x86_64 GNU/Linux

Dec 28 16:20:51 Claimed job
Dec 28 16:21:00 Building HOL
Dec 28 16:33:49 Starting semantics/ffi
Dec 28 16:34:59 Finished semantics/ffi                                         1m07s 288MB
Dec 28 16:35:01 Starting semantics
Dec 28 16:37:41 Finished semantics                                             2m37s   1GB
Dec 28 16:37:43 Starting semantics/proofs
Dec 28 16:41:17 Finished semantics/proofs                                      3m31s   1GB
Dec 28 16:41:19 Starting basis/pure
Dec 28 16:47:24 Finished basis/pure                                            6m02s 686MB
Dec 28 16:47:26 Starting translator
Dec 28 16:54:32 Finished translator                                            7m04s   1GB
Dec 28 16:54:34 Starting compiler/parsing
Dec 28 16:56:57 Finished compiler/parsing                                      2m20s   1GB
Dec 28 16:56:59 Starting characteristic
Dec 28 17:01:39 Finished characteristic                                        4m38s   1GB
Dec 28 17:01:41 Starting basis
Dec 28 17:29:40 Finished basis                                                27m56s   2GB
Dec 28 17:29:41 Starting translator/monadic
Dec 28 17:33:08 Finished translator/monadic                                    3m23s   1GB
Dec 28 17:33:09 Starting compiler/inference
Dec 28 17:36:03 Finished compiler/inference                                    2m51s 970MB
Dec 28 17:36:05 Starting compiler/backend/reg_alloc
Dec 28 17:36:55 Finished compiler/backend/reg_alloc                              48s 691MB
Dec 28 17:36:57 Starting compiler/backend/gc
Dec 28 17:52:52 Finished compiler/backend/gc                                  15m52s   2GB
Dec 28 17:52:54 Starting compiler/backend
Dec 28 17:52:58 Finished compiler/backend                                         1s  19MB
Dec 28 17:53:00 Starting compiler/encoders/asm
Dec 28 17:53:02 Finished compiler/encoders/asm                                    0s  11MB
Dec 28 17:53:04 Starting compiler/encoders/x64
Dec 28 17:54:38 FAILED: compiler/encoders/x64
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/commonRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/commonFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/common
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/model
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/modelRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/libFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/modelStarting work on x64Theory
x64Theory                                                                    OK
Finished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/model
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/step
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/stepRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-codeRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/decompilerFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-codeStarting work on l3-heap
l3-heap                                                                      OK
Finished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/stepStarting work on x64-heap
x64-heap                                                                     OK
Starting work on x64_stepTheory
x64_stepTheory                                                               OK
Finished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/l3-machine-code/x64/step
]0;Holmake: .Recursively calling Holmake in ../asm
]0;Holmake: ../asmRecursively calling Holmake in ../../../misc
]0;Holmake: ../../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../../../miscRecursively calling Holmake in ../../../developers
]0;Holmake: ../../../developers]0;Holmake: ../../../developersFinished recursive invocation in ../../../developers
]0;Holmake: ../../../miscRecursively calling Holmake in ../../../misc/lem_lib_stub
]0;Holmake: ../../../misc/lem_lib_stubRecursively calling Holmake in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-04d2447ff0be8df9be7b13aa97f422fe9fee5809/examples/formal-languages/context-free
]0;Holmake: ../../../misc/lem_lib_stub]0;Holmake: ../../../misc/lem_lib_stubFinished recursive invocation in ../../../misc/lem_lib_stub
]0;Holmake: ../../../misc]0;Holmake: ../../../miscFinished recursive invocation in ../../../misc
]0;Holmake: ../asmRecursively calling Holmake in ../../../semantics
]0;Holmake: ../../../semanticsRecursively calling Holmake in ../../../semantics/ffi
]0;Holmake: ../../../semantics/ffi]0;Holmake: ../../../semantics/ffiFinished recursive invocation in ../../../semantics/ffi
]0;Holmake: ../../../semantics]0;Holmake: ../../../semanticsFinished recursive invocation in ../../../semantics
]0;Holmake: ../asm]0;Holmake: ../asmFinished recursive invocation in ../asm
]0;Holmake: .]0;Holmake: .Starting work on x64_targetTheory
x64_targetTheory                                                             OK
Starting work on x64_eval_encodeTheory
x64_eval_encodeTheory                                               FAILED! <1>
      e_rm_reg_def,
      e_gen_rm_reg_def,
      ...
      ]
 /scratch/cakeml/regression/cakeml-115/compiler/encoders/x64/x64_eval_encodeScript.sml:130: error: Value or constructor (e_rm_reg_def) has not been declared
 Found near
   [e_rm_reg_def, e_gen_rm_reg_def, e_ModRM_def, e_opsize_def, ... ..., ...]
 error in quse /scratch/cakeml/regression/cakeml-115/compiler/encoders/x64/x64_eval_encodeScript.sml : Fail "Static Errors"
 error in load x64_eval_encodeScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"