pullrequests Search Results · topic:nlp org:IntelLabs fork:true language:OCaml
Filter by
94 results
inIntelLabs (press backspace or delete to remove)The topic qualifier is not supported when searching pull requests. Try searching for repositories instead?
- The return types of Std::SInt::Unsigned and Std::SInt::*Divide need one more bit to represent the result than the
size of the input.
More specifically:
Std::SInt::Unsigned(x : ...
alastairreid
This fixes a bug in code generated for Sign_Extend where we were missing a cast.
Specifically, we were mis-compiling Zero_Extend(not x, 64) because the not x was being performed at width 64 instead of ...
Literal hex numbers are treated as bitvectors, and the tests constructed the min 128-bit integer by negating an unsigned
value:
let min_128 := -Std::Bits::Unsigned(0x8000_0000_0000_0000_0000_0000_0000_0000); ...
nikolaykosarev
This is necessary to make the github workflow match the isa-tools.opam.locked file.
The handling of __let x = e1 __in e2 (which, like in OCaml lets you assign to a temporary variable in the middle of an
expression), was not handling the fact that the scope of the variable x is just e2 ...
Tcheck: treat trivially false range checks as errors
This makes expressions like 0b1[3:0] or 3 / 0 into typechecking errors instead of just runtime errors.
Note that this only applies when
1) Expressions ...
For FFI imported functions that return more than 64 bits, like this
function F() - (Bits(512), Boolean);
We need to generate an FFI wrapper that includes a line like this
uint64_t c_r0[8]; bool c_r1; ...
Tested that IA spec compiles. It has quite significant changes on the generated IA spec C code.
Literal hex constants like 0xFF now have type : Bits(4*digits) . They used to have type : Integer .
The --language-version flag gives control over whether this is enabled or not. I decided on a version ...
When I tried replacing the config.json files in tests, I found that the new .isa ffi language features were not fully
implemented. So this finishes the implementation (but leaves config.json support in ...