mirror of
https://github.com/RPCSX/llvm.git
synced 2025-02-02 10:32:56 +00:00
6d7a4a2886
PPCISelDAGToDAG has a transformation that generates a rlwimi instruction from an input pattern that looks like this: and(or(x, c1), c2) but the associated logic does not work if there are bits that are 1 in c1 but 0 in c2 (these are normally canonicalized away, but that can't happen if the 'or' has other users. Make sure we abort the transformation if such bits are discovered. Fixes PR24704. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246900 91177308-0d34-0410-b5e6-96231b3b80d8
28 lines
584 B
LLVM
28 lines
584 B
LLVM
; RUN: llc < %s | FileCheck %s
|
|
target datalayout = "E-m:e-i64:64-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
@m = external global i32, align 4
|
|
|
|
; Function Attrs: nounwind
|
|
define signext i32 @main() #0 {
|
|
entry:
|
|
|
|
; CHECK-LABEL: @main
|
|
; CHECK-NOT: rlwimi
|
|
; CHECK: andi
|
|
|
|
%0 = load i32, i32* @m, align 4
|
|
%or = or i32 %0, 250
|
|
store i32 %or, i32* @m, align 4
|
|
%and = and i32 %or, 249
|
|
%sub.i = sub i32 %and, 0
|
|
%sext = shl i32 %sub.i, 24
|
|
%conv = ashr exact i32 %sext, 24
|
|
ret i32 %conv
|
|
}
|
|
|
|
attributes #0 = { nounwind "target-cpu"="pwr7" }
|
|
attributes #1 = { nounwind }
|
|
|