File: decl-params-determinisim.m

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (102 lines) | stat: -rw-r--r-- 3,093 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
/// Test determinisim when serializing anonymous decls. Create enough Decls in
/// DeclContext that can overflow the small storage of SmallPtrSet to make sure
/// the serialization does not rely on iteration order of SmallPtrSet.
// RUN: rm -rf %t.dir
// RUN: split-file %s %t.dir
// RUN: %clang_cc1 -fmodules -fimplicit-module-maps \
// RUN:   -fmodules-cache-path=%t.dir/cache -triple x86_64-apple-macosx10.11.0 \
// RUN:   -I%t.dir/headers %t.dir/main.m -fdisable-module-hash -Wno-visibility
// RUN: mv %t.dir/cache/A.pcm %t1.pcm
/// Check the order of the decls first. If LLVM_ENABLE_REVERSE_ITERATION is on,
/// it will fail the test early if the output is depending on the order of items
/// in containers that has non-deterministic orders.
// RUN: llvm-bcanalyzer --dump --disable-histogram %t1.pcm | FileCheck %s
// RUN: rm -rf %t.dir/cache
// RUN: %clang_cc1 -fmodules -fimplicit-module-maps \
// RUN:   -fmodules-cache-path=%t.dir/cache -triple x86_64-apple-macosx10.11.0 \
// RUN:   -I%t.dir/headers %t.dir/main.m -fdisable-module-hash -Wno-visibility
// RUN: mv %t.dir/cache/A.pcm %t2.pcm
// RUN: diff %t1.pcm %t2.pcm

/// Spot check entries to make sure they are in current ordering.
/// op6 encodes the anonymous decl number which should be in order.

/// NOTE: This test case is on determinism of TypeID for function declaration.
/// Change related to TypeID (or PredefinedTypeIDs) will affect the result and
/// will require update for this test case. Currently, TypeID is at op6 and the
/// test checks the IDs are in strict ordering.

// CHECK: <TYPE_FUNCTION_PROTO
// CHECK-NEXT: <DECL_PARM_VAR
// CHECK-SAME: op5=13
// CHECK-NEXT: <DECL_PARM_VAR
// CHECK-SAME: op5=14
// CHECK-NEXT: <DECL_PARM_VAR
// CHECK-SAME: op5=15
// CHECK-NEXT: <DECL_PARM_VAR
// CHECK-SAME: op5=16

/// Decl records start at 43
// CHECK: <DECL_RECORD
// CHECK-SAME: op5=54
// CHECK-NEXT: <DECL_RECORD
// CHECK-SAME: op5=55
// CHECK-NEXT: <DECL_RECORD
// CHECK-SAME: op5=56
// CHECK-NEXT: <DECL_RECORD
// CHECK-SAME: op5=57

//--- headers/a.h
void f(struct A0 *a0,
       struct A1 *a1,
       struct A2 *a2,
       struct A3 *a3,
       struct A4 *a4,
       struct A5 *a5,
       struct A6 *a6,
       struct A7 *a7,
       struct A8 *a8,
       struct A9 *a9,
       struct A10 *a10,
       struct A11 *a11,
       struct A12 *a12,
       struct A13 *a13,
       struct A14 *a14,
       struct A15 *a15,
       struct A16 *a16,
       struct A17 *a17,
       struct A18 *a18,
       struct A19 *a19,
       struct A20 *a20,
       struct A21 *a21,
       struct A22 *a22,
       struct A23 *a23,
       struct A24 *a24,
       struct A25 *a25,
       struct A26 *a26,
       struct A27 *a27,
       struct A28 *a28,
       struct A29 *a29,
       struct A30 *a30,
       struct A31 *a31,
       struct A32 *a32,
       struct A33 *a33,
       struct A34 *a34,
       struct A35 *a35,
       struct A36 *a36,
       struct A37 *a37,
       struct A38 *a38,
       struct A39 *a39,
       struct A40 *a40);


//--- headers/module.modulemap

module A {
  header "a.h"
}

//--- main.m

#import <a.h>