Add a negative TBAA test

[rogfer01]

Summary

This commit extends tbaa.cpp to just make sure that tbaa markers are not
emitted when they should not.

[jmolloy]

test/CodeGen/tbaa.cpp

57 ↗

(On Diff #60543)

Would it just be simpler to do:

// NO-TBAA-NOT: !tbaa

at the top of the file?

[rogfer01]

test/CodeGen/tbaa.cpp

57 ↗

(On Diff #60543)

I'll check that. If it works the patch will become so much simpler!

[rogfer01]

Much simpler version thanks to @jmolloy comment.

[rogfer01]

Ping? Thank you.

[jmolloy]

Private reply:

fine by me but a clang person needs to a accept it.

[rogfer01]

Ping?

Thank you very much!

[Anastasia]

LGTM!

Has this test case been missing from the original commit? If yes, could you point to it please! Thanks!

[manmanren]

In D21295#474241, @Anastasia wrote:

LGTM!

Has this test case been missing from the original commit? If yes, could you point to it please! Thanks!

The original commit is the support for tbaa, when we added support for tbaa, we check that correct tbaa metadata is generated when tbaa is on, but didn't test the other way (i.e no tbaa metadata if tbaa is off).

cfe/trunk/test/CodeGen/tbaa.cpp

 // RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -no-struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
 // RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
+// RUN: %clang_cc1 -triple x86_64-apple-darwin -O0 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=NO-TBAA
+// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -relaxed-aliasing -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=NO-TBAA
 // Test TBAA metadata generated by front-end.
+//
+// NO-TBAA-NOT: !tbaa
 
 typedef unsigned char uint8_t;
 typedef unsigned short uint16_t;
 typedef unsigned int uint32_t;
 typedef unsigned long long uint64_t;
 typedef struct
 {
    uint16_t f16;