x86-64 Pjmptbl: normalize the argument before indexing into the jump table - #595

x86-64 Pjmptbl: normalize the argument before indexing into the jump table#595

xavierleroy merged 4 commits into

masterAbsInt/CompCert:masterfrom

x86_64-jmptblAbsInt/CompCert:x86_64-jmptblCopy head branch name to clipboard