Adept compiler stuck with this piece of code

[ghost]

import basics
import "2.8/cstdio.adept"

func main() {
	Brun()
}

func Brun() {
	box [100000] uint
	N uint = 100000
	for(i usize = 0; i < N; i++) {
		box[i] = N - i
		printf("%d", box[i])
	}
	printf("\n--------------------\n")
	for(i usize = 0; i < N - 1; i++) {
		for(j usize = 0; j < N - 1; j++) {
			if(box[j] > box[j+1]) {
				x uint = box[j]
				box[j] = box[j+1]
				box[j+1] = x
			}
		}
	}
	for(i usize = 0; i < N; i++) {
		printf("%d", box[i])
	}
	printf("\n")
}

Note: If I set the size of arr and the value of N to a lower value, then it worked. The larger the value, the slower it compiles. The largest value I tried, and it worked, was 10000.

[ghost]

Maybe this could help:

adept.exe caused an Access Violation at location 00007FF719590DCA in module adept.exe Reading from location 0000003971CFAA80.

AddrPC           Params
00007FF719590DCA 00000039696FD620 00000039696FD940 000000396BACD280  adept.exe!llvm::SelectionDAG::ReplaceAllUsesWith+0x13a
00007FF718A0EE3B 0000000000400000 0000000000401000 0000000000000000  adept.exe!(anonymous namespace)::DAGCombiner::visit+0x60b
00007FF718A12225 00000039696FD9F0 000000396BBCCB70 00000039696FD740  adept.exe!(anonymous namespace)::DAGCombiner::combine+0x5c5
00007FF71959DF37 000000396B632A30 000000396B6328B0 00000039696FE000  adept.exe!llvm::SelectionDAG::Combine+0x897
00007FF719BF63E6 000000396B6533A0 00000039696FE740 00000039696FE320  adept.exe!llvm::SelectionDAGISel::CodeGenAndEmitDAG+0x106
00007FF719BF831A 000000396B6533A0 000000396B6768E8 000000396BA2C840  adept.exe!llvm::SelectionDAGISel::SelectAllBasicBlocks+0xada
00007FF719BFA9E3 000000396B6533A0 000000396BA2C840 00000039696FEB00  adept.exe!llvm::SelectionDAGISel::runOnMachineFunction+0x5c3
00007FF718DA596D 0000003969780000 000000396B9C4710 0000000000000000  adept.exe!(anonymous namespace)::X86DAGToDAGISel::runOnMachineFunction+0x6d
00007FF719DBA21A 000000396B9BA530 000000396B6768E8 000000396B9367D0  adept.exe!llvm::MachineFunctionPass::runOnFunction+0x73a
00007FF71964010E 000000396B681920 0000000000000000 000000396B681940  adept.exe!llvm::FPPassManager::runOnFunction+0x35e
00007FF71963FD93 00000039696FF240 00000039696FF210 00000039696FF0B0  adept.exe!llvm::FPPassManager::runOnModule+0x33
00007FF71A243FF4 000000396B663910 024C000000000001 0000000000000000  adept.exe!llvm::legacy::PassManagerImpl::run+0x3e4
00007FF7187A8040 00000039696FF5E0 00000039696FF450 0000003969923B80  adept.exe!LLVMTargetMachineEmit+0x2a0
00007FF718548C0E 0000000000000000 0000003969973950 0000000000000000  adept.exe!LLVMTargetMachineEmitToFile+0xee
00007FF7184C41C4 00000039696FF8A0 0000003969939980 00000039696FF670  adept.exe!ir_to_llvm+0xa04
00007FF7184CE71F 00007FF71B12CFB6 0000000000000011 0000000000000000  adept.exe!compiler_invoke+0x36f
00007FF7184CE82D 00007FF71B116E40 00007FF7182BF000 00007FF71B0B0000  adept.exe!compiler_run+0xd
00007FF71AFC67DD 00007FF700000002 00007FF71D286008 0000000000000000  adept.exe!main+0x3d
00007FF7184B1445 0000000000000000 0000000000000000 0000000000000000  adept.exe!__tmainCRTStartup+0x2f1
00007FF7184B1146 0000000000000000 0000000000000000 0000000000000000  adept.exe!mainCRTStartup+0x21
00007FFC77F313D2 00007FFC77F313B0 0000000000000000 0000000000000000  KERNEL32.DLL!BaseThreadInitThunk+0x22
00007FFC7A1103C4 0000000000000000 0000000000000000 0000000000000000  ntdll.dll!RtlUserThreadStart+0x34

I kept it running, and finally it crashed.

[IsaacShelton]

That's weird, I'll take a look into it

[IsaacShelton]

It seems that it's a bug in LLVM as

; ModuleID = 'main.adept'
source_filename = "main.adept"
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "arm64-apple-darwin22.3.0"

; Function Attrs: nounwind
define i32 @main() #0 {
  %1 = alloca [100000 x i32], align 4
  store [100000 x i32] zeroinitializer, [100000 x i32]* %1, align 4
  ret i32 0
}

attributes #0 = { nounwind }

compiled with llc llvmir.ll has this same issue.

LLVM 14, 15, 16, and 17 (latest) all fail to compile it.

I'll see if I can file a bug report

---

In the meantime, using

func Brun() {
    box [100000] uint = undef
    memset(&box[0], 0, sizeof(box))
    
    // ...
}

instead of

func Brun() {
    box [100000] uint
    
    // ...
}

works as expected

[ghost]

This worked: box [100000] uint = undef. I don't need the array to be zero-initialized. I read the document and know about undef, but I don't know it could be used this way as on the document it always goes with new:

https://github.com/AdeptLanguage/Adept/wiki/New#new-undef