The attribute is translated into LLVM's function attribute 'readnone'.
There is no explicit verification regarding conflicting 'readnone'
and function attributes from 'passthrough', though, LLVM would assert
if they are incompatible during LLVM IR creation.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
Okay, so this requires extending the "importer" (ConvertFromLLVMIR.cpp). Does it make sense to implement it in this differential or it would be better to do it separately?
Comment Actions
Please let me know if I need to split the "importer" changes into a new differential. Otherwise, this should be ready for review. Thanks!
Nit: remove spurious braces.