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 -DFILE_REWRITE_FULL -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 158 FILE *b; 159 int x = file2; // ok, found in file2.h, even under -DINCLUDE 160