diff options
| author | Robert Norton | 2018-05-18 15:41:36 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-18 15:41:40 +0100 |
| commit | 29b96cc942b0032044e2d219afb89a08d2c88ef6 (patch) | |
| tree | 0c091e4ebb19e2743e79bacdd0ceb899ab49ad29 /lib/main.ml | |
| parent | 7548f9b549bbb2b23598d3eb62eca1c3feeeb5cc (diff) | |
cheri: add support for clc with big immediate (clcbi). This is quite easily done by making it decode to same CLC ast node and extending length of immediate field to 16 bits. cscbi is not supported as the feeling is that it will not be needed.
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions