PowerPC {32, 64}-bit Block Trampolines

.github/workflows/main.yml

@@ -88,6 +88,10 @@ jobs:
             system-processor: riscv64
             triple: riscv64-linux-gnu
             rtld: ld-linux-riscv64-lp64d.so.1
+          - name: ppc64el
+            system-processor: powerpc64le
+            triple: powerpc64le-linux-gnu
+            rtld: ld64.so.2
         # lld versions prior to 15 do not support R_RISCV_ALIGN relocations
         exclude:
           - llvm-version: 13
@@ -108,7 +112,7 @@ jobs:
           sudo apt install libstdc++-9-dev-${{ matrix.arch.name }}-cross qemu-user ninja-build
       - name: Configure CMake
         run: |
-          export LDFLAGS="-L/usr/lib/llvm-${{ matrix.llvm-version }}/lib/ -fuse-ld=lld -Wl,--dynamic-linker=/usr/${{ matrix.arch.triple }}/lib/${{ matrix.arch.rtld }},-rpath,/usr/${{ matrix.arch.triple }}/lib"
+          export LDFLAGS="-L/usr/lib/llvm-${{ matrix.llvm-version }}/lib/ -fuse-ld=lld-${{ matrix.llvm-version}} -Wl,--dynamic-linker=/usr/${{ matrix.arch.triple }}/lib/${{ matrix.arch.rtld }},-rpath,/usr/${{ matrix.arch.triple }}/lib"
           cmake -B ${{github.workspace}}/build \
             -DCMAKE_SYSTEM_NAME=Linux \
             -DCMAKE_SYSTEM_PROCESSOR=${{ matrix.arch.system-processor }} \

CMake/detect_arch.c

@@ -7,6 +7,10 @@
 #error i386
 #elif defined(__x86_64__)
 #error x86_64
+#elif defined(__powerpc64__)
+#error powerpc64
+#elif defined(__powerpc__)
+#error powerpc
 #else
 #error unknown
 #endif

CMakeLists.txt

@@ -44,7 +44,7 @@ try_compile(
 )
 
 if(NOT COMPILE_SUCCESS)
-    string(REGEX MATCH "(aarch64|arm|i386|x86_64|unknown)" ARCHITECTURE ${COMPILE_OUTPUT})
+    string(REGEX MATCH "(aarch64|arm|i386|x86_64|powerpc64|powerpc|unknown)" ARCHITECTURE ${COMPILE_OUTPUT})
 endif()
 
 set(ARCHITECTURE ${ARCHITECTURE} CACHE STRING "Architecture Type")
@@ -244,6 +244,10 @@ if (WIN32 AND NOT MINGW)
 	target_link_libraries(objc ntdll.dll)
 endif()
 
+if (ARCHITECTURE STREQUAL "powerpc")
+	target_link_libraries(objc atomic)
+endif()
+
 target_link_libraries(objc tsl::robin_map)
 
 set_target_properties(objc PROPERTIES

Test/UnexpectedException.m

@@ -31,7 +31,7 @@ LONG WINAPI _UnhandledExceptionFilter(struct _EXCEPTION_POINTERS* exceptionInfo)
 
 int main(void)
 {
-#if !(defined(__arm__) || defined(__ARM_ARCH_ISA_A64))
+#if !(defined(__arm__) || defined(__ARM_ARCH_ISA_A64)) && !defined(__powerpc__)
 #if defined(_WIN32) && !defined(__MINGW32__)
 	// also verify that an existing handler still gets called after we set ours
 	SetUnhandledExceptionFilter(&_UnhandledExceptionFilter);

asmconstants.h

@@ -19,3 +19,12 @@
 #define SLOT_OFFSET    0
 #endif
 #define SMALLOBJ_MASK  ((1<<SMALLOBJ_BITS) - 1)
+
+// Page size configuration
+#if defined(__powerpc64__)
+#define PAGE_SIZE 65536
+#define PAGE_SHIFT 16
+#else
+#define PAGE_SIZE 4096
+#define PAGE_SHIFT 12
+#endif

block_to_imp.c

@@ -20,6 +20,7 @@
 #include "blocks_runtime.h"
 #include "lock.h"
 #include "visibility.h"
+#include "asmconstants.h" // For PAGE_SIZE
 
 #ifndef __has_builtin
 #define __has_builtin(x) 0
@@ -95,22 +96,26 @@ static int mprotect(void *buffer, size_t len, int prot)
 #	endif
 #endif
 
-#define PAGE_SIZE 4096
-
 struct block_header
 {
 	void *block;
 	void(*fnptr)(void);
 	/**
 	 * On 64-bit platforms, we have 16 bytes for instructions, which ought to
-	 * be enough without padding.  On MIPS, we need 
+	 * be enough without padding.
 	 * Note: If we add too much padding, then we waste space but have no other
 	 * ill effects.  If we get this too small, then the assert in
 	 * `init_trampolines` will fire on library load.
+	 *
+	 * PowerPC: We need INSTR_CNT * INSTR_LEN = 7*4 = 28 bytes
+	 * for instruction. sizeof(block_header) must be a divisor of
+	 * PAGE_SIZE, so we need to pad block_header to 32 bytes.
+	 * On PowerPC 64-bit where sizeof(void *) = 8 bytes, we
+	 * add 16 bytes of padding.
 	 */
-#if defined(__i386__) || (defined(__mips__) && !defined(__mips_n64))
+#if defined(__i386__) || (defined(__mips__) && !defined(__mips_n64)) || (defined(__powerpc__) && !defined(__powerpc64__))
 	uint64_t padding[3];
-#elif defined(__mips__)
+#elif defined(__mips__) || defined(__powerpc64__)
 	uint64_t padding[2];
 #elif defined(__arm__)
 	uint64_t padding;

block_trampolines.S

@@ -1,4 +1,5 @@
 #include "common.S"
+#include "asmconstants.h"
 
 #
 # This file defines some trampolines for calling blocks.  A block function
@@ -98,6 +99,45 @@
 #define ARG1 $a1
 #define ARG2 $a2
 
+#elif defined(__powerpc__)
+////////////////////////////////////////////////////////////////////////////////
+// PowerPC trampoline
+////////////////////////////////////////////////////////////////////////////////
+
+#if defined(__powerpc64__)
+#define LOAD ld
+#define OFFSET 8
+#else
+#define LOAD lwz
+#define OFFSET 4
+#endif
+
+.macro trampoline arg0, arg1
+	mfctr %r12                   # The block trampoline is always called
+                                 # via a function pointer. We can thus
+                                 # assume that ctr contains the trampline
+                                 # entry point address from the previous
+                                 # branch to this trampoline (bctrl).
+
+	#if PAGE_SHIFT < 16
+	addi  %r12, %r12, -PAGE_SIZE # Substract page size from entry point
+	#else
+	addis %r12, %r12, (-0x1 << (PAGE_SHIFT - 16))
+	#endif
+
+	mr    \arg1, \arg0
+	LOAD  \arg0, 0(%r12)
+	LOAD  %r12, OFFSET(%r12)
+	mtctr %r12                   # Move block function pointer into ctr
+	bctr                         # Branch to block function
+.endm
+
+#define ARG0 %r3
+#define ARG1 %r4
+#define ARG2 %r5
+#define SARG0 ARG1
+#define SARG1 ARG2
+
 #elif defined(__riscv) && (__riscv_xlen == 64)
 ////////////////////////////////////////////////////////////////////////////////
 // RISC-V trampoline