mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-29 10:32:47 +00:00
40cd57eb5c
The assert was being triggered when the distance between a constant pool entry and its user exceeded the maximally allowed distance after thumb2 branch shortening. A padding was inserted after a thumb2 branch instruction was shrunk, which caused the user to be out of range. This is wrong as the padding should have been inserted by the layout algorithm so that the distance between two instructions doesn't grow later during thumb2 instruction optimization. This commit fixes the code in ARMConstantIslands::createNewWater to call computeBlockSize and set BasicBlock::Unalign when a branch instruction is inserted to create new water after a basic block. A non-zero Unalign causes the worst-case padding to be inserted when adjustBBOffsetsAfter is called to recompute the basic block offsets. rdar://problem/19130476 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225467 91177308-0d34-0410-b5e6-96231b3b80d8
43 lines
1.3 KiB
LLVM
43 lines
1.3 KiB
LLVM
; RUN: llc < %s -mtriple=thumbv7-apple-ios %s -o - | FileCheck %s
|
|
|
|
@g0 = common global i32 0, align 4
|
|
@d0 = common global double 0.000000e+00, align 8
|
|
@f0 = common global float 0.000000e+00, align 4
|
|
@g1 = common global i32 0, align 4
|
|
|
|
declare i32 @llvm.arm.space(i32, i32)
|
|
|
|
; Check that the constant island pass moves the float constant pool entry inside
|
|
; the function.
|
|
|
|
; CHECK: .long 1067320814 @ float 1.23455596
|
|
; CHECK: {{.*}} %do.end
|
|
|
|
define i32 @testpadding(i32 %a) {
|
|
entry:
|
|
%0 = load i32* @g0, align 4
|
|
%add = add nsw i32 %0, 12
|
|
store i32 %add, i32* @g0, align 4
|
|
%1 = load double* @d0, align 8
|
|
%add1 = fadd double %1, 0x3FF3C0B8ED46EACB
|
|
store double %add1, double* @d0, align 8
|
|
%tmpcall11 = call i32 @llvm.arm.space(i32 28, i32 undef)
|
|
call void @foo20(i32 191)
|
|
%2 = load float* @f0, align 4
|
|
%add2 = fadd float %2, 0x3FF3C0BDC0000000
|
|
store float %add2, float* @f0, align 4
|
|
br label %do.body
|
|
|
|
do.body: ; preds = %do.body, %entry
|
|
tail call void @foo20(i32 19)
|
|
%3 = load i32* @g1, align 4
|
|
%tobool = icmp eq i32 %3, 0
|
|
br i1 %tobool, label %do.end, label %do.body
|
|
|
|
do.end: ; preds = %do.body
|
|
%tmpcall111 = call i32 @llvm.arm.space(i32 954, i32 undef)
|
|
ret i32 10
|
|
}
|
|
|
|
declare void @foo20(i32)
|