Just write the following, compile with the right flags under clang, then call alive-tv synth.ll and see the result.
It should say something like :
ERROR: Value mismatch
Example:
i8 noundef zeroext %#0 = #x3c (60)
0x3c is inc a
{{ message }}