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 // FIXME: For now, we need the headers to exist.
18 // RUN: touch %t/file.h %t/file2.h
19 // 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
20 // 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
21 
22 // Check that we can load the original module map in the same compilation (this
23 // could happen if we had a redundant -fmodule-map-file= in the original
24 // build).
25 // 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
26 
27 // Check the module we built works.
28 // RUN: %clang_cc1 -fmodules -fmodule-file=%t/no-rewrite.pcm %s -verify
29 // RUN: %clang_cc1 -fmodules -fmodule-file=%t/rewrite.pcm %s -verify
30 
31 
32 // == module map
33 // CHECK: # 1 "{{.*}}module.modulemap"
34 // CHECK: module file {
35 // CHECK:   header "file.h"
36 // CHECK:   header "file2.h"
37 // CHECK: }
38 
39 // == file.h
40 // CHECK: # 1 "<module-includes>"
41 // REWRITE: #if 0
42 // REWRITE: #include "file.h"
43 // REWRITE: #endif
44 //
45 // FIXME: It would be preferable to consistently put the module begin/end in
46 // the same file, but the relative ordering of PP callbacks and module
47 // begin/end tokens makes that difficult.
48 //
49 // REWRITE: #pragma clang module begin file
50 // CHECK: # 1 "{{.*}}file.h" 1
51 // NO-REWRITE: #pragma clang module begin file
52 // NO-REWRITE: # 1 "{{.*}}file.h"{{$}}
53 //
54 // CHECK: struct __FILE;
55 // CHECK: #pragma clang module import fwd /* clang {{-E|-frewrite-includes}}: implicit import
56 // CHECK: typedef struct __FILE FILE;
57 //
58 // REWRITE: #pragma clang module end
59 // CHECK: # 2 "<module-includes>" 2
60 // NO-REWRITE: #pragma clang module end
61 
62 // == file2.h
63 // REWRITE: #if 0
64 // REWRITE: #include "file2.h"
65 // REWRITE: #endif
66 //
67 // REWRITE: #pragma clang module begin file
68 // CHECK: # 1 "{{.*}}file2.h" 1
69 // NO-REWRITE: #pragma clang module begin file
70 //
71 // ==== recursively re-enter file.h
72 // REWRITE: #if 0
73 // REWRITE: #include "file.h"
74 // REWRITE: #endif
75 //
76 // REWRITE: #pragma clang module begin file
77 // CHECK: # 1 "{{.*}}file.h" 1
78 // NO-REWRITE: #pragma clang module begin file
79 // NO-REWRITE: # 1 "{{.*}}file.h"{{$}}
80 //
81 // CHECK: struct __FILE;
82 // CHECK: #pragma clang module import fwd /* clang {{-E|-frewrite-includes}}: implicit import
83 // CHECK: typedef struct __FILE FILE;
84 //
85 // REWRITE: #pragma clang module end
86 // CHECK: # 2 "{{.*}}file2.h" 2
87 // NO-REWRITE: #pragma clang module end
88 // NO-REWRITE: # 2 "{{.*}}file2.h"{{$}}
89 // ==== return to file2.h
90 //
91 // CHECK: extern int file2;
92 //
93 // REWRITE: #pragma clang module end
94 // CHECK: # 3 "<module-includes>" 2
95 // NO-REWRITE: #pragma clang module end
96 
97 
98 // expected-no-diagnostics
99 
100 // FIXME: This should be rejected: we have not imported the submodule defining it yet.
101 __FILE *a;
102 
103 #pragma clang module import file
104 
105 FILE *b;
106 int x = file2;
107