diff --git a/llvm/test/Instrumentation/BoundsChecking/runtimes.ll b/llvm/test/Instrumentation/BoundsChecking/runtimes.ll index 7b95a4092af77..d61627287a31a 100644 --- a/llvm/test/Instrumentation/BoundsChecking/runtimes.ll +++ b/llvm/test/Instrumentation/BoundsChecking/runtimes.ll @@ -1,4 +1,7 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5 +; RUN: opt < %s -passes='bounds-checking' -S | FileCheck %s --check-prefixes=TR +; RUN: opt < %s -passes='bounds-checking' -S | FileCheck %s --check-prefixes=RT + ; RUN: opt < %s -passes=bounds-checking -S | FileCheck %s --check-prefixes=TR-NOMERGE ; RUN: opt < %s -passes='bounds-checking' -S | FileCheck %s --check-prefixes=TR-NOMERGE ; RUN: opt < %s -passes='bounds-checking' -S | FileCheck %s --check-prefixes=RT-NOMERGE @@ -129,11 +132,28 @@ define void @f1(i64 %x) nounwind { ret void } +;. +; TR: attributes #[[ATTR0]] = { nounwind } +; TR: attributes #[[ATTR1:[0-9]+]] = { cold noreturn nounwind memory(inaccessiblemem: write) } +; TR: attributes #[[ATTR2]] = { noreturn nounwind } +;. +; RT: attributes #[[ATTR0]] = { nounwind } +;. +; TR-NOMERGE: attributes #[[ATTR0]] = { nounwind } +; TR-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { cold noreturn nounwind } ; TR-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind } +;. +; RT-NOMERGE: attributes #[[ATTR0]] = { nounwind } ; RT-NOMERGE: attributes #[[ATTR1]] = { nomerge nounwind } +;. +; RTABORT-NOMERGE: attributes #[[ATTR0]] = { nounwind } +; RTABORT-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { noreturn nounwind } ; RTABORT-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind } +;. +; MINRT-NOMERGE: attributes #[[ATTR0]] = { nounwind } ; MINRT-NOMERGE: attributes #[[ATTR1]] = { nomerge nounwind } +;. +; MINRTABORT-NOMERGE: attributes #[[ATTR0]] = { nounwind } +; MINRTABORT-NOMERGE: attributes #[[ATTR1:[0-9]+]] = { noreturn nounwind } ; MINRTABORT-NOMERGE: attributes #[[ATTR2]] = { nomerge noreturn nounwind } -; -; TR: attributes #[[ATTR2]] = { noreturn nounwind } -; RT: attributes #[[ATTR0]] = { nounwind } +;.