Skip to content

Symbol not found from TmplParamsInstance::map_attr() #435

@tim-hoffman

Description

@tim-hoffman

Command:
target/debug/circom --llzk -- circom/tests/subcmps/mixed_subcmp_diff_in_size.circom

Error (stack trace below):
Failed to generate LLZK IR: symbol @"nWindows_Mul_3@385" was not found in the mapping

Stack trace from the test with --verbose flag:

Stack backtrace:
   0: std::backtrace_rs::backtrace::libunwind::trace
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
   1: std::backtrace_rs::backtrace::trace_unsynchronized
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
   2: std::backtrace::Backtrace::create
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/backtrace.rs:331:13
   3: anyhow::error::<impl anyhow::Error>::msg
             at /Users/tim/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.100/src/backtrace.rs:27:14
   4: anyhow::__private::format_err
             at /Users/tim/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.100/src/lib.rs:698:13
   5: llzk_backend::shared::TmplParamsInstance::map_attr::{{closure}}
             at ./llzk_backend/src/shared.rs:357:47
   6: core::option::Option<T>::ok_or_else
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/option.rs:1369:25
   7: llzk_backend::shared::TmplParamsInstance::map_attr
             at ./llzk_backend/src/shared.rs:357:33
   8: llzk_backend::shared::TmplParamsInstance::handle_array_type::{{closure}}
             at ./llzk_backend/src/shared.rs:378:51
   9: core::iter::adapters::map::map_try_fold::{{closure}}
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/map.rs:95:28
  10: <alloc::vec::into_iter::IntoIter<T,A> as core::iter::traits::iterator::Iterator>::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/into_iter.rs:357:25
  11: <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/map.rs:121:19
  12: <core::iter::adapters::GenericShunt<I,R> as core::iter::traits::iterator::Iterator>::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/mod.rs:192:14
  13: <I as alloc::vec::in_place_collect::SpecInPlaceCollect<T,I>>::collect_in_place
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/in_place_collect.rs:378:18
  14: alloc::vec::in_place_collect::from_iter_in_place
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/in_place_collect.rs:269:9
  15: alloc::vec::in_place_collect::<impl alloc::vec::spec_from_iter::SpecFromIter<T,I> for alloc::vec::Vec<T>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/in_place_collect.rs:245:9
  16: <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/mod.rs:3801:9
  17: core::iter::traits::iterator::Iterator::collect
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2035:9
  18: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter::{{closure}}
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:2156:51
  19: core::iter::adapters::try_process
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/mod.rs:160:17
  20: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:2156:9
  21: core::iter::traits::iterator::Iterator::collect
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2035:9
  22: llzk_backend::shared::TmplParamsInstance::handle_array_type
             at ./llzk_backend/src/shared.rs:378:67
  23: llzk_backend::shared::TmplParamsInstance::map_type
             at ./llzk_backend/src/shared.rs:367:31
  24: llzk_backend::module::collect_inputs::{{closure}}
             at ./llzk_backend/src/module.rs:876:18
  25: core::iter::adapters::map::map_try_fold::{{closure}}
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/map.rs:95:28
  26: core::iter::traits::iterator::Iterator::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2434:21
  27: <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/map.rs:121:19
  28: <core::iter::adapters::GenericShunt<I,R> as core::iter::traits::iterator::Iterator>::try_fold
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/mod.rs:192:14
  29: core::iter::traits::iterator::Iterator::try_for_each
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2495:14
  30: <core::iter::adapters::GenericShunt<I,R> as core::iter::traits::iterator::Iterator>::next
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/mod.rs:174:14
  31: <alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/spec_from_iter_nested.rs:24:41
  32: <alloc::vec::Vec<T> as alloc::vec::spec_from_iter::SpecFromIter<T,I>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/spec_from_iter.rs:33:9
  33: <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/vec/mod.rs:3801:9
  34: core::iter::traits::iterator::Iterator::collect
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2035:9
  35: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter::{{closure}}
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:2156:51
  36: core::iter::adapters::try_process
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/adapters/mod.rs:160:17
  37: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:2156:9
  38: core::iter::traits::iterator::Iterator::collect
             at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/iter/traits/iterator.rs:2035:9
  39: llzk_backend::module::collect_inputs
             at ./llzk_backend/src/module.rs:879:10
  40: llzk_backend::module::record_subcmp_decl
             at ./llzk_backend/src/module.rs:896:35
  41: llzk_backend::module::DeclarationInfo::complete
             at ./llzk_backend/src/module.rs:216:13
  42: llzk_backend::module::gen_template_llzk
             at ./llzk_backend/src/module.rs:634:32
  43: <P as llzk_backend::module::GenerateLLZKInModule<P>>::gen_llzk
             at ./llzk_backend/src/module.rs:849:13
  44: llzk_backend::codegen::generate_llzk
             at ./llzk_backend/src/codegen.rs:120:13

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No fields configured for Bug.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions