r178818 - Add testing case for r178797
Bill Schmidt
wschmidt at linux.vnet.ibm.com
Fri Apr 5 10:58:40 PDT 2013
This test fails on powerpc64-unknown-linux-gnu:
FAIL: Clang :: CodeGen/tbaa.cpp (1605 of 13684)
******************** TEST 'Clang :: CodeGen/tbaa.cpp' FAILED ********************
Script:
--
/home/wschmidt/llvm/build/llvm-test2/Release+Asserts/bin/clang -cc1 -internal-isystem /home/wschmidt/llvm/build/llvm-test2/Release+Asserts/bin/../lib/clang/3.3/include -O1 -disable-llvm-optzns /home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp -emit-llvm -o - | FileCheck /home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp
/home/wschmidt/llvm/build/llvm-test2/Release+Asserts/bin/clang -cc1 -internal-isystem /home/wschmidt/llvm/build/llvm-test2/Release+Asserts/bin/../lib/clang/3.3/include -O1 -struct-path-tbaa -disable-llvm-optzns /home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp -emit-llvm -o - | FileCheck /home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp -check-prefix=PATH
--
Exit Code: 1
Command Output (stderr):
--
/home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp:45:11: error: expected string not found in input
// CHECK: define i32 @{{.*}}(
^
<stdin>:1:1: note: scanning from here
; ModuleID = '/home/wschmidt/llvm/llvm-test2/tools/clang/test/CodeGen/tbaa.cpp'
^
<stdin>:12:1: note: possible intended match here
define zeroext i32 @_Z1gPjP7StructAm(i32* %s, %struct.StructA* %A, i64 %count) #0 {
^
--
Thanks,
Bill
On Fri, 2013-04-05 at 00:05 +0000, Manman Ren wrote:
> Author: mren
> Date: Thu Apr 4 19:05:09 2013
> New Revision: 178818
>
> URL: http://llvm.org/viewvc/llvm-project?rev=178818&view=rev
> Log:
> Add testing case for r178797
>
> Added:
> cfe/trunk/test/CodeGen/tbaa.cpp
>
> Added: cfe/trunk/test/CodeGen/tbaa.cpp
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/tbaa.cpp?rev=178818&view=auto
> ==============================================================================
> --- cfe/trunk/test/CodeGen/tbaa.cpp (added)
> +++ cfe/trunk/test/CodeGen/tbaa.cpp Thu Apr 4 19:05:09 2013
> @@ -0,0 +1,217 @@
> +// RUN: %clang_cc1 -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
> +// RUN: %clang_cc1 -O1 -struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
> +// Test TBAA metadata generated by front-end.
> +
> +#include <stdint.h>
> +typedef struct
> +{
> + uint16_t f16;
> + uint32_t f32;
> + uint16_t f16_2;
> + uint32_t f32_2;
> +} StructA;
> +typedef struct
> +{
> + uint16_t f16;
> + StructA a;
> + uint32_t f32;
> +} StructB;
> +typedef struct
> +{
> + uint16_t f16;
> + StructB b;
> + uint32_t f32;
> +} StructC;
> +typedef struct
> +{
> + uint16_t f16;
> + StructB b;
> + uint32_t f32;
> + uint8_t f8;
> +} StructD;
> +
> +typedef struct
> +{
> + uint16_t f16;
> + uint32_t f32;
> +} StructS;
> +typedef struct
> +{
> + uint16_t f16;
> + uint32_t f32;
> +} StructS2;
> +
> +uint32_t g(uint32_t *s, StructA *A, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !5
> + *s = 1;
> + A->f32 = 4;
> + return *s;
> +}
> +
> +uint32_t g2(uint32_t *s, StructA *A, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !8
> + *s = 1;
> + A->f16 = 4;
> + return *s;
> +}
> +
> +uint32_t g3(StructA *A, StructB *B, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
> + A->f32 = 1;
> + B->a.f32 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g4(StructA *A, StructB *B, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !11
> + A->f32 = 1;
> + B->a.f16 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g5(StructA *A, StructB *B, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !12
> + A->f32 = 1;
> + B->f32 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g6(StructA *A, StructB *B, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !13
> + A->f32 = 1;
> + B->a.f32_2 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g7(StructA *A, StructS *S, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !14
> + A->f32 = 1;
> + S->f32 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g8(StructA *A, StructS *S, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !5
> +// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !16
> + A->f32 = 1;
> + S->f16 = 4;
> + return A->f32;
> +}
> +
> +uint32_t g9(StructS *S, StructS2 *S2, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !14
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !17
> + S->f32 = 1;
> + S2->f32 = 4;
> + return S->f32;
> +}
> +
> +uint32_t g10(StructS *S, StructS2 *S2, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i16 4, i16* %{{.*}}, align 2, !tbaa !5
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !14
> +// PATH: store i16 4, i16* %{{.*}}, align 2, !tbaa !19
> + S->f32 = 1;
> + S2->f16 = 4;
> + return S->f32;
> +}
> +
> +uint32_t g11(StructC *C, StructD *D, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !20
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !22
> + C->b.a.f32 = 1;
> + D->b.a.f32 = 4;
> + return C->b.a.f32;
> +}
> +
> +uint32_t g12(StructC *C, StructD *D, uint64_t count) {
> +// CHECK: define i32 @{{.*}}(
> +// CHECK: store i32 1, i32* %{{.*}}, align 4, !tbaa !4
> +// CHECK: store i32 4, i32* %{{.*}}, align 4, !tbaa !4
> +// TODO: differentiate the two accesses.
> +// PATH: define i32 @{{.*}}(
> +// PATH: store i32 1, i32* %{{.*}}, align 4, !tbaa !9
> +// PATH: store i32 4, i32* %{{.*}}, align 4, !tbaa !9
> + StructB *b1 = &(C->b);
> + StructB *b2 = &(D->b);
> + // b1, b2 have different context.
> + b1->a.f32 = 1;
> + b2->a.f32 = 4;
> + return b1->a.f32;
> +}
> +
> +// CHECK: !1 = metadata !{metadata !"omnipotent char", metadata !2}
> +// CHECK: !2 = metadata !{metadata !"Simple C/C++ TBAA"}
> +// CHECK: !4 = metadata !{metadata !"int", metadata !1}
> +// CHECK: !5 = metadata !{metadata !"short", metadata !1}
> +
> +// PATH: !1 = metadata !{metadata !"omnipotent char", metadata !2}
> +// PATH: !4 = metadata !{metadata !"int", metadata !1}
> +// PATH: !5 = metadata !{metadata !6, metadata !4, i64 4}
> +// PATH: !6 = metadata !{metadata !"_ZTS7StructA", i64 0, metadata !7, i64 4, metadata !4}
> +// PATH: !7 = metadata !{metadata !"short", metadata !1}
> +// PATH: !8 = metadata !{metadata !6, metadata !7, i64 0}
> +// PATH: !9 = metadata !{metadata !10, metadata !4, i64 8}
> +// PATH: !10 = metadata !{metadata !"_ZTS7StructB", i64 0, metadata !7, i64 4, metadata !6, i64 20, metadata !4}
> +// PATH: !11 = metadata !{metadata !10, metadata !7, i64 4}
> +// PATH: !12 = metadata !{metadata !10, metadata !4, i64 20}
> +// PATH: !13 = metadata !{metadata !10, metadata !4, i64 16}
> +// PATH: !14 = metadata !{metadata !15, metadata !4, i64 4}
> +// PATH: !15 = metadata !{metadata !"_ZTS7StructS", i64 0, metadata !7, i64 4, metadata !4}
> +// PATH: !16 = metadata !{metadata !15, metadata !7, i64 0}
> +// PATH: !17 = metadata !{metadata !18, metadata !4, i64 4}
> +// PATH: !18 = metadata !{metadata !"_ZTS8StructS2", i64 0, metadata !7, i64 4, metadata !4}
> +// PATH: !19 = metadata !{metadata !18, metadata !7, i64 0}
> +// PATH: !20 = metadata !{metadata !21, metadata !4, i64 12}
> +// PATH: !21 = metadata !{metadata !"_ZTS7StructC", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4}
> +// PATH: !22 = metadata !{metadata !23, metadata !4, i64 12}
> +// PATH: !23 = metadata !{metadata !"_ZTS7StructD", i64 0, metadata !7, i64 4, metadata !10, i64 28, metadata !4, i64 32, metadata !1}
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
More information about the cfe-commits
mailing list