+
+int input_available() {
+
+ static HANDLE inh = NULL;
+ static bool usePipe = false;
+ INPUT_RECORD rec[256];
+ DWORD nchars, recCnt;
+
+ if (!inh)
+ {
+ inh = GetStdHandle(STD_INPUT_HANDLE);
+ if (GetConsoleMode(inh, &nchars))
+ {
+ SetConsoleMode(inh, nchars & ~(ENABLE_MOUSE_INPUT | ENABLE_WINDOW_INPUT));
+ FlushConsoleInputBuffer(inh);
+ } else
+ usePipe = true;
+ }
+
+ // When using Standard C input functions, also check if there
+ // is anything in the buffer. After a call to such functions,
+ // the input waiting in the pipe will be copied to the buffer,
+ // and the call to PeekNamedPipe can indicate no input available.
+ // Setting stdin to unbuffered was not enough. [from Greko]
+ if (stdin->_cnt > 0)
+ return 1;
+
+ // When running under a GUI the input commands are sent to us
+ // directly over the internal pipe. If PeekNamedPipe() returns 0
+ // then something went wrong. Probably the parent program exited.
+ // Returning 1 will make the next call to the input function
+ // return EOF, where this should be catched then.
+ if (usePipe)
+ return PeekNamedPipe(inh, NULL, 0, NULL, &nchars, NULL) ? nchars : 1;
+
+ // Count the number of unread input records, including keyboard,
+ // mouse, and window-resizing input records.
+ GetNumberOfConsoleInputEvents(inh, &nchars);
+
+ // Read data from console without removing it from the buffer
+ if (nchars <= 0 || !PeekConsoleInput(inh, rec, Min(nchars, 256), &recCnt))
+ return 0;
+
+ // Search for at least one keyboard event
+ for (DWORD i = 0; i < recCnt; i++)
+ if (rec[i].EventType == KEY_EVENT)
+ return 1;
+
+ return 0;
+}
+
+#endif
+
+
+/// prefetch() preloads the given address in L1/L2 cache. This is a non
+/// blocking function and do not stalls the CPU waiting for data to be
+/// loaded from memory, that can be quite slow.
+#if defined(NO_PREFETCH)
+
+void prefetch(char*) {}
+
+#else
+
+void prefetch(char* addr) {
+
+#if defined(__INTEL_COMPILER) || defined(__ICL)
+ // This hack prevents prefetches to be optimized away by
+ // Intel compiler. Both MSVC and gcc seems not affected.
+ __asm__ ("");