[PowerPC] [FastISel] i1 constants must be zero extended

When materializing constant i1 values, they must be zero extended. We represent
i1 values as [0, 1], not [0, -1], in i32 registers. As it turns out, this code
path was dead for i1 values prior to r216006 (which is why this did not manifest in
miscompiles until recently).

Fixes -O0 self-hosting on PPC64/Linux.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@224842 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Hal Finkel 2014-12-25 23:08:25 +00:00
parent b582949103
commit d7b2788e51
2 changed files with 28 additions and 1 deletions

View File

@ -2109,7 +2109,7 @@ unsigned PPCFastISel::fastMaterializeConstant(const Constant *C) {
else if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
return PPCMaterializeGV(GV, VT);
else if (isa<ConstantInt>(C))
return PPCMaterializeInt(C, VT);
return PPCMaterializeInt(C, VT, VT != MVT::i1);
return 0;
}

View File

@ -0,0 +1,27 @@
; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck %s --check-prefix=ELF64
define zeroext i1 @testi1(i8 %in) nounwind uwtable ssp {
entry:
%c = icmp eq i8 %in, 5
br i1 %c, label %true, label %false
; ELF64-LABEL: @testi1
true:
br label %end
; ELF64-NOT: li {{[0-9]+}}, -1
; ELF64: li {{[0-9]+}}, 1
false:
br label %end
; ELF64: li {{[0-9]+}}, 0
end:
%r = phi i1 [ 0, %false], [ 1, %true ]
ret i1 %r
; ELF64: blr
}