Clang Project

clang_source_code/test/Modules/preprocess-module.cpp
1// RUN: rm -rf %t
2// RUN: mkdir %t
3
4// RUN: not %clang_cc1 -fmodules -fmodule-name=file -I%S/Inputs/preprocess -x c++-module-map %S/Inputs/preprocess/module.modulemap -E 2>&1 | FileCheck %s --check-prefix=MISSING-FWD
5// MISSING-FWD: module 'fwd' is needed
6
7// RUN: %clang_cc1 -fmodules -fmodule-name=fwd -I%S/Inputs/preprocess -x c++-module-map %S/Inputs/preprocess/module.modulemap -emit-module -o %t/fwd.pcm
8
9// Check that we can preprocess modules, and get the expected output.
10// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%S/Inputs/preprocess -x c++-module-map %S/Inputs/preprocess/module.modulemap -E -o %t/no-rewrite.ii
11// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%S/Inputs/preprocess -x c++-module-map %S/Inputs/preprocess/module.modulemap -E -frewrite-includes -o %t/rewrite.ii
12//
13// RUN: FileCheck %s --input-file %t/no-rewrite.ii --check-prefix=CHECK --check-prefix=NO-REWRITE
14// RUN: FileCheck %s --input-file %t/rewrite.ii    --check-prefix=CHECK --check-prefix=REWRITE
15
16// Check that we can build a module from the preprocessed output.
17// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -x c++-module-map-cpp-output %t/no-rewrite.ii -emit-module -o %t/no-rewrite.pcm
18// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -x c++-module-map-cpp-output %t/rewrite.ii -emit-module -o %t/rewrite.pcm
19
20// Check that we can load the original module map in the same compilation (this
21// could happen if we had a redundant -fmodule-map-file= in the original
22// build).
23// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -fmodule-map-file=%S/Inputs/preprocess/module.modulemap -x c++-module-map-cpp-output %t/rewrite.ii -emit-module -o /dev/null
24
25// Check the module we built works.
26// RUN: %clang_cc1 -fmodules -fmodule-file=%t/no-rewrite.pcm %s -I%t -verify -fno-modules-error-recovery
27// RUN: %clang_cc1 -fmodules -fmodule-file=%t/rewrite.pcm %s -I%t -verify -fno-modules-error-recovery -DREWRITE
28// RUN: %clang_cc1 -fmodules -fmodule-file=%t/no-rewrite.pcm %s -I%t -verify -fno-modules-error-recovery -DINCLUDE -I%S/Inputs/preprocess
29// RUN: %clang_cc1 -fmodules -fmodule-file=%t/rewrite.pcm %s -I%t -verify -fno-modules-error-recovery -DREWRITE -DINCLUDE -I%S/Inputs/preprocess
30
31// Now try building the module when the header files are missing.
32// RUN: cp %S/Inputs/preprocess/fwd.h %S/Inputs/preprocess/file.h %S/Inputs/preprocess/file2.h %S/Inputs/preprocess/other.h %S/Inputs/preprocess/module.modulemap %t
33// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%t -x c++-module-map %t/module.modulemap -E -frewrite-includes -o %t/copy.ii
34// RUN: rm %t/fwd.h %t/file.h %t/file2.h %t/other.h %t/module.modulemap
35// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -x c++-module-map-cpp-output %t/copy.ii -emit-module -o %t/copy.pcm
36
37// Check that our module contains correct mapping information for the headers.
38// RUN: cp %S/Inputs/preprocess/fwd.h %S/Inputs/preprocess/file.h %S/Inputs/preprocess/file2.h %S/Inputs/preprocess/other.h %S/Inputs/preprocess/module.modulemap %t
39// RUN: %clang_cc1 -fmodules -fmodule-file=%t/copy.pcm %s -I%t -verify -fno-modules-error-recovery -DCOPY -DINCLUDE
40// RUN: rm %t/fwd.h %t/file.h %t/file2.h %t/other.h %t/module.modulemap
41
42// Check that we can preprocess from a .pcm file and that we get the same result as preprocessing from the original sources.
43// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%S/Inputs/preprocess -x c++-module-map %S/Inputs/preprocess/module.modulemap -emit-module -o %t/file.pcm
44// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%S/Inputs/preprocess %t/file.pcm -E -frewrite-includes -o %t/file.rewrite.ii
45// FIXME: This check fails on Windows targets, due to canonicalization of directory separators.
46// FIXME: cmp %t/rewrite.ii %t/file.rewrite.ii
47// FIXME: Instead, just check that the preprocessed output is functionally equivalent to the output when preprocessing from the original sources.
48// RUN: FileCheck %s --input-file %t/file.rewrite.ii    --check-prefix=CHECK --check-prefix=REWRITE
49// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -x c++-module-map-cpp-output %t/file.rewrite.ii -emit-module -o %t/file.rewrite.pcm
50// RUN: %clang_cc1 -fmodules -fmodule-file=%t/file.rewrite.pcm %s -I%t -verify -fno-modules-error-recovery -DFILE_REWRITE
51// RUN: %clang_cc1 -fmodules -fmodule-file=%t/file.rewrite.pcm %s -I%t -verify -fno-modules-error-recovery -DFILE_REWRITE -DINCLUDE -I%S/Inputs/preprocess
52//
53// Check that we can preprocess this user of the .pcm file.
54// RUN: %clang_cc1 -fmodules -fmodule-file=%t/file.pcm %s -I%t -E -frewrite-imports -o %t/preprocess-module.ii
55// RUN: %clang_cc1 -fmodules %t/preprocess-module.ii -verify -fno-modules-error-recovery -DFILE_REWRITE_FULL
56//
57// Check that language / header search options are ignored when preprocessing from a .pcm file.
58// RUN: %clang_cc1 %t/file.pcm -E -frewrite-includes -o %t/file.rewrite.ii.2
59// RUN: cmp %t/file.rewrite.ii %t/file.rewrite.ii.2
60//
61// RUN: %clang_cc1 -fmodules -fmodule-name=file -fmodule-file=%t/fwd.pcm -I%S/Inputs/preprocess %t/file.pcm -E -o %t/file.no-rewrite.ii
62// RUN: %clang_cc1 %t/file.pcm -E -o %t/file.no-rewrite.ii.2 -Dstruct=error
63// RUN: cmp %t/file.no-rewrite.ii %t/file.no-rewrite.ii.2
64
65// == module map
66// CHECK: # 1 "{{.*}}module.modulemap"
67// CHECK: module file {
68// CHECK:   header "file.h" { size
69// CHECK:   header "file2.h" { size
70// CHECK: }
71
72// == file.h
73// CHECK: # 1 "<module-includes>"
74// REWRITE: #if 0
75// REWRITE: #include "file.h"
76// REWRITE: #endif
77//
78// FIXME: It would be preferable to consistently put the module begin/end in
79// the same file, but the relative ordering of PP callbacks and module
80// begin/end tokens makes that difficult.
81//
82// REWRITE: #pragma clang module begin file
83// CHECK: # 1 "{{.*}}file.h" 1
84// NO-REWRITE: #pragma clang module begin file
85//
86// REWRITE: #ifndef FILE_H
87// REWRITE: #define FILE_H
88//
89// CHECK: #pragma clang module import fwd /* clang {{-E|-frewrite-includes}}: implicit import
90// CHECK: typedef struct __FILE FILE;
91//
92// REWRITE: #endif
93//
94// REWRITE: #pragma clang module end
95// CHECK: # 2 "<module-includes>" 2
96// NO-REWRITE: #pragma clang module end
97
98// == file2.h
99// REWRITE: #if 0
100// REWRITE: #include "file2.h"
101// REWRITE: #endif
102//
103// REWRITE: #pragma clang module begin file
104// CHECK: # 1 "{{.*}}file2.h" 1
105// NO-REWRITE: #pragma clang module begin file
106//
107// ==== recursively re-enter file.h
108// REWRITE: #if 0
109// REWRITE: #include "file.h"
110// REWRITE: #endif
111//
112// REWRITE: #pragma clang module begin file
113// CHECK: # 1 "{{.*}}file.h" 1
114// NO-REWRITE: #pragma clang module begin file
115//
116// REWRITE: #ifndef FILE_H
117// REWRITE: #define FILE_H
118// REWRITE: #if 0
119// REWRITE: #include "fwd.h"
120// REWRITE: #endif
121// REWRITE-NOT: #pragma clang module import fwd
122// REWRITE: #endif
123//
124// NO-REWRITE-NOT: struct __FILE;
125//
126// REWRITE: #pragma clang module end
127// CHECK: # 2 "{{.*}}file2.h" 2
128// NO-REWRITE: #pragma clang module end
129// NO-REWRITE: # 2 "{{.*}}file2.h"{{$}}
130// ==== return to file2.h
131//
132// CHECK: extern int file2;
133//
134// REWRITE: #pragma clang module end
135// CHECK: # 3 "<module-includes>" 2
136// NO-REWRITE: #pragma clang module end
137
138
139__FILE *a; // expected-error-re {{{{declaration of '__FILE' must be imported|unknown type name '__FILE'}}}}
140#if FILE_REWRITE
141// expected-note@file.rewrite.ii:* {{here}}
142#elif FILE_REWRITE_FULL
143// No note diagnostic at all in this case: we've built the 'file' module but not loaded it into this compilation yet.
144#elif REWRITE
145// expected-note@rewrite.ii:* {{here}}
146#elif COPY
147// expected-note@copy.ii:* {{here}}
148#else
149// expected-note@no-rewrite.ii:* {{here}}
150#endif
151
152#ifdef INCLUDE
153#include "file.h"
154#else
155#pragma clang module import file
156#endif
157
158FILE *b;
159int x = file2; // ok, found in file2.h, even under -DINCLUDE
160
CodeThinker, Enjoy your reading code