Разница между неоптимизированным и оптимизированным кодом солидности

Я пытаюсь найти источник того, в чем разница между оптимизированным и неоптимизированным кодом. Мой главный вопрос заключается в том, что делает неоптимизированный компилятор, особенно в смысле вызова SSTOREопкода.

Допустим, у меня есть это:

contract A{
    uint8 mem1;
    uint8 mem2;

    function store(uint8 store1, uint8 store2){
        mem1=store1;
        mem2=store2;
    }
}

Когда я скомпилировал это «тупым» способом, я SSTOREдважды вызывал, чтобы сохранить обе переменные. Однако, чтобы оптимизировать это, я бы выделил первые 8 битов uint256( SSTOREвсегда хранит uint256) для , mem1а вторые 8 бит - для mem2. Таким образом, мне нужно позвонить SSTOREтолько один раз за транзакцию. Однако это может привести к небольшим накладным расходам в другом коде, который может иметь контракт, поскольку нам нужно извлечь правильные биты. SSTOREпотребляет 20 тыс. газа при сохранении ненулевого значения, поэтому оптимизация этого кода экономит 20 тыс. газа.

Вызывает ли неоптимизированный компилятор при компиляции кода SSTOREдважды или один раз? Я знаю, что могу проверить это сам, скомпилировав и прочитав файл OPCODES, но я хотел бы найти источник того, что должны делать оба компилятора.