You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I recently encountered a situation in which I wanted to scan a Crucible-LLVM-syntax file for declares to decide which LLVM overrides to register. However, I realized that the S-expression syntax makes it impossible to declare functions with names matching various LLVM intrinsics, e.g. llvm.memset.p0i8.i64, because they contain ., which is lexically invalid as part of function names. This is odd, because internally, Crucible represents function names as plain Text, meaning there is no necessary reason to forbid additional characters. We should probably allow more characters in the syntax so that it can express more valid Crucible CFGs.
The text was updated successfully, but these errors were encountered:
I recently encountered a situation in which I wanted to scan a Crucible-LLVM-syntax file for
declare
s to decide which LLVM overrides to register. However, I realized that the S-expression syntax makes it impossible todeclare
functions with names matching various LLVM intrinsics, e.g.llvm.memset.p0i8.i64
, because they contain.
, which is lexically invalid as part of function names. This is odd, because internally, Crucible represents function names as plainText
, meaning there is no necessary reason to forbid additional characters. We should probably allow more characters in the syntax so that it can express more valid Crucible CFGs.The text was updated successfully, but these errors were encountered: