ef8821e5db
It seems there have only been a small amount to the compiler-rt source code in the mean time. I'd rather have the code in sync as much as possible by the time we release 9.0. Changes: - The libcompiler_rt library is now dual licensed under both the University of Illinois "BSD-Like" license and the MIT license. - Our local modifications for using .hidden instead of .private_extern have been upstreamed, meaning our changes to lib/assembly.h can now be reverted. - A possible endless recursion in __modsi3() has been fixed. - Support for ARM EABI has been added, but it has no effect on FreeBSD (yet). - The functions __udivmodsi4 and __divmodsi4 have been added. Requested by: many, including bf@ and Pedro Giffuni
47 lines
1.9 KiB
ArmAsm
47 lines
1.9 KiB
ArmAsm
//===-- switch.S - Implement switch* --------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "../assembly.h"
|
|
|
|
//
|
|
// When compiling switch statements in thumb mode, the compiler
|
|
// can use these __switch* helper functions The compiler emits a blx to
|
|
// the __switch* function followed by a table of displacements for each
|
|
// case statement. On entry, R0 is the index into the table. The __switch*
|
|
// function uses the return address in lr to find the start of the table.
|
|
// The first entry in the table is the count of the entries in the table.
|
|
// It then uses R0 to index into the table and get the displacement of the
|
|
// address to jump to. If R0 is greater than the size of the table, it jumps
|
|
// to the last entry in the table. Each displacement in the table is actually
|
|
// the distance from lr to the label, thus making the tables PIC.
|
|
|
|
|
|
.text
|
|
.syntax unified
|
|
|
|
//
|
|
// The table contains signed 4-byte sized elements which are the distance
|
|
// from lr to the target label.
|
|
//
|
|
.align 2
|
|
DEFINE_COMPILERRT_PRIVATE_FUNCTION(__switch32)
|
|
ldr ip, [lr, #-1] // get first 32-bit word in table
|
|
cmp r0, ip // compare with index
|
|
add r0, lr, r0, lsl #2 // compute address of element in table
|
|
ldrcc r0, [r0, #3] // load 32-bit element if r0 is in range
|
|
add ip, lr, ip, lsl #2 // compute address of last element in table
|
|
ldrcs r0, [ip, #3] // load 32-bit element if r0 out of range
|
|
add ip, lr, r0 // compute label = lr + element
|
|
bx ip // jump to computed label
|
|
|
|
|
|
// tell linker it can break up file at label boundaries
|
|
.subsections_via_symbols
|
|
|