mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 03:53:04 +02:00
bf0592c975
As it turns out, whether we zero-extend or sign-extend i8/i16 constants, which are illegal types promoted to i32 on PowerPC, is a choice constrained by assumptions within the infrastructure. Specifically, the logic in FunctionLoweringInfo::ComputePHILiveOutRegInfo assumes that constant PHI operands will be zero extended, and so, at least when materializing constants that are PHI operands, we must do the same. The rest of our fast-isel implementation does not appear to depend on the fact that we were sign-extending i8/i16 constants, and all other targets also appear to zero-extend small-bitwidth constants in fast-isel; we'll now do the same (we had been doing this only for i1 constants, and sign-extending the others). Fixes PR27721. llvm-svn: 280614
137 lines
3.4 KiB
LLVM
137 lines
3.4 KiB
LLVM
; FIXME: FastISel currently returns false if it hits code that uses VSX
|
|
; registers and with -fast-isel-abort=1 turned on the test case will then fail.
|
|
; When fastisel better supports VSX fix up this test case.
|
|
;
|
|
; RUN: llc < %s -O0 -verify-machineinstrs -mattr=-vsx -fast-isel-abort=1 -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s --check-prefix=ELF64
|
|
|
|
define i32 @t1(i8 signext %a) nounwind {
|
|
%1 = sext i8 %a to i32
|
|
ret i32 %1
|
|
}
|
|
|
|
define i32 @t2(i8 zeroext %a) nounwind {
|
|
%1 = zext i8 %a to i32
|
|
ret i32 %1
|
|
}
|
|
|
|
define i32 @t3(i16 signext %a) nounwind {
|
|
%1 = sext i16 %a to i32
|
|
ret i32 %1
|
|
}
|
|
|
|
define i32 @t4(i16 zeroext %a) nounwind {
|
|
%1 = zext i16 %a to i32
|
|
ret i32 %1
|
|
}
|
|
|
|
define void @foo(i8 %a, i16 %b) nounwind {
|
|
; ELF64: foo
|
|
%1 = call i32 @t1(i8 signext %a)
|
|
; ELF64: extsb
|
|
%2 = call i32 @t2(i8 zeroext %a)
|
|
; ELF64: rldicl {{[0-9]+}}, {{[0-9]+}}, 0, 56
|
|
%3 = call i32 @t3(i16 signext %b)
|
|
; ELF64: extsh
|
|
%4 = call i32 @t4(i16 zeroext %b)
|
|
; ELF64: rldicl {{[0-9]+}}, {{[0-9]+}}, 0, 48
|
|
|
|
;; A few test to check materialization
|
|
%5 = call i32 @t2(i8 zeroext 255)
|
|
; ELF64: rldicl {{[0-9]+}}, {{[0-9]+}}, 0, 56
|
|
%6 = call i32 @t4(i16 zeroext 65535)
|
|
; ELF64: rldicl {{[0-9]+}}, {{[0-9]+}}, 0, 48
|
|
ret void
|
|
}
|
|
|
|
define void @foo2() nounwind {
|
|
%1 = call signext i16 @t5()
|
|
%2 = call zeroext i16 @t6()
|
|
%3 = call signext i8 @t7()
|
|
%4 = call zeroext i8 @t8()
|
|
ret void
|
|
}
|
|
|
|
declare signext i16 @t5();
|
|
declare zeroext i16 @t6();
|
|
declare signext i8 @t7();
|
|
declare zeroext i8 @t8();
|
|
|
|
define i32 @t10(i32 %argc, i8** nocapture %argv) nounwind {
|
|
entry:
|
|
; ELF64: t10
|
|
%call = call i32 @bar(i8 zeroext 0, i8 zeroext -8, i8 zeroext -69, i8 zeroext 28, i8 zeroext 40, i8 zeroext -70)
|
|
; ELF64: li 3, 0
|
|
; ELF64: li 4, 248
|
|
; ELF64: li 5, 187
|
|
; ELF64: li 6, 28
|
|
; ELF64: li 7, 40
|
|
; ELF64: li 8, 186
|
|
; ELF64: rldicl 3, 3, 0, 56
|
|
; ELF64: rldicl 4, 4, 0, 56
|
|
; ELF64: rldicl 5, 5, 0, 56
|
|
; ELF64: rldicl 6, 6, 0, 56
|
|
; ELF64: rldicl 7, 7, 0, 56
|
|
; ELF64: rldicl 8, 8, 0, 56
|
|
ret i32 0
|
|
}
|
|
|
|
declare i32 @bar(i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext)
|
|
|
|
define i32 @bar0(i32 %i) nounwind {
|
|
ret i32 0
|
|
}
|
|
|
|
; Function pointers are not yet implemented.
|
|
;define void @foo3() uwtable {
|
|
; %fptr = alloca i32 (i32)*, align 8
|
|
; store i32 (i32)* @bar0, i32 (i32)** %fptr, align 8
|
|
; %1 = load i32 (i32)*, i32 (i32)** %fptr, align 8
|
|
; %call = call i32 %1(i32 0)
|
|
; ret void
|
|
;}
|
|
|
|
; Intrinsic calls not yet implemented, and udiv isn't one for PPC anyway.
|
|
;define i32 @LibCall(i32 %a, i32 %b) {
|
|
;entry:
|
|
; %tmp1 = udiv i32 %a, %b ; <i32> [#uses=1]
|
|
; ret i32 %tmp1
|
|
;}
|
|
|
|
declare void @float_foo(float %f)
|
|
|
|
define void @float_const() nounwind {
|
|
entry:
|
|
; ELF64: float_const
|
|
call void @float_foo(float 0x401C666660000000)
|
|
; ELF64: addis [[REG:[0-9]+]], 2, .LCPI[[SUF:[0-9_]+]]@toc@ha
|
|
; ELF64: lfs 1, .LCPI[[SUF]]@toc@l([[REG]])
|
|
ret void
|
|
}
|
|
|
|
define void @float_reg(float %dummy, float %f) nounwind {
|
|
entry:
|
|
; ELF64: float_reg
|
|
call void @float_foo(float %f)
|
|
; ELF64: fmr 1, 2
|
|
ret void
|
|
}
|
|
|
|
declare void @double_foo(double %d)
|
|
|
|
define void @double_const() nounwind {
|
|
entry:
|
|
; ELF64: double_const
|
|
call void @double_foo(double 0x1397723CCABD0000401C666660000000)
|
|
; ELF64: addis [[REG2:[0-9]+]], 2, .LCPI[[SUF2:[0-9_]+]]@toc@ha
|
|
; ELF64: lfd 1, .LCPI[[SUF2]]@toc@l([[REG2]])
|
|
ret void
|
|
}
|
|
|
|
define void @double_reg(double %dummy, double %d) nounwind {
|
|
entry:
|
|
; ELF64: double_reg
|
|
call void @double_foo(double %d)
|
|
; ELF64: fmr 1, 2
|
|
ret void
|
|
}
|