Skip to content

Instantly share code, notes, and snippets.

@pvdrz

pvdrz/gist:fca7d9c0c7119d81103e7f130bc9b118

Created August 26, 2019 15:49
Show Gist options
  • Save pvdrz/fca7d9c0c7119d81103e7f130bc9b118 to your computer and use it in GitHub Desktop.
Save pvdrz/fca7d9c0c7119d81103e7f130bc9b118 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Both sides are unevaluated
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: DefIds are equal
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Both sides are unevaluated
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: DefIds are equal
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Both sides are unevaluated
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Evaluation was successful: (defun DefId(0:14 ~ sat_solving[317d]::foo[0]::{{constant}}[0])[(p0 (uint 64))] (Maybe (uint 64)) (switch (const bool 0) ((const bool 0) -> (just (+ p0 p0))) (else -> nothing)))
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Evaluation was successful: (defun DefId(0:15 ~ sat_solving[317d]::foo[0]::{{constant}}[1])[(p0 (uint 64))] (Maybe (uint 64)) (switch (const bool 0) ((const bool 0) -> (just (* (const (uint 64) 2) p0))) (else -> nothing)))
INFO 2019-08-26T15:42:49Z: rustc_interface::passes: sire: Both sides are equal
INFO 2019-08-26T15:42:49Z: rustc_mir::build: fn_id DefId(0:12 ~ sat_solving[317d]::foo[0]) has attrs Borrowed([])
INFO 2019-08-26T15:42:49Z: rustc_mir::build: fn_id DefId(0:16 ~ sat_solving[317d]::main[0]) has attrs Borrowed([])
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding dylib: std
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: core
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: compiler_builtins
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: rustc_std_workspace_core
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: alloc
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: libc
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: unwind
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: cfg_if
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: hashbrown
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: rustc_std_workspace_alloc
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: backtrace
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: rustc_demangle
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: backtrace_sys
INFO 2019-08-26T15:42:49Z: rustc::middle::dependency_format: adding RequireStatic: panic_unwind
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) main
INFO 2019-08-26T15:42:49Z: rustc::traits::codegen: Cache miss: Binder(<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()] as std::ops::Fn<()>>) => VtableClosureData(closure_def_id=DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]), substs=ClosureSubsts { substs: [(), i8, extern "rust-call" fn(()) -> i32, fn()] }, nested=[()])
INFO 2019-08-26T15:42:49Z: rustc::traits::codegen: Cache miss: Binder(<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()] as std::ops::FnMut<()>>) => VtableClosureData(closure_def_id=DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]), substs=ClosureSubsts { substs: [(), i8, extern "rust-call" fn(()) -> i32, fn()] }, nested=[()])
INFO 2019-08-26T15:42:49Z: rustc::traits::codegen: Cache miss: Binder(<() as std::process::Termination>) => VtableImplData(impl_def_id=DefId(1:4169 ~ std[9f1e]::process[0]::{{impl}}[37]), substs=[], nested=[])
INFO 2019-08-26T15:42:49Z: rustc::traits::codegen: Cache miss: Binder(<std::process::ExitCode as std::process::Termination>) => VtableImplData(impl_def_id=DefId(1:4179 ~ std[9f1e]::process[0]::{{impl}}[41]), substs=[], nested=[])
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) std::process::ExitCode::SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: (_0.0: std::sys::unix::process::process_common::ExitCode) = const std::sys::unix::process::process_common::ExitCode::SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) std::sys::unix::process::process_common::ExitCode::SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: StorageLive(_1)
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: StorageLive(_2)
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _2 = const libc::unix::linux_like::EXIT_SUCCESS as u8 (Misc)
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) libc::unix::linux_like::EXIT_SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 0i32
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) libc::unix::linux_like::EXIT_SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _1 = _2
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: (_0.0: u8) = move _1
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: StorageDead(_2)
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) std::sys::unix::process::process_common::ExitCode::SUCCESS
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) std::process::ExitCode::SUCCESS
INFO 2019-08-26T15:42:49Z: rustc::traits::codegen: Cache miss: Binder(<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()] as std::ops::FnOnce<()>>) => VtableClosureData(closure_def_id=DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]), substs=ClosureSubsts { substs: [(), i8, extern "rust-call" fn(()) -> i32, fn()] }, nested=[()])
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(std::rt::lang_start::<()>)
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(std::rt::lang_start::<()>::{{closure}}#0)
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(std::sys::unix::process::process_common::ExitCode::as_i32)
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()] as std::ops::FnOnce<()>>::call_once - shim(vtable))
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()] as std::ops::FnOnce<()>>::call_once - shim)
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_NO_REASON::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 0isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_NO_REASON::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FOREIGN_EXCEPTION_CAUGHT::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 1isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FOREIGN_EXCEPTION_CAUGHT::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FATAL_PHASE2_ERROR::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 2isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FATAL_PHASE2_ERROR::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FATAL_PHASE1_ERROR::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 3isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FATAL_PHASE1_ERROR::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_NORMAL_STOP::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 4isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_NORMAL_STOP::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_END_OF_STACK::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 5isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_END_OF_STACK::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_HANDLER_FOUND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 6isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_HANDLER_FOUND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_INSTALL_CONTEXT::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 7isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_INSTALL_CONTEXT::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_CONTINUE_UNWIND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 8isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_CONTINUE_UNWIND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FAILURE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 9isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Reason_Code::_URC_FAILURE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Action::_UA_SEARCH_PHASE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 1isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Action::_UA_SEARCH_PHASE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Action::_UA_CLEANUP_PHASE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 2isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Action::_UA_CLEANUP_PHASE::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Action::_UA_HANDLER_FRAME::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 4isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Action::_UA_HANDLER_FRAME::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Action::_UA_FORCE_UNWIND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 8isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Action::_UA_FORCE_UNWIND::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Action::_UA_END_OF_STACK::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 16isize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Action::_UA_END_OF_STACK::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::_Unwind_Exception::private::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const unwind::libunwind::unwinder_private_data_size
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: ENTERING(0) unwind::libunwind::unwinder_private_data_size
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: _0 = const 6usize
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::unwinder_private_data_size
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::step: return
INFO 2019-08-26T15:42:49Z: rustc_mir::interpret::eval_context: LEAVING(0) unwind::libunwind::_Unwind_Exception::private::{{constant}}#0
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(std::ptr::real_drop_in_place::<[closure@DefId(1:5970 ~ std[9f1e]::rt[0]::lang_start[0]::{{closure}}[0]) 0:fn()]> - shim(None))
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(<() as std::process::Termination>::report)
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(<std::process::ExitCode as std::process::Termination>::report)
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::base: codegen_instance(main)
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: 5 symbols to preserve in this crate
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: going for that thin, thin LTO
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: local module: 0 - sat_solving.7rcbfp3g-cgu.0
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: local module: 1 - sat_solving.7rcbfp3g-cgu.1
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: thin LTO data created
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: thin LTO import map loaded
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: checking which modules can be-reused and which have to be re-optimized.
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: - sat_solving.7rcbfp3g-cgu.0: re-compiled
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: - sat_solving.7rcbfp3g-cgu.1: re-compiled
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: running thin lto passes over sat_solving.7rcbfp3g-cgu.1
INFO 2019-08-26T15:42:49Z: rustc_codegen_llvm::back::lto: running thin lto passes over sat_solving.7rcbfp3g-cgu.0
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::back::link: preparing Executable to "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/test/ui/const-generics/sat_solving/sat_solving"
INFO 2019-08-26T15:42:49Z: rustc_codegen_ssa::back::link: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/test/ui/const-generics/sat_solving/sat_solving.sat_solving.7rcbfp3g-cgu.0.rcgu.o" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/test/ui/const-generics/sat_solving/sat_solving.sat_solving.7rcbfp3g-cgu.1.rcgu.o" "-o" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/test/ui/const-generics/sat_solving/sat_solving" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-Wl,-O1" "-nodefaultlibs" "-L" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/test/ui/const-generics/sat_solving/auxiliary" "-L" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,--start-group" "-L" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-lstd-cada66d1839d489e" "-Wl,--end-group" "-Wl,-Bstatic" "/home/christian/Workspace/const_generics/rust/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-8be4a1b4b2a658d3.rlib" "-Wl,-Bdynamic" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil" "-Wl,-rpath,$ORIGIN/../../../../stage1/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-rpath,/home/christian/Workspace/const_generics/rust/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,--enable-new-dtags"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment