35 lines · plain
1; RUN: llc -verify-machineinstrs -mtriple=powerpc64-none-linux < %s | FileCheck %s2 3; Check that all current floating-point types are correctly emitted to assembly4; 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 168@varppc128 = global ppc_fp128 0xM80000000000000000000000000000000, align 169@var64 = global double -0.0, align 810@var32 = global float -0.0, align 411@var16 = global half -0.0, align 212 13; CHECK: var128:14; CHECK-NEXT: .quad 0x8000000000000000 # fp128 -015; CHECK-NEXT: .quad 016; CHECK-NEXT: .size17 18; CHECK: varppc128:19; CHECK-NEXT: .quad 0x8000000000000000 # ppc_fp128 -020; CHECK-NEXT: .quad 021; CHECK-NEXT: .size22 23; CHECK: var64:24; CHECK-NEXT: .quad 0x8000000000000000 # double -025; CHECK-NEXT: .size26 27; CHECK: var32:28; CHECK-NEXT: .long 0x80000000 # float -029; CHECK-NEXT: .size30 31; CHECK: var16:32; CHECK-NEXT: .short 0x8000 # half -033; CHECK-NEXT: .size34 35