[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / fp-to-int-ext.ll
bloba070a9501259a898a5f8c7228c3d242664827b37
1 ; RUN: llc -verify-machineinstrs -mcpu=a2 < %s | FileCheck %s
2 target datalayout = "E-m:e-i64:64-n32:64"
3 target triple = "powerpc64-unknown-linux-gnu"
5 ; Function Attrs: nounwind
6 define double @foo1(i32* %x) #0 {
7 entry:
8   %0 = load i32, i32* %x, align 4
9   %conv = sext i32 %0 to i64
10   %conv1 = sitofp i64 %conv to double
11   ret double %conv1
13 ; CHECK-LABEL: @foo1
14 ; CHECK: lfiwax [[REG1:[0-9]+]], 0, 3
15 ; CHECK: fcfid 1, [[REG1]]
16 ; CHECK: blr
19 define double @foo2(i32* %x) #0 {
20 entry:
21   %0 = load i32, i32* %x, align 4
22   %conv = zext i32 %0 to i64
23   %conv1 = sitofp i64 %conv to double
24   ret double %conv1
26 ; CHECK-LABEL: @foo2
27 ; CHECK: lfiwzx [[REG1:[0-9]+]], 0, 3
28 ; CHECK: fcfid 1, [[REG1]]
29 ; CHECK: blr
32 define double @foo3(i32* %x) #0 {
33 entry:
34   %0 = load i32, i32* %x, align 4
35   %1 = add i32 %0, 8
36   %conv = zext i32 %1 to i64
37   %conv1 = sitofp i64 %conv to double
38   ret double %conv1
40 ; CHECK-LABEL: @foo3
41 ; CHECK-DAG: lwz [[REG1:[0-9]+]], 0(3)
42 ; CHECK-DAG: addi [[REG3:[0-9]+]], 1,
43 ; CHECK-DAG: addi [[REG2:[0-9]+]], [[REG1]], 8
44 ; CHECK-DAG: stw [[REG2]],
45 ; CHECK: lfiwzx [[REG4:[0-9]+]], 0, [[REG3]]
46 ; CHECK: fcfid 1, [[REG4]]
47 ; CHECK: blr
50 define double @foo4(i32* %x) #0 {
51 entry:
52   %0 = load i32, i32* %x, align 4
53   %1 = add i32 %0, 8
54   %conv = sext i32 %1 to i64
55   %conv1 = sitofp i64 %conv to double
56   ret double %conv1
58 ; CHECK-LABEL: @foo4
59 ; CHECK-DAG: lwz [[REG1:[0-9]+]], 0(3)
60 ; CHECK-DAG: addi [[REG3:[0-9]+]], 1,
61 ; CHECK-DAG: addi [[REG2:[0-9]+]], [[REG1]], 8
62 ; CHECK-DAG: stw [[REG2]],
63 ; CHECK: lfiwax [[REG4:[0-9]+]], 0, [[REG3]]
64 ; CHECK: fcfid 1, [[REG4]]
65 ; CHECK: blr
68 attributes #0 = { nounwind }