fix DevDiv_601045 assert (#17685)

Sergey Andreenko · web-flow · commit 10b2161a6f7f · 2018-04-20T01:28:19.000-07:00
diff --git a/src/jit/emit.cpp b/src/jit/emit.cpp
@@ -7254,7 +7254,9 @@ const char* emitter::emitOffsetToLabel(unsigned offs)
 
     for (ig = emitIGlist; ig != nullptr; ig = ig->igNext)
     {
-        assert(nextof == ig->igOffs);
+        // There is an eventual unused space after the last actual hot block
+        // before the first allocated cold block.
+        assert((nextof == ig->igOffs) || (ig == emitFirstColdIG));
 
         if (ig->igOffs == offs)
         {

Original file line number	Diff line number	Diff line change
`@@ -7254,7 +7254,9 @@ const char* emitter::emitOffsetToLabel(unsigned offs)`
`7254`	`7254`
`7255`	`7255`	`for (ig = emitIGlist; ig != nullptr; ig = ig->igNext)`
`7256`	`7256`	`{`
`7257`		`- assert(nextof == ig->igOffs);`
	`7257`	`+ // There is an eventual unused space after the last actual hot block`
	`7258`	`+ // before the first allocated cold block.`
	`7259`	`+ assert((nextof == ig->igOffs) \|\| (ig == emitFirstColdIG));`
`7258`	`7260`
`7259`	`7261`	`if (ig->igOffs == offs)`
`7260`	`7262`	`{`