| ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-none-linux < %s | FileCheck %s | |
| ; Check that all current floating-point types are correctly emitted to assembly | |
| ; on a big-endian target. x86_fp80 can't actually print for unrelated reasons, | |
| ; but that's not really a problem. | |
| @var128 = global fp128 0xL00000000000000008000000000000000, align 16 | |
| @varppc128 = global ppc_fp128 0xM80000000000000000000000000000000, align 16 | |
| @var64 = global double -0.0, align 8 | |
| @var32 = global float -0.0, align 4 | |
| @var16 = global half -0.0, align 2 | |
| ; CHECK: var128: | |
| ; CHECK-NEXT: .quad -9223372036854775808 # fp128 -0 | |
| ; CHECK-NEXT: .quad 0 | |
| ; CHECK-NEXT: .size | |
| ; CHECK: varppc128: | |
| ; CHECK-NEXT: .quad -9223372036854775808 # ppc_fp128 -0 | |
| ; CHECK-NEXT: .quad 0 | |
| ; CHECK-NEXT: .size | |
| ; CHECK: var64: | |
| ; CHECK-NEXT: .quad -9223372036854775808 # double -0 | |
| ; CHECK-NEXT: .size | |
| ; CHECK: var32: | |
| ; CHECK-NEXT: .long 2147483648 # float -0 | |
| ; CHECK-NEXT: .size | |
| ; CHECK: var16: | |
| ; CHECK-NEXT: .short 32768 # half -0 | |
| ; CHECK-NEXT: .size | |