PC Rel addressing change

pennyannn · Aug 21, 2024 · d53f4bc · d53f4bc
1 parent 671b83b
commit d53f4bc
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 9 deletions.
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
@@ -51,11 +51,6 @@ jobs:
       run: |
           ./scripts/build_awslc.sh
 
-    # - name: Run ELFLoader Tests for AWS-LC (MacOS)
-    #   if : ${{ runner.os == 'macOS' }}
-    #   run: |
-    #       make awslc_elftests
-
     - name: Run LNSym Makefile (Ubuntu)
       if : ${{ runner.os != 'macOS' }}
       run: |

diff --git a/Tests/ELFParser/AWSLCAESV8.lean b/Tests/ELFParser/AWSLCAESV8.lean
@@ -20,8 +20,8 @@ info: [0xa9bf7bfd#32,
  0x54000e8c#32,
  0x7200143f#32,
  0x54000e41#32,
- 0xb001d523#32,
- 0x91350063#32,
+ 0xf0ffdbc3#32,
+ 0x91008063#32,
  0x7103003f#32,
  0x6e201c00#32,
  0x4cdf7003#32,

diff --git a/Tests/ELFParser/AWSLCSHA2.lean b/Tests/ELFParser/AWSLCSHA2.lean
@@ -11,8 +11,8 @@ info: [0xa9bf7bfd#32,
  0x4cdf2030#32,
  0x4cdf2034#32,
  0x4c402c00#32,
- 0xb001d4a3#32,
- 0x91050063#32,
+ 0xd0ffdb43#32,
+ 0x91100063#32,
  0x4e200a10#32,
  0x4e200a31#32,
  0x4e200a52#32,