I'm vaguely sympathetic to these crypto people's end goals (talking about things like constant time evaluation & secret hiding), but it's really not what general purpose compilers are even thinking about most of the time so I doubt it'll ever be more than a hack that mostly works.
They'll probably need some kind of specialized compiler of their own if they want to be serious about it. Or carry on with asm.
They'll probably need some kind of specialized compiler of their own if they want to be serious about it. Or carry on with asm.