1 // The MIT License (MIT)
2 //
3 // 	Copyright (c) 2015 Sergey Makeev, Vadim Slyusarev
4 //
5 // 	Permission is hereby granted, free of charge, to any person obtaining a copy
6 // 	of this software and associated documentation files (the "Software"), to deal
7 // 	in the Software without restriction, including without limitation the rights
8 // 	to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9 // 	copies of the Software, and to permit persons to whom the Software is
10 // 	furnished to do so, subject to the following conditions:
11 //
12 //  The above copyright notice and this permission notice shall be included in
13 // 	all copies or substantial portions of the Software.
14 //
15 // 	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 // 	IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 // 	FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 // 	AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 // 	LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 // 	OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
21 // 	THE SOFTWARE.
22 
23 
24 #include <MTConfig.h>
25 
26 #if MT_PLATFORM_WINDOWS
27 
28 #include <type_traits>
29 
30 #define MW_SKIP_FUNCTIONS
31 #include "MicroWindows.h"
32 
33 #ifndef WIN32_LEAN_AND_MEAN
34 	#define WIN32_LEAN_AND_MEAN
35 #endif
36 
37 #ifdef _WIN32_WINNT
38 	#undef _WIN32_WINNT
39 #endif
40 
41 
42 #define _WIN32_WINNT 0x0403
43 #include <windows.h>
44 
45 
46 
47 //
48 // Here we will check that the MicroWindows.h is fully compatible with the standard Windows.h
49 //
50 
51 // Check types
52 static_assert(sizeof(MW_DWORD) == sizeof(DWORD), "MW_DWORD != DWORD");
53 static_assert(sizeof(MW_DWORD) == sizeof(uint32), "MW_DWORD != uint32");
54 static_assert(sizeof(MW_WORD) == sizeof(WORD), "MW_WORD != WORD");
55 static_assert(sizeof(MW_WORD) == sizeof(uint16), "MW_WORD != uint16");
56 static_assert(sizeof(MW_DWORD64) == sizeof(DWORD64), "MW_DWORD64 != DWORD64");
57 static_assert(sizeof(MW_DWORD64) == sizeof(uint64), "MW_DWORD64 != uint64");
58 static_assert(sizeof(MW_BOOL) == sizeof(BOOL), "MW_BOOL != BOOL");
59 static_assert(sizeof(MW_HANDLE) == sizeof(HANDLE), "MW_HANDLE != HANDLE");
60 static_assert(sizeof(MW_LARGE_INTEGER) == sizeof(LARGE_INTEGER), "MW_LARGE_INTEGER != LARGE_INTEGER");
61 static_assert(sizeof(MW_SYSTEM_INFO) == sizeof(SYSTEM_INFO), "MW_SYSTEM_INFO != SYSTEM_INFO");
62 static_assert(sizeof(MW_CRITICAL_SECTION) == sizeof(CRITICAL_SECTION), "MW_CRITICAL_SECTION != CRITICAL_SECTION");
63 static_assert(sizeof(MW_CONDITION_VARIABLE) == sizeof(CONDITION_VARIABLE), "MW_CRITICAL_SECTION != CRITICAL_SECTION");
64 static_assert(sizeof(MW_CONTEXT) == sizeof(CONTEXT), "MW_CONTEXT != CONTEXT");
65 
66 // Check defines and flags
67 static_assert(MW_ERROR_TIMEOUT == ERROR_TIMEOUT, "MW_ERROR_TIMEOUT != ERROR_TIMEOUT");
68 static_assert(MW_THREAD_PRIORITY_LOWEST == THREAD_PRIORITY_LOWEST, "MW_THREAD_PRIORITY_LOWEST != THREAD_PRIORITY_LOWEST");
69 static_assert(MW_THREAD_PRIORITY_NORMAL == THREAD_PRIORITY_NORMAL, "MW_THREAD_PRIORITY_NORMAL != THREAD_PRIORITY_NORMAL");
70 static_assert(MW_THREAD_PRIORITY_HIGHEST == THREAD_PRIORITY_HIGHEST, "MW_THREAD_PRIORITY_HIGHEST != THREAD_PRIORITY_HIGHEST");
71 static_assert(MW_CREATE_SUSPENDED == CREATE_SUSPENDED, "MW_CREATE_SUSPENDED != CREATE_SUSPENDED");
72 static_assert(MW_MAXIMUM_PROCESSORS == MAXIMUM_PROCESSORS, "MW_MAXIMUM_PROCESSORS != MAXIMUM_PROCESSORS");
73 static_assert(MW_INFINITE == INFINITE, "MW_INFINITE != INFINITE");
74 static_assert(MW_WAIT_OBJECT_0 == WAIT_OBJECT_0, "MW_WAIT_OBJECT_0 != WAIT_OBJECT_0");
75 static_assert(MW_CONTEXT_FULL == CONTEXT_FULL, "MW_CONTEXT_FULL != CONTEXT_FULL");
76 static_assert(MW_MEM_COMMIT == MEM_COMMIT, "MW_MEM_COMMIT != MEM_COMMIT");
77 static_assert(MW_PAGE_READWRITE == PAGE_READWRITE, "MW_PAGE_READWRITE != PAGE_READWRITE");
78 static_assert(MW_PAGE_NOACCESS == PAGE_NOACCESS, "MW_PAGE_NOACCESS != PAGE_NOACCESS");
79 static_assert(MW_MEM_RELEASE == MEM_RELEASE, "MW_MEM_RELEASE != MEM_RELEASE");
80 //static_assert(MW_FIBER_FLAG_FLOAT_SWITCH == FIBER_FLAG_FLOAT_SWITCH, "MW_FIBER_FLAG_FLOAT_SWITCH != FIBER_FLAG_FLOAT_SWITCH");
81 
82 
83 // Check offsets
84 static_assert(MW_CURRENT_FIBER_OFFSET == FIELD_OFFSET(NT_TIB, FiberData), "MW_STACK_BASE_OFFSET != FIELD_OFFSET(NT_TIB, StackBase)");
85 static_assert(MW_STACK_BASE_OFFSET == FIELD_OFFSET(NT_TIB, StackBase), "MW_STACK_BASE_OFFSET != FIELD_OFFSET(NT_TIB, StackBase)");
86 static_assert(MW_STACK_STACK_LIMIT_OFFSET == FIELD_OFFSET(NT_TIB, StackLimit), "MW_STACK_STACK_LIMIT_OFFSET != FIELD_OFFSET(NT_TIB, StackLimit)");
87 static_assert(FIELD_OFFSET(MW_SYSTEM_INFO, dwPageSize) == FIELD_OFFSET(SYSTEM_INFO, dwPageSize), "FIELD_OFFSET(MW_SYSTEM_INFO, dwPageSize) != FIELD_OFFSET(SYSTEM_INFO, dwPageSize)");
88 static_assert(FIELD_OFFSET(MW_SYSTEM_INFO, dwNumberOfProcessors) == FIELD_OFFSET(SYSTEM_INFO, dwNumberOfProcessors), "FIELD_OFFSET(MW_SYSTEM_INFO, dwNumberOfProcessors) != FIELD_OFFSET(SYSTEM_INFO, dwNumberOfProcessors)");
89 static_assert(FIELD_OFFSET(MW_CONTEXT, ContextFlags) == FIELD_OFFSET(CONTEXT, ContextFlags), "FIELD_OFFSET(MW_CONTEXT, ContextFlags) != FIELD_OFFSET(CONTEXT, ContextFlags)");
90 
91 #if MT_PTR64
92 
93 static_assert(FIELD_OFFSET(MW_CONTEXT, Rsp) == FIELD_OFFSET(CONTEXT, Rsp), "FIELD_OFFSET(MW_CONTEXT, Rsp) != FIELD_OFFSET(CONTEXT, Rsp)");
94 static_assert(FIELD_OFFSET(MW_CONTEXT, Rip) == FIELD_OFFSET(CONTEXT, Rip), "FIELD_OFFSET(MW_CONTEXT, Rip) != FIELD_OFFSET(CONTEXT, Rip)");
95 
96 #else
97 
98 static_assert(FIELD_OFFSET(MW_CONTEXT, Esp) == FIELD_OFFSET(CONTEXT, Esp), "FIELD_OFFSET(MW_CONTEXT, Esp) != FIELD_OFFSET(CONTEXT, Esp)");
99 static_assert(FIELD_OFFSET(MW_CONTEXT, Eip) == FIELD_OFFSET(CONTEXT, Eip), "FIELD_OFFSET(MW_CONTEXT, Eip) != FIELD_OFFSET(CONTEXT, Eip)");
100 
101 #endif
102 
103 
104 
DummyAssignableCheck()105 void DummyAssignableCheck()
106 {
107 	// Visual Studio 2010 is not support std::is_same<>, but we just need a compile error when types are different
108 	// so dummy assignable check here
109 
110 	TThreadStartFunc mw_func = nullptr;
111 	LPTHREAD_START_ROUTINE func = nullptr;
112 
113 	//check TThreadStartFunc is equal to LPTHREAD_START_ROUTINE
114 	mw_func = func;
115 }
116 
117 #endif
118