search

GaloisInc / llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding
Other
28 stars 15 forks source link

Implement nonnull attribute #31

Open langston-barrett opened 5 years ago

langston-barrett commented 5 years ago

The nonnull attribute doesn't seem to have a representation in the AST.

It looks like it should go here: https://github.com/elliottt/llvm-pretty/blob/3d629c0093ba55a58aaa5c1d334059f0b71ba3d9/src/Text/LLVM/AST.hs#L455

elliottt commented 5 years ago

Yep, it does look like it's missing: http://llvm.org/docs/LangRef.html#paramattrs.