diff options
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/platform-intrinsics/x86/rdrand.json | 27 | ||||
| -rw-r--r-- | src/etc/platform-intrinsics/x86/rdseed.json | 27 |
2 files changed, 54 insertions, 0 deletions
diff --git a/src/etc/platform-intrinsics/x86/rdrand.json b/src/etc/platform-intrinsics/x86/rdrand.json new file mode 100644 index 00000000000..fa2feb4224b --- /dev/null +++ b/src/etc/platform-intrinsics/x86/rdrand.json @@ -0,0 +1,27 @@ +{ + "intrinsic_prefix": "_rdrand", + "llvm_prefix": "llvm.x86.rdrand.", + "intrinsics": [ + { + "intrinsic": "16_step", + "width": ["0"], + "llvm": "16", + "ret": "(U16,S32)", + "args": [] + }, + { + "intrinsic": "32_step", + "width": ["0"], + "llvm": "32", + "ret": "(U32,S32)", + "args": [] + }, + { + "intrinsic": "64_step", + "width": ["0"], + "llvm": "64", + "ret": "(U64,S32)", + "args": [] + } + ] +} diff --git a/src/etc/platform-intrinsics/x86/rdseed.json b/src/etc/platform-intrinsics/x86/rdseed.json new file mode 100644 index 00000000000..7be64b583e0 --- /dev/null +++ b/src/etc/platform-intrinsics/x86/rdseed.json @@ -0,0 +1,27 @@ +{ + "intrinsic_prefix": "_rdseed", + "llvm_prefix": "llvm.x86.rdseed.", + "intrinsics": [ + { + "intrinsic": "16_step", + "width": ["0"], + "llvm": "16", + "ret": "(U16,S32)", + "args": [] + }, + { + "intrinsic": "32_step", + "width": ["0"], + "llvm": "32", + "ret": "(U32,S32)", + "args": [] + }, + { + "intrinsic": "64_step", + "width": ["0"], + "llvm": "64", + "ret": "(U64,S32)", + "args": [] + } + ] +} |