xref: /llvm-project/llvm/test/CodeGen/AArch64/arm64-promote-const-complex-initializers.ll (revision f1200ca7ac88c6ff9aa4fe3b560cf326dc3d4e25)
1; RUN: llc -o - %s | FileCheck %s
2
3; AsmPrinter cannot lower floating point constant expressions in global
4; initializers. Check that we do not create new globals with float constant
5; expressions in initializers.
6
7target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
8target triple = "arm64-apple-ios14.0.0"
9
10define [1 x <4 x float>] @test1() {
11; CHECK-LABEL:    .p2align    4, 0x0              ; -- Begin function test1
12; CHECK-NEXT: lCPI0_0:
13; CHECK-NEXT:     .quad   0                       ; 0x0
14; CHECK-NEXT:     .quad   4575657221408423936     ; 0x3f80000000000000
15; CHECK-NEXT:     .section    __TEXT,__text,regular,pure_instructions
16; CHECK-NEXT:     .globl  _test1
17; CHECK-NEXT:     .p2align    2
18; CHECK-NEXT: _test1:                                 ; @test1
19; CHECK-NEXT:     .cfi_startproc
20; CHECK-NEXT: ; %bb.0:
21; CHECK-NEXT: Lloh0:
22; CHECK-NEXT:     adrp    x8, lCPI0_0@PAGE
23; CHECK-NEXT: Lloh1:
24; CHECK-NEXT:     ldr q0, [x8, lCPI0_0@PAGEOFF]
25; CHECK-NEXT:     ret
26
27  ret [1 x <4 x float>] [<4 x float> bitcast (<1 x i128> <i128 84405977732342157929391748327801880576> to <4 x float>)]
28}
29
30define [1 x <4 x float>] @test2() {
31; CHECK-LABEL:    .p2align    4, 0x0              ; -- Begin function test2
32; CHECK-NEXT: lCPI1_0:
33; CHECK-NEXT:     .long   0x80000000              ; float -0
34; CHECK-NEXT:     .long   0x80000000              ; float -0
35; CHECK-NEXT:     .long   0x80000000              ; float -0
36; CHECK-NEXT:     .long   0xbf800000              ; float -1
37; CHECK-NEXT:     .section    __TEXT,__text,regular,pure_instructions
38; CHECK-NEXT:     .globl  _test2
39; CHECK-NEXT:     .p2align    2
40; CHECK-NEXT: _test2:                                 ; @test2
41; CHECK-NEXT:     .cfi_startproc
42; CHECK-NEXT: ; %bb.0:
43; CHECK-NEXT: Lloh2:
44; CHECK-NEXT:     adrp    x8, lCPI1_0@PAGE
45; CHECK-NEXT: Lloh3:
46; CHECK-NEXT:     ldr q0, [x8, lCPI1_0@PAGEOFF]
47; CHECK-NEXT:     ret
48;
49  %constexpr = fneg float extractelement (<4 x float> bitcast (<1 x i128> <i128 84405977732342157929391748327801880576> to <4 x float>), i32 0)
50  %constexpr1 = fneg float extractelement (<4 x float> bitcast (<1 x i128> <i128 84405977732342157929391748327801880576> to <4 x float>), i32 1)
51  %constexpr2 = fneg float extractelement (<4 x float> bitcast (<1 x i128> <i128 84405977732342157929391748327801880576> to <4 x float>), i32 2)
52  %constexpr3 = fneg float extractelement (<4 x float> bitcast (<1 x i128> <i128 84405977732342157929391748327801880576> to <4 x float>), i32 3)
53  %constexpr.ins = insertelement <4 x float> poison, float %constexpr, i32 0
54  %constexpr.ins4 = insertelement <4 x float> %constexpr.ins, float %constexpr1, i32 1
55  %constexpr.ins5 = insertelement <4 x float> %constexpr.ins4, float %constexpr2, i32 2
56  %constexpr.ins6 = insertelement <4 x float> %constexpr.ins5, float %constexpr3, i32 3
57  %constexpr.ins7 = insertvalue [1 x <4 x float>] poison, <4 x float> %constexpr.ins6, 0
58  ret [1 x <4 x float>] %constexpr.ins7
59}
60