Позволяет ли модель памяти C ++ 11 выводить расслабленные атомарные нагрузки из циклов?

Рассмотрим следующий код:

#include <atomic>

extern std::atomic<int> i;

void f(void)
{
while (!i.load(std::memory_order_relaxed))
;
}

Я ищу цитату из стандарта C ++ 11, в которой говорится, что компилятору не разрешено преобразовывать цикл в

  if (!i.load(std::memory_order_relaxed)) {
while (1)
;
}

Я видел некоторое обсуждение Вот но ничего неопровержимого.

редактироватьПредыдущая версия этого поста называлась внешней функцией внутри цикла.

Редактировать 2: Для мотивации: в книге «Эффективная Java» говорится, что виртуальная машина HotSpot выполняет следующее преобразование:

while (!done)
i++;

в

if (!done)
while (true)
i++;

хотя это совершенно определенное поведение для другого потока, чтобы изменить сделанный переменная одновременно.