[MTE] Add test that stack tagging does not mess up stack coloring.

[fmayer]

format

[fmayer]

EOF newline

[eugenis]

Add a comment at the top for ease of understanding. Something like "Test that storage for allocas with disjoint lifetimes is reused with or without stack tagging"

LGTM

llvm/test/CodeGen/AArch64/stack-tagging-stack-coloring.ll

+; RUN: opt -S -aarch64-stack-tagging %s -o - | \
+; RUN:   llc -no-stack-coloring=false -o - | \
+; RUN:   FileCheck %s --check-prefix=COLOR
+; RUN: opt -S -aarch64-stack-tagging %s -o - | \
+; RUN:   llc -no-stack-coloring=true -o - | \
+; RUN:   FileCheck %s --check-prefix=NOCOLOR
+
+target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
+target triple = "aarch64-unknown-linux-android29"
+
+; COLOR: sub  sp, sp, #192
+; NOCOLOR: sub  sp, sp, #320
+
+define i32 @myCall_w2(i32 %in) sanitize_hwaddress {
+entry:
+  %a = alloca [17 x i8*], align 8
+  %a2 = alloca [16 x i8*], align 8
+  %b = bitcast [17 x i8*]* %a to i8*
+  %b2 = bitcast [16 x i8*]* %a2 to i8*
+  call void @llvm.lifetime.start.p0i8(i64 136, i8* %b)
+  %t1 = call i32 @foo(i32 %in, i8* %b)
+  %t2 = call i32 @foo(i32 %in, i8* %b)
+  call void @llvm.lifetime.end.p0i8(i64 136, i8* %b)
+  call void @llvm.lifetime.start.p0i8(i64 128, i8* %b2)
+  %t3 = call i32 @foo(i32 %in, i8* %b2)
+  %t4 = call i32 @foo(i32 %in, i8* %b2)
+  call void @llvm.lifetime.end.p0i8(i64 128, i8* %b2)
+  %t5 = add i32 %t1, %t2
+  %t6 = add i32 %t3, %t4
+  %t7 = add i32 %t5, %t6
+  ret i32 %t7
+}
+
+declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) nounwind
+
+declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) nounwind
+
+declare i32 @foo(i32, i8*)