Searched refs:minus_x (Results 1 – 2 of 2) sorted by relevance
| /third_party/mbedtls/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 16 uint64_t minus_x = ~x + (uint64_t)1U; in FStar_UInt64_eq_mask() local
17 uint64_t x_or_minus_x = x | minus_x; in FStar_UInt64_eq_mask()
38 uint32_t minus_x = ~x + (uint32_t)1U; in FStar_UInt32_eq_mask() local
39 uint32_t x_or_minus_x = x | minus_x; in FStar_UInt32_eq_mask()
60 uint16_t minus_x = ~x + (uint16_t)1U; in FStar_UInt16_eq_mask() local
61 uint16_t x_or_minus_x = x | minus_x; in FStar_UInt16_eq_mask()
82 uint8_t minus_x = ~x + (uint8_t)1U; in FStar_UInt8_eq_mask() local
83 uint8_t x_or_minus_x = x | minus_x; in FStar_UInt8_eq_mask()
|
| /third_party/node/deps/v8/src/codegen/ |
| D | code-stub-assembler.cc | 397 TNode<Float64T> minus_x = Float64Neg(x); in Float64Ceil() local
398 var_x = Float64Sub(Float64Add(two_52, minus_x), two_52); in Float64Ceil()
399 GotoIfNot(Float64GreaterThan(var_x.value(), minus_x), &return_minus_x); in Float64Ceil()
449 TNode<Float64T> minus_x = Float64Neg(x); in Float64Floor() local
450 var_x = Float64Sub(Float64Add(two_52, minus_x), two_52); in Float64Floor()
451 GotoIfNot(Float64LessThan(var_x.value(), minus_x), &return_minus_x); in Float64Floor()
540 TNode<Float64T> minus_x = Float64Neg(x); in Float64Trunc() local
541 var_x = Float64Sub(Float64Add(two_52, minus_x), two_52); in Float64Trunc()
542 GotoIfNot(Float64GreaterThan(var_x.value(), minus_x), &return_minus_x); in Float64Trunc()
|