CakeML Regression Test

Job 114

CakeML:bfcbe761e28b4bf09d1ea1e7e03629fce6ad29d3
  Merge remote-tracking branch 'origin/master' into monad-infer [Dec 26 23:59:52]
#409 (monad-infer)
Merging into: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:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Dec 28 16:10:44 Claimed job
Dec 28 16:11:00 Building HOL
Dec 28 16:23:29 Starting semantics/ffi
Dec 28 16:24:38 Finished semantics/ffi                                         1m05s 318MB
Dec 28 16:24:40 Starting semantics
Dec 28 16:27:16 Finished semantics                                             2m34s   1GB
Dec 28 16:27:18 Starting semantics/proofs
Dec 28 16:30:51 Finished semantics/proofs                                      3m30s   1GB
Dec 28 16:30:53 Starting basis/pure
Dec 28 16:36:46 Finished basis/pure                                            5m50s 812MB
Dec 28 16:36:48 Starting translator
Dec 28 16:43:55 Finished translator                                            7m04s 928MB
Dec 28 16:43:57 Starting compiler/parsing
Dec 28 16:46:21 Finished compiler/parsing                                      2m22s   1GB
Dec 28 16:46:23 Starting characteristic
Dec 28 16:51:07 Finished characteristic                                        4m42s   1GB
Dec 28 16:51:09 Starting basis
Dec 28 17:17:17 Finished basis                                                26m05s   2GB
Dec 28 17:17:19 Starting translator/monadic
Dec 28 17:20:42 Finished translator/monadic                                    3m20s   1GB
Dec 28 17:20:44 Starting compiler/inference
Dec 28 17:23:35 Finished compiler/inference                                    2m48s   1GB
Dec 28 17:23:36 Starting compiler/backend/reg_alloc
Dec 28 17:24:26 Finished compiler/backend/reg_alloc                              47s 798MB
Dec 28 17:24:28 Starting compiler/backend/gc
Dec 28 17:40:26 Finished compiler/backend/gc                                  15m56s   2GB
Dec 28 17:40:28 Starting compiler/backend
Dec 28 17:40:32 Finished compiler/backend                                         1s  14MB
Dec 28 17:40:34 Starting compiler/encoders/asm
Dec 28 17:40:36 Finished compiler/encoders/asm                                    0s  22MB
Dec 28 17:40:38 Starting compiler/encoders/x64
Dec 28 17:42:07 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-114/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-114/compiler/encoders/x64/x64_eval_encodeScript.sml : Fail "Static Errors"
 error in load x64_eval_encodeScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"