| ; REQUIRES: asserts | |
| ; RUN: llc < %s -O3 -mtriple=riscv64 -debug-only=stack-coloring 2>&1 | FileCheck %s | |
| declare void @foo(...) | |
| ; CHECK: Slot #0 - 33179869176 bytes. | |
| ; CHECK: Slot #1 - 147483648 bytes. | |
| ; CHECK: Total Stack size: 33327352824 bytes | |
| define dso_local void @stack_bigger_than_32bit_unsigned() { | |
| entry: | |
| %a = alloca [4147483647 x i64], align 8 | |
| %b = alloca [147483648 x i8], align 1 | |
| %arraydecay = getelementptr inbounds [4147483647 x i64], ptr %a, i64 0, i64 0 | |
| %arraydecay1 = getelementptr inbounds [147483648 x i8], ptr %b, i64 0, i64 0 | |
| call void @foo(ptr noundef %arraydecay, ptr noundef %arraydecay1) | |
| ret void | |
| } |