fix: load opcode will trigger Implement Limitation on TRICORE (#697)

Author: HerrCai0907

RELEASENOTES.md

@@ -1,11 +1,17 @@
 # Wasm Compiler Release Notes
 
+## 3.0.4
+
+- Fixed the problem that load opcode will trigger Implement Limitation on TRICORE.
+
 ## 3.0.3
-Add u32 and u64 type to WasmValue
+
+- Add u32 and u64 type to WasmValue
 
 ## 3.0.2
 
 ### Feature
+
 - Add version number to checking to binary module
 
 ### Bug Fixes

src/core/common/VbExceptions.cpp

@@ -48,6 +48,9 @@ RuntimeError::operator const char *() const VB_NOEXCEPT {
   case (Code::Conditional_branches_or_lea_can_only_target_offsets_in_the_range___32kB): {
     return "Conditional branches or LEA can only target offsets in the range +-32kB";
   }
+  case Code::Conditional_branches_can_only_target_offsets_in_the_range_32B: {
+    return "Conditional branches can only target offsets in the range +32B";
+  }
   case (Code::Branches_can_only_target_offsets_in_the_range___16MB): {
     return "Branches can only target offsets in the range +-16MB";
   }

src/core/common/VbExceptions.hpp

@@ -41,6 +41,7 @@ class RuntimeError : public std::exception {
     Small_branches_can_only_target_unsigned_offsets_in_the_range___32B,
     Branches_can_only_target_offsets_in_the_range___128MB,
     Conditional_branches_or_lea_can_only_target_offsets_in_the_range___32kB,
+    Conditional_branches_can_only_target_offsets_in_the_range_32B,
     Branches_can_only_target_offsets_in_the_range___16MB,
     Maximum_offset_reached,
     BrHANDLE_ERRORanches_can_only_maximally_target_32_bit_signed_offsets,

src/core/compiler/backend/tricore/tricore_relpatchobj.cpp

@@ -62,8 +62,8 @@ void RelPatchObj::linkToBinaryPos(uint32_t const binaryPosition) const {
       assert(isBranch_ && "Must be branch");
       // Only disp4zx2 can be encoded
       UnsignedInRangeCheck<5U> const rangeCheck{UnsignedInRangeCheck<5U>::check(static_cast<uint32_t>(delta))};
-      if ((delta < 0) || (!in_range<5>(delta))) {
-        throw ImplementationLimitationException(ErrorCode::Conditional_branches_or_lea_can_only_target_offsets_in_the_range___32kB);
+      if (!rangeCheck.inRange()) {
+        throw ImplementationLimitationException(ErrorCode::Conditional_branches_can_only_target_offsets_in_the_range_32B);
       }
       static_cast<void>(instruction.setDisp4zx2(rangeCheck.safeInt()));
       return;