Богословская и Большая Свирская улицы - ул. Большая Краснофлотская.

1. Улица на планах Смоленска XIX-XX вв.

.
2. Большая Краснофлотская улица. Б.Н. Перлин, 2002 г.

.
Источник:
Б.Н. Перлин, Смоленск и его улицы – Историко-географические очерки, 2002 г., стр. 71-72.

.
3. Краснофлотская Большая улица // Улицы Смоленска : библиографический справочник / Смол. обл. универс. б-ка им. А. Т. Твардовского, Информ.-библиогр. отдел; сост. О. В. Назарова …

.
.
Источник:
См. О.В. Назарова: Библиографический справочник по улицам Смоленска, стр. 95-99.

.
Дополнено 04.08.2015 г. (1)
4. Некоторые особенности переименования улицы.

См. О.В. Назарова: Библиографический справочник по улицам Смоленска, стр. 95.

Да, в путеводителе 1933 г. улица Краснофлотская упоминается и среди адресов важнейших учреждений:

.
и как слободообразующая:
См. Путеводитель по Смоленску, 1933 г. стр. 65, 158.

Но, что важнее, Большая Краснофлотская упоминается как переименованная также и в Справочнике, отнесенном РГБ к тому же 1933 году:

.
См. Справочник учреждений и переименованных улиц г. Смоленска, 1933 г., стр.15.

Почему важнее:
– Здесь четко указано что Большая Краснофлотская образована из двух дореволюционных улиц.
– Причем в Большую Краснофлоткую улица переименована из уже давно (см., например выше фрагмент плана 1847 г.) существовавших под такими названиями Богословской и Большой Свирской (а не из якобы бывшей на этом месте до переименования Варяжской улицы).

Кстати, уточнение о том, что Большая Краснофлоткая образовалась при переименовании из двух улиц, внесено также и во второе издание книги Б.Н. Перлина (2012 г.).

Б.Н. Перлин, Смоленск и его улицы – Историко-географические очерки, 2002г., стр.72.

Перлин Б.Н. Смоленск и его улицы. Историко-географические очерки. / Б.Н. Перлин. — Смоленск: Смядынь, 2012. – 272 с.; стр. 80.

Дополнено 09.11.2016 (2)
5. В 1993 г. Б.А. Махотин предлагал ул. Краснофлотскую к переименованию «в числе первой волны» – в Свирскую.
«Улица СВИРСКАЯ.
Исторический и лингвистический памятник XII в. Топографически привязана к одному из древнейших архитектурных памятников города — церкви Свирской (Михаила Архангела). Смысловое значение названия раскрывается в связи с первыми смоленскими князьями — выходцами из Чернигово-Северской земли. Современное название (улица Краснофлотскаая) лишено информативности и и никакого отношения к Красному Флоту не имеет. К тому же оно отягощено словосложением».
Источник полностью см.:
Борис Махотин (в 1993-м) “Нужно ли старым улицам возвращать их первоначальные имена? Если да, то каким?”