1; Test loads of 64-bit floating-point constants that can be represented
2; as 32-bit constants.
3;
4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CONST
6
7define double @f1() {
8; CHECK-LABEL: f1:
9; CHECK: larl [[REGISTER:%r[1-5]]], {{.*}}
10; CHECK: ldeb %f0, 0([[REGISTER]])
11; CHECK: br %r14
12;
13; CONST: .long 1065353217
14  ret double 0x3ff0000020000000
15}
16