PASS: pass_array_by_data() fails when a subarray is passed

[ubaidsk]

Example:

(lp) lpython$ cat examples/expr2.py 
from lpython import i32
from numpy import empty

def f(a: i32[:]):
    print(a)

def main0():
    A: i32[5, 10] = empty([5, 10])
    f(A[0])

main0()
(lp) lpython$ python examples/expr2.py
[0. 0. 0. 0. 0. 0. 0. 0. 0. 0.]
(lp) lpython$ lpython examples/expr2.py
Internal Compiler Error: Unhandled exception
Traceback (most recent call last):
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/bin/lpython.cpp", line 1774
    err = compile_python_to_object_file(arg_file, tmp_o, runtime_library_dir,
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/bin/lpython.cpp", line 771
    res = fe.get_llvm3(*asr, pass_manager, diagnostics, infile);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/lpython/python_evaluator.cpp", line 58
    run_fn, infile);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/codegen/asr_to_llvm.cpp", line 7843
    pass_manager.apply_passes(al, &asr, pass_options, diagnostics);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_manager.h", line 272
    _apply_passes(al, asr, _passes, pass_options, diagnostics);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_manager.h", line 144
    _passes_db[passes[i]](al, *asr, pass_options);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_array_by_data.cpp", line 560
    u.visit_TranslationUnit(unit);
  File "../libasr/asr.h", line 35943
  File "../libasr/asr.h", line 4567
  File "../libasr/asr.h", line 4303
  File "../libasr/asr.h", line 35961
  File "../libasr/asr.h", line 4567
  File "../libasr/asr.h", line 4304
  File "../libasr/asr.h", line 35977
  File "../libasr/asr.h", line 35937
  File "../libasr/asr.h", line 4582
  File "../libasr/asr.h", line 4351
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_array_by_data.cpp", line 481
    visit_Call(x);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_array_by_data.cpp", line 448
    throw LCompilersException("Number of arguments in the new "
LCompilersException: Number of arguments in the new function call doesn't satisfy min_args <= new_args.size() <= max_args, 3 <= 1 <= 3

[ubaidsk]

Workaround:

(lp) lpython$ cat examples/expr2.py    
from lpython import i32, TypeVar
from numpy import empty

n = TypeVar("n")
def f(n: i32, a: i32[n]):
    print(a)

def main0():
    A: i32[5, 10] = empty([5, 10])
    f(10, A[0])

main0()
(lp) lpython$ python examples/expr2.py 
[0. 0. 0. 0. 0. 0. 0. 0. 0. 0.]
(lp) lpython$ lpython examples/expr2.py
1869949536 1 -2033335516 -383385599 0 0 0 0 0 0 

[czgdp1807]

Try f(A[0, :]) instead?

[ubaidsk]

Try f(A[0, :]) instead?

It seems to fail in pass array_slice:

(lp) lpython$ cat examples/expr2.py 
from lpython import i32
from numpy import empty

def f(a: i32[:]):
    print(a)

def main0():
    A: i32[5, 10] = empty([5, 10])
    f(A[0, :])

main0()
(lp) lpython$ python examples/expr2.py 
[0. 0. 0. 0. 0. 0. 0. 0. 0. 0.]
(lp) lpython$ lpython examples/expr2.py
Internal Compiler Error: Unhandled exception
Traceback (most recent call last):
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/bin/lpython.cpp", line 1774
    err = compile_python_to_object_file(arg_file, tmp_o, runtime_library_dir,
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/bin/lpython.cpp", line 771
    res = fe.get_llvm3(*asr, pass_manager, diagnostics, infile);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/lpython/python_evaluator.cpp", line 58
    run_fn, infile);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/codegen/asr_to_llvm.cpp", line 7843
    pass_manager.apply_passes(al, &asr, pass_options, diagnostics);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_manager.h", line 272
    _apply_passes(al, asr, _passes, pass_options, diagnostics);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/pass_manager.h", line 144
    _passes_db[passes[i]](al, *asr, pass_options);
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/arr_slice.cpp", line 220
    ArraySectionVisitor v(al);
  File "../libasr/asr.h", line 41288
  File "../libasr/asr.h", line 4567
  File "../libasr/asr.h", line 4303
  File "../libasr/asr.h", line 41306
  File "../libasr/asr.h", line 4567
  File "../libasr/asr.h", line 4304
  File "../libasr/asr.h", line 41327
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/arr_slice.cpp", line 195
    visit_stmt(*m_body[i]);
  File "../libasr/asr.h", line 4582
  File "../libasr/asr.h", line 4351
  File "../libasr/asr.h", line 42141
  File "../libasr/asr.h", line 44215
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/arr_slice.cpp", line 187
    replacer.replace_expr(*current_expr);
  File "../libasr/asr.h", line 40633
  File "/Users/ubaid/Desktop/OpenSource/lpython/src/libasr/pass/arr_slice.cpp", line 159
    int a_kind = ASRUtils::extract_kind_from_ttype_t(ASRUtils::expr_type(idx_vars_target[0]));
  File "../libasr/asr_utils.h", line 110
  File "../libasr/asr.h", line 44339
AssertFailed: f != nullptr