> По какой такой идее?

По такой - HD4000 сто лет как должны работать с драйвером R600g. А то что к ним не применимы оптимизации LLVM для новомодных GCN'ов о которых в новости (GCN заметно отличаются архитектурно от более старых VLIW) - ну, бывают в жизни огорчения.

> Ты мне лучше объясни>, как это проверить

Как проверить что у тебя ... работает видеокарта? :) Ок, я могу посоветовать довольно хардкорный вариант: запусти набор тестов piglit. Он популярно расскажет что и где у тебя (не)работает. Только стоит учесть что он не миндальничает и поэтому с древним и бажным граф. стеком есть шансы что завалится вся система или как минимум в ней отвалится графика (а GPU recovery в ядре 3.8 был "не очень").

> и убедиться, что работает правильно,

А вон piglit запусти (в этом месте я почему-то делаю хитрый тролфэйс).

А если ты спрашивал про оптимизации для GCN'ов - так HD4000 это VLIW и их это не касается. Это две разные архитектуры, настолько что под GCN отдельный драйвер стали делать, хоть и на основе R600g, но - как форк.

> каки должно,

Да, знаешь, я тоже думаю что графический стек у вас в состоянии "кaкa". А кто сомневается - я вон рецепт для проверки граф. стека на гуанистость дал :)