1 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-none-linux < %s | FileCheck %s
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.
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
14 ; CHECK-NEXT: .quad -9223372036854775808 # fp128 -0
19 ; CHECK-NEXT: .quad -9223372036854775808 # ppc_fp128 -0
24 ; CHECK-NEXT: .quad -9223372036854775808 # double -0
28 ; CHECK-NEXT: .long 2147483648 # float -0
32 ; CHECK-NEXT: .short 32768 # half -0