1; RUN: llc -mtriple=powerpc64-none-linux < %s | FileCheck %s
2
3; Check that all current floating-point types are correctly emitted to assembly
4; on a big-endian target. x86_fp80 can't actually print for unrelated reasons,
5; but that's not really a problem.
6
7@var128 = global fp128 0xL00000000000000008000000000000000, align 16
8@varppc128 = global ppc_fp128 0xM80000000000000000000000000000000, align 16
9@var64 = global double -0.0, align 8
10@var32 = global float -0.0, align 4
11@var16 = global half -0.0, align 2
12
13; CHECK: var128:
14; CHECK-NEXT: .quad -9223372036854775808      # fp128 -0
15; CHECK-NEXT: .quad 0
16; CHECK-NEXT: .size
17
18; CHECK: varppc128:
19; CHECK-NEXT: .quad -9223372036854775808      # ppc_fp128 -0
20; CHECK-NEXT: .quad 0
21; CHECK-NEXT: .size
22
23; CHECK: var64:
24; CHECK-NEXT: .quad -9223372036854775808      # double -0
25; CHECK-NEXT: .size
26
27; CHECK: var32:
28; CHECK-NEXT: .long 2147483648                # float -0
29; CHECK-NEXT: .size
30
31; CHECK: var16:
32; CHECK-NEXT: .short 32768                    # half -0
33; CHECK-NEXT: .size
34
35