Similar to Javascript assert() Its a developer annotation of expected values.

; some code above
; for example, I expect my value in %_2.1 is always true
%1 = call i1 @llvm.expect.i1(i1 %_2.1, i1 true)

Not a very useful intrinsic