c++ - g++ -O2 incorrectly optimize out SIMD variable assignment -

-

I am writing a program using Intel AVX 2 instructions. I found a bug in my program that appears with the optimization level-O2 or higher (plus-O1 is good). After detailed debugging, I reduce the buggy area. Now the bug seems to be compiler because it is wrong to customize a simple copy assignment of the variable __ m256i .

Consider the following code snippet. Fu is a templated function I test with CMP = kLess, OPT = kSet . I know the optimizer might optimize the switch. This variable can also be optimized for y

buggy line y = m_lt; . When compiled with -O2, this line is being ignored . Then y does not get the right value and the program generates false results. However, the program is correct -O1

To verify my decision, I y = m_lt; with two options:

y = avx_or (m_lt, avx_zero ()); BitWord or m_lt and all-0s vector

y = _mm256_load_si256 (& amp; m_lt); Use the CID Load Instructions to load data from m_lt address.

Both, i.e. y = m_lt; is intended to prevent some customization by adding some functions. This program works well with both these replacements under all customization levels. So the problem is weird for the sake of my knowledge, the direct functioning of the CID variable is definitely fine (I used it long ago). Will this be a problem related to the compiler? 

  typed __M 256i AVXUNIT; Template & lt; Comparator CMP, Bitwise OPT & gt; Zero Foo () {AvxUnit m_lt; // ... emphasis (! Avx_iszero (m_lt)); // Always pass AVXUnit y; Switch (CMP) {Case comparator :: Acquire: y = m_eq; break; Case comparator :: knenequal: y = avx_not (m_eq); break; Case comparator :: of Las: y = m_lt; // ********** bug? ************ / y = AVX_OR (M_LT, AX_Jerro ()); // Replace with this line is good. // y = _mm256_load_se256 (& amp; m_lt); // Change with this line is also very good breakdown; Case comparator :: kGreater: y = m_gt; break; Case comparator :: kLessEqual: y = avx_or (m_lt, m_eq); break; Case comparator :: kGreaterEqual: y = avx_or (m_gt, m_eq); break; } Switch (opt) {case beat: cassette: break; Case Beaty: K: y = Ax_and (Y, Biwblock-> Gatevc.UNIT (BV_WORD_ID)); break; Case Bitwise :: Core: y = Ax_Cor (Y, BVBlock-> GateVWUNNIT (BV_WORD_ID)); break; } Emphasize (! Avx_iszero (y)); // with Pass-O1, failed with -O2 or higher- bvblock-> SetAvxUnit (y, bv_word_id); // ...}    
 
 
 Reason for which the compiler might remove assignment That line of code should be  dead   code  so your  CMP  is not possible  Comparator :: kLess .  
 Try it as an assignment  __ asm__ volatile  statement and they can not be optimized.  
 To declare as  m_lt  the volatile will probably not affect your performance but it is a filthy hack to fix it. I look more at the  CMP  variable and see if it can also take the  value of .

Comments

Post a Comment

Popular posts from this blog

php - PDO bindParam() fatal error -

-
I am trying to learn PDO, now I have written this small code, but it gives me a serious error: < P> Fatal error: Call a member function at a non-object dot () ... $ con = new mysqli ("127.0.0.1", "root", "", "csvdangercheck"); $ Query = $ con- & gt; ("Id,` var1`, `var2`) values ​​(" id,: var1,: var2) ";); $ query- & gt; bypass pattern (': id', $ id); $ query- & gt; BindParam (': var1', $ VAL1); $ Query- & gt; bindParam (': var2', $ val2); $ Query-> Executed (); I Trying to use print_r ($ con-> errorInfo ()) but Fatal error: Undefined method mysqli :: errorInfo ( ) ... can someone tell me what am I missing? Flaffeh said, you have PDO Missing Mysqy, try it: $ con = new PDO ('mysql: host = 127.0.0.1; dbname = csvdangercheck', 'root', '');
Read more

logging - How can I log both the Request.InputStream and Response.OutputStream traffic in my ASP.NET MVC3 Application for specific Actions? -

-
For a specific set of tasks, I need to log in to the incoming request inputstream as well as outgoing response. is. I am using an ActionFilterAttribute for this and overriding the OnActionExecuted and OnResultExecuted methods. So I'm starting with this idea ... Public category ActionLoggerAttribute: ActionFilterArrbit {Public Override Zero On-Offed Execution (ActionActioned Contact Filter Filter) {base.OnActionAxecuted (FilterContext); HttpRequestBase request = filterContext.HttpContext.Request; // TODO: Log the request. InputStream} Public Override Zero OnResultExecuted (ResultExecutedContext FilterContext) {base.OnResultExecuted (filterContext); HTTPRPSPointBase Response = FilterContacts Hpptex response; // TODO: Log on Response.OutputStream}} Ideally I'll hook it up with enterprise library logging because I'm already using it for error logging. Am I reaching the input and output stream at the right time? Can I easily use the Enterprise Library to log i
Read more

java - Why my included JSP file won't get processed correctly? -

-
I am trying to create Java web framework (and learning), and on the basis of 'Code Generator In the process of making the material view of the database in the process of development, I stumbled into a difficulty, which I do not know how to solve it. First of all, I want the following index.jsp : & lt; Body & gt; Use all pages to be created. & Lt;% @ include file = "header.jsp"% & gt; & Lt; Hours / & gt; & Lt;% @ included file = "body.jsp"%> & Lt; Hours / & gt; & Lt;% @ include file = "footer.jsp"% & gt; & Lt; / Body & gt; And, in body.jsp , I should have it like this: & lt; Jsp: include page = "$ {Application_modul}"%> Where application_modul is an attribute defined in its controller: request.setAttribute ("application_modul", "USER_ACCOUNT \\ ' View_user_account.jsp "); This file can be found properly, but the processed JSP does
Read more