Visual C++ Optymalizator poprawki dla programu Visual Studio 2015 r. Aktualizacja 3

Rozwiązanie

Problemy rozwiązane w tej poprawce

Ta poprawka rozwiązuje następujące problemy:

• Naprawia błąd w oknie Optymalizator podczas podnoszenia sklepu warunkowe wariantu pętli, poza pętlą: #include <cstdlib> #include <cassert> struct Foo { int a; int b; }; int main() { Foo foo; foo.b = rand(); int a = rand(); int b = foo.b; for (int i = 0; i < 10; ++i) { int inner_b = b; int inner_a = a; if (inner_b < 0) // This gets incorrect hoisted outside the loop. // A workaround is /d2SSAOptimizer- { inner_a = 0; inner_b = 0; } if (inner_b >= 0) assert(inner_a == a); a += b; } return 0; }

   

• Poprawka dla błąd dzielenia liczby całkowitej w oknie Optymalizator: #include <stdio.h> volatile int z = 0; int main() { unsigned a, b; __int64 c; a = z; c = a; c = (c == 0) ? 1LL : c; b = (unsigned)((__int64)a * 100 / c); // Division was made unconditional // incorrectly creating a divide by zero. // A workaround is /d2SSAOptimizer- printf("%u\n", b); return 0; }

   

• Poprawka dla błąd dzielenia liczby całkowitej w oknie Optymalizator: int checkchecksum(int suly, int ell, int utkodert) { int x; ell -= utkodert; ell %= 103; if (suly - 1) utkodert /= (suly - 1); // Division was made unconditional, // incorrectly creating a potential divide by zero // A workaround is /d2SSAOptimizer- return utkodert; }

   

• Poprawka dla błąd dzielenia liczby całkowitej w oknie Optymalizator: typedef int unsigned uint; volatile uint out_index = 0; bool data[1] = {true}; bool __declspec(noinline) BugSSA(uint index) { uint group = index / 3; if (group == 0) // The division result being compared to zero is replaced // with a range check. We then incorrectly move the division { // to the next use of "group", without accounting for the fact // that "index" has changed. A workaround is /d2SSAOptimizer- return false; } index -= 3; group--; bool ret = data[group]; // crash here out_index = index; out_index = index; return ret; } int main() { volatile uint i = 3; return BugSSA(i); }

   

• Fix do awarii w oknie Optymalizator dla oddziału MIN_INT przez -1: int test_div(bool flag, int dummy) { int result = std::numeric_limits<int>::min(); int other; if (flag) other = -1; else other = dummy - 1 - dummy; result /= other; // We would push the division up into both arms of the // if-then-else. One of those divisions would cause the // optimizer to evaluate MIN_INT/-1.This is a crash, similar // to dividing by zero. A workaround is /d2SSAOptimizer- return result; }

   

• Poprawki do przepełnienia stosu w oknie Optymalizator: #include <stdio.h> // This example produced a stack overflow in the optimizer, which was // caused by mutually-recursive analysis functions not properly tracking // the number of times they were invocated. // A workaround is /d2SSAOptimizer- typedef unsigned char byte; typedef unsigned long long int uint64; int main() { const uint64 *sieveData = new uint64[1024]; uint64 bitIndexShift = 0; uint64 curSieveChunk = 0xfafd7bbef7ffffffULL & ~uint64(3); const unsigned int *NumbersCoprimeToModulo = new unsigned int[16]; const unsigned int *PossiblePrimesForModuloPtr = NumbersCoprimeToModulo; while (!curSieveChunk) { curSieveChunk = *(sieveData++); const uint64 NewValues = (16 << 8) | (32 << 24); bitIndexShift = (NewValues >> (bitIndexShift + 8)) & 255; PossiblePrimesForModuloPtr = NumbersCoprimeToModulo + bitIndexShift; } if (PossiblePrimesForModuloPtr - NumbersCoprimeToModulo != 0) { printf("fail"); return 1; } printf("pass"); return 0; }

   

• Napraw do generowania kodu o nieprawidłowym kiedy usuwanie nadmiarowych ruchomy punkt konwersje obejmujące przekonwertować int32 parametr do f64: #include <string> __declspec(noinline) void test(int Val) { double Val2 = Val; std::string Str; printf("%lld\n", __int64(Val2)); // We incorrectly try to read 64 bits of // floating point from the parameter area, // instead of reading 32 bits of integer // and converting it. A workaround is // to throw /d2SSAOptimizer- } int main() { test(6); test(7); return 0; }

   

• Naprawia błąd w oknie Optymalizator przy dzieleniu węzłów Wykres przepływu w domyślna deklaracja bloku przełącznika, aby uzyskać więcej informacji, zobacz https://bugs.chromium.org/p/chromium/issues/detail?id=627216#c15.

• Naprawia błąd w Optymalizator pętli, gdzie wykonujemy obniżenie wytrzymałości niepoprawne niepodpisane wtórne indukcji zmiennych, które są wielokrotności zmiennej indukcji podstawowego: #include <assert.h> #include <malloc.h> #include <stdio.h> typedef unsigned int uint; typedef unsigned char byte; /* There is a corner case in the compiler's loop optimizer. The corner case arose if an induction variable (IV) is a multiple of the loop index, and there's a comparison of the IV to an integer that is less than this multiplication factor. A workaround is to use #pragma optimize("", off) / #pragma optimize("", on) around the affected function. */ int main(int argc, char *argv[]) { const uint w = 256; const uint h = 64; const uint w_new = w >> 1; const uint h_new = h >> 1; const byte *const src = (byte *)malloc(w * h); byte *it_out = (byte *)malloc(w_new * h_new); int fail = 0; for (uint y_new = 0; y_new < h_new; ++y_new) { for (uint x_new = 0; x_new < w_new; ++x_new, ++it_out) { uint x = x_new * 2; uint y = y_new * 2; if (x < 1 || y < 1) { *it_out = 0; continue; } if (x != 0) { } else { fail = 1; } *it_out = 4 * src[y * w + x]; } } if (fail) { printf("fail\n"); return (1); } printf("pass\n"); return (0); }

   

• Oferuje rozwiązanie alternatywne dla C4883 ": funkcja rozmiar pomija optymalizacje". Gdy Optymalizator widzi funkcje, które są duże, to będą skalowane powrót optymalizacje, które wykonuje. Wydaje ostrzeżenie C4883 gdy odbywa się to, jeśli masz włączone ostrzeżenie za pośrednictwem /we4883. Jeśli chcesz zastąpić niniejszej decyzji pomija optymalizacje rzucić przełącznika /d2OptimizeHugeFunctions.

• Poprawki dotyczące awaria kompilatora c2! PpCanPropagateForward podczas wykonywania optymalizacje na x64.

• Poprawki do błędów Optymalizator pętli, obejmujące indukcji o nieprawidłowym zmiennej siły redukcji.

• Poprawki do zmiany kolejności niepoprawne wyrażeń, które obejmują odczyty i zapisuje do pamięci z powodu nieprawidłowy alias sprawdzanie.

• Poprawki dotyczące błąd przydzielania rejestr, który obejmuje generowanych przez kompilator tymczasowe panujące w wielu obsługi regionów wyjątków.

Stan

Firma Microsoft potwierdziła, że jest to problem występujący w produktach firmy Microsoft wymienionych w sekcji „Dotyczy”.