1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=armv8-unknown-linux-unknown -mattr=-fp16 -O0 < %s | FileCheck %s
3
4declare fastcc half @getConstant()
5
6declare fastcc i1 @isEqual(half %0, half %1)
7
8define internal fastcc void @main() {
9; CHECK-LABEL: main:
10; CHECK:       @ %bb.0: @ %Entry
11; CHECK-NEXT:    push {r11, lr}
12; CHECK-NEXT:    mov r11, sp
13; CHECK-NEXT:    sub sp, sp, #16
14; CHECK-NEXT:    mov r0, #31744
15; CHECK-NEXT:    strh r0, [r11, #-2]
16; CHECK-NEXT:    ldrh r0, [r11, #-2]
17; CHECK-NEXT:    bl __gnu_h2f_ieee
18; CHECK-NEXT:    vmov s0, r0
19; CHECK-NEXT:    vstr s0, [sp, #4] @ 4-byte Spill
20; CHECK-NEXT:    bl getConstant
21; CHECK-NEXT:    vmov r0, s0
22; CHECK-NEXT:    bl __gnu_h2f_ieee
23; CHECK-NEXT:    vmov s0, r0
24; CHECK-NEXT:    vmov r0, s0
25; CHECK-NEXT:    bl __gnu_f2h_ieee
26; CHECK-NEXT:    vldr s0, [sp, #4] @ 4-byte Reload
27; CHECK-NEXT:    str r0, [sp, #8] @ 4-byte Spill
28; CHECK-NEXT:    vmov r0, s0
29; CHECK-NEXT:    bl __gnu_f2h_ieee
30; CHECK-NEXT:    mov r1, r0
31; CHECK-NEXT:    ldr r0, [sp, #8] @ 4-byte Reload
32; CHECK-NEXT:    uxth r1, r1
33; CHECK-NEXT:    vmov s0, r1
34; CHECK-NEXT:    uxth r0, r0
35; CHECK-NEXT:    vmov s1, r0
36; CHECK-NEXT:    bl isEqual
37; CHECK-NEXT:    mov sp, r11
38; CHECK-NEXT:    pop {r11, pc}
39Entry:
40    ; First arg directly from constant
41    %const = alloca half, align 2
42    store half 0xH7C00, half* %const, align 2
43    %arg1 = load half, half* %const, align 2
44    ; Second arg from fucntion return
45    %arg2 = call fastcc half @getConstant()
46    ; Arguments should have equivalent mangling
47    %result = call fastcc i1 @isEqual(half %arg1, half %arg2)
48    ret void
49}
50