LLVM Chat

Добрый день, подскажите ещё вопрос по кодген тестам, пожалуйста. Не могу понять принцип их написания. Вот, например, тест из файла freeze.ll. Тут тестируется что freeze нормально отработал что ли? define i32 @freeze_int() { ; CHECK-LABEL: freeze_int: ; CHECK: // %bb.0: ; CHECK-NEXT: mul w0, w8, w8 ; CHECK-NEXT: ret %y1 = freeze i32 undef %t1 = mul i32 %y1, %y1 ret i32 %t1 }