mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-23 02:29:18 +00:00
On modern cores with lfiw[az]x, we can fold a sign or zero extension from i32 to i64 into the load necessary for an i64 -> fp conversion. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225493 91177308-0d34-0410-b5e6-96231b3b80d8
70 lines
1.5 KiB
LLVM
70 lines
1.5 KiB
LLVM
; RUN: llc -mcpu=a2 < %s | FileCheck %s
|
|
target datalayout = "E-m:e-i64:64-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
; Function Attrs: nounwind
|
|
define double @foo1(i32* %x) #0 {
|
|
entry:
|
|
%0 = load i32* %x, align 4
|
|
%conv = sext i32 %0 to i64
|
|
%conv1 = sitofp i64 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @foo1
|
|
; CHECK: lfiwax [[REG1:[0-9]+]], 0, 3
|
|
; CHECK: fcfid 1, [[REG1]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
define double @foo2(i32* %x) #0 {
|
|
entry:
|
|
%0 = load i32* %x, align 4
|
|
%conv = zext i32 %0 to i64
|
|
%conv1 = sitofp i64 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @foo2
|
|
; CHECK: lfiwzx [[REG1:[0-9]+]], 0, 3
|
|
; CHECK: fcfid 1, [[REG1]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
define double @foo3(i32* %x) #0 {
|
|
entry:
|
|
%0 = load i32* %x, align 4
|
|
%1 = add i32 %0, 8
|
|
%conv = zext i32 %1 to i64
|
|
%conv1 = sitofp i64 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @foo3
|
|
; CHECK-DAG: lwz [[REG1:[0-9]+]], 0(3)
|
|
; CHECK-DAG: addi [[REG3:[0-9]+]], 1,
|
|
; CHECK-DAG: addi [[REG2:[0-9]+]], [[REG1]], 8
|
|
; CHECK-DAG: stw [[REG2]],
|
|
; CHECK: lfiwzx [[REG4:[0-9]+]], 0, [[REG3]]
|
|
; CHECK: fcfid 1, [[REG4]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
define double @foo4(i32* %x) #0 {
|
|
entry:
|
|
%0 = load i32* %x, align 4
|
|
%1 = add i32 %0, 8
|
|
%conv = sext i32 %1 to i64
|
|
%conv1 = sitofp i64 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @foo4
|
|
; CHECK-DAG: lwz [[REG1:[0-9]+]], 0(3)
|
|
; CHECK-DAG: addi [[REG3:[0-9]+]], 1,
|
|
; CHECK-DAG: addi [[REG2:[0-9]+]], [[REG1]], 8
|
|
; CHECK-DAG: stw [[REG2]],
|
|
; CHECK: lfiwax [[REG4:[0-9]+]], 0, [[REG3]]
|
|
; CHECK: fcfid 1, [[REG4]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
attributes #0 = { nounwind }
|
|
|