Why are unnecessary atomic loads not optimized away?

Question

Let\'s consider this trivial code:

#include 

std::atomic a;
void f(){
    for(int k=0;k<100;++k)
        a.load(std::memory_orde