Ticket #8509: testcase-1-981648-vsoptimizer-bug.cpp

// testcase-981648-vsoptimizer-bug.cpp
// 
// Testcase 1 - Optimizer generates a movups statement where, according to Andrey Semashev, it should generate a movdqu
// 
// Compile and link this with x64 platform
//                      #TargetFrameworkVersion=v4.0:PlatformToolSet=v120:EnableManagedIncrementalBuild=false:VCToolArchitecture=Native32Bit
//                      Release | x64 | c:\users\kir.izt\documents\visual studio 2013\Projects\testcase - 981648 - vsoptimizer - bug\ |
// cl.command.1.tlog is
// /c /Zi /nologo /W3 /WX- /sdl /O2 /Oi /D WIN32 /D NDEBUG /D _CONSOLE /D _LIB /D _UNICODE /D UNICODE /Gm- /EHsc /MT /GS /Gy /Zc:wchar_t /Zc:forScope /Fo"X64\RELEASE\\" /Fd"X64\RELEASE\VC120.PDB" /Gd /TP TESTCASE-981648-VSOPTIMIZER-BUG.CPP

#pragma region copied_from_boost_uuid_x86
#include <stddef.h>
#include <cstdint>
#include <crtdefs.h>
#include <stdio.h>

using std::uint8_t;

namespace std  {
        typedef ::size_t size_t;
        typedef ::ptrdiff_t ptrdiff_t;
}

#define BOOST_NOEXCEPT /*noexcept*/
#define BOOST_FORCEINLINE __forceinline
#define BOOST_CONSTEXPR /*constexpr*/

// MSVC does not always have immintrin.h (at least, not up to MSVC 10), so include the appropriate header for each instruction set
#if defined(BOOST_UUID_USE_SSE41)
#include <smmintrin.h>
#elif defined(BOOST_UUID_USE_SSE3)
#include <pmmintrin.h>
#else
#include <emmintrin.h>
#endif

namespace boost {
        namespace uuids {
                namespace detail {

                        BOOST_FORCEINLINE __m128i load_unaligned_si128(const uint8_t* p) BOOST_NOEXCEPT
                        {
#if defined(BOOST_UUID_USE_SSE3)
                                return _mm_lddqu_si128(reinterpret_cast<const __m128i*>(p));
#else
                                return _mm_loadu_si128(reinterpret_cast<const __m128i*>(p));
#endif
                        }

                } // namespace detail
        }
}


namespace boost {
        namespace uuids {

                struct uuid
                {
                public:
                        // or should it be array<uint8_t, 16>
                        uint8_t data[16];
                };

                bool operator== (uuid const& lhs, uuid const& rhs) BOOST_NOEXCEPT;
                bool operator< (uuid const& lhs, uuid const& rhs) BOOST_NOEXCEPT;


inline bool operator== (uuid const& lhs, uuid const& rhs) BOOST_NOEXCEPT
{
        register __m128i mm_left = uuids::detail::load_unaligned_si128(lhs.data);
        register __m128i mm_right = uuids::detail::load_unaligned_si128(rhs.data);

        register __m128i mm_cmp = _mm_cmpeq_epi32(mm_left, mm_right);
#if defined(BOOST_UUID_USE_SSE41)
        return _mm_test_all_ones(mm_cmp);
#else
        return _mm_movemask_epi8(mm_cmp) == 0xFFFF;
#endif
}

inline bool operator!=(uuid const& lhs, uuid const& rhs) BOOST_NOEXCEPT
{
        return !(lhs == rhs);
}
}}

using boost::uuids::uuid;
#pragma endregion copied_from_boost_uuid_x86

class headerProperty
{
public:
        virtual ~headerProperty() {}
};

class my_obj:public headerProperty
{
public:
        char tmp[8];
        uuid m_uuid;
        const uuid &get_marker_id() const { return m_uuid;  }
        uuid get_id() const { return m_uuid;  }
};

static my_obj g_my_obj;

void mp_grid_update_marker_parameters(headerProperty* header_prop, my_obj &current_marker)
{
        headerProperty *old_header_prop = NULL;
        while (old_header_prop == NULL) {
                my_obj *p = dynamic_cast<my_obj*>(header_prop);
                if (p != NULL && (current_marker.get_id() != p->get_marker_id())) {
                        wprintf(L"works okay, if it reaches this printf: %lx\n", (long)p);
                        old_header_prop = header_prop;
                }
        }
}

int main(int argc, wchar_t* argv[])
{
        my_obj *p = &g_my_obj;
        uuid one, two;
        one.data[0] = 1; two.data[0] = 0;

        //*****************************************
        // This != statement generates two movdqu statements
        if (one != two) {
                wprintf(L"works okay, if it reaches this printf.\n");
        } // else causes a GP
        my_obj a, b;

        //*****************************************
        // The != statement in this inlined function generates a movups and a movdqu statement
        mp_grid_update_marker_parameters(p, a);

        return 0;
}