505 lines
15 KiB
LLVM
505 lines
15 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
|
|
; RUN: llc -mtriple=thumbv7-gnu-linux < %s | FileCheck -check-prefixes=CHECK %s
|
|
; RUN: llc -mtriple=armv6m < %s | FileCheck %s --check-prefix=THUMB
|
|
|
|
define { half, half } @test_modf_f16(half %a) {
|
|
; CHECK-LABEL: test_modf_f16:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: bl __gnu_h2f_ieee
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: mov r4, r0
|
|
; CHECK-NEXT: ldr r0, [sp, #4]
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: mov r1, r0
|
|
; CHECK-NEXT: mov r0, r4
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r4, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f16:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r4, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: uxth r0, r0
|
|
; THUMB-NEXT: bl __gnu_h2f_ieee
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r4, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #4]
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r1, r0
|
|
; THUMB-NEXT: mov r0, r4
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r4, pc}
|
|
%result = call { half, half } @llvm.modf.f16(half %a)
|
|
ret { half, half } %result
|
|
}
|
|
|
|
define half @test_modf_f16_only_use_fractional_part(half %a) {
|
|
; CHECK-LABEL: test_modf_f16_only_use_fractional_part:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: bl __gnu_h2f_ieee
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f16_only_use_fractional_part:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: uxth r0, r0
|
|
; THUMB-NEXT: bl __gnu_h2f_ieee
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { half, half } @llvm.modf.f16(half %a)
|
|
%result.0 = extractvalue { half, half } %result, 0
|
|
ret half %result.0
|
|
}
|
|
|
|
define half @test_modf_f16_only_use_integral_part(half %a) {
|
|
; CHECK-LABEL: test_modf_f16_only_use_integral_part:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: bl __gnu_h2f_ieee
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: ldr r0, [sp, #4]
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f16_only_use_integral_part:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: uxth r0, r0
|
|
; THUMB-NEXT: bl __gnu_h2f_ieee
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: ldr r0, [sp, #4]
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { half, half } @llvm.modf.f16(half %a)
|
|
%result.1 = extractvalue { half, half } %result, 1
|
|
ret half %result.1
|
|
}
|
|
|
|
define { <2 x half>, <2 x half> } @test_modf_v2f16(<2 x half> %a) {
|
|
; CHECK-LABEL: test_modf_v2f16:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, lr}
|
|
; CHECK-NEXT: vpush {d8}
|
|
; CHECK-NEXT: sub sp, #16
|
|
; CHECK-NEXT: mov r4, r0
|
|
; CHECK-NEXT: mov r0, r1
|
|
; CHECK-NEXT: bl __gnu_h2f_ieee
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: strh.w r0, [sp, #14]
|
|
; CHECK-NEXT: mov r0, r4
|
|
; CHECK-NEXT: bl __gnu_h2f_ieee
|
|
; CHECK-NEXT: mov r1, sp
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: strh.w r0, [sp, #12]
|
|
; CHECK-NEXT: add r0, sp, #12
|
|
; CHECK-NEXT: vld1.32 {d8[0]}, [r0:32]
|
|
; CHECK-NEXT: ldr r0, [sp, #4]
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: ldr r1, [sp]
|
|
; CHECK-NEXT: strh.w r0, [sp, #10]
|
|
; CHECK-NEXT: mov r0, r1
|
|
; CHECK-NEXT: bl __gnu_f2h_ieee
|
|
; CHECK-NEXT: strh.w r0, [sp, #8]
|
|
; CHECK-NEXT: add r0, sp, #8
|
|
; CHECK-NEXT: vmovl.u16 q9, d8
|
|
; CHECK-NEXT: vld1.32 {d16[0]}, [r0:32]
|
|
; CHECK-NEXT: vmovl.u16 q8, d16
|
|
; CHECK-NEXT: vmov.32 r0, d18[0]
|
|
; CHECK-NEXT: vmov.32 r1, d18[1]
|
|
; CHECK-NEXT: vmov.32 r2, d16[0]
|
|
; CHECK-NEXT: vmov.32 r3, d16[1]
|
|
; CHECK-NEXT: add sp, #16
|
|
; CHECK-NEXT: vpop {d8}
|
|
; CHECK-NEXT: pop {r4, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_v2f16:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r4, r5, r6, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r5, r1
|
|
; THUMB-NEXT: uxth r0, r0
|
|
; THUMB-NEXT: bl __gnu_h2f_ieee
|
|
; THUMB-NEXT: mov r1, sp
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r4, r0
|
|
; THUMB-NEXT: uxth r0, r5
|
|
; THUMB-NEXT: bl __gnu_h2f_ieee
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r5, r0
|
|
; THUMB-NEXT: ldr r0, [sp]
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r6, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #4]
|
|
; THUMB-NEXT: bl __gnu_f2h_ieee
|
|
; THUMB-NEXT: mov r3, r0
|
|
; THUMB-NEXT: mov r0, r4
|
|
; THUMB-NEXT: mov r1, r5
|
|
; THUMB-NEXT: mov r2, r6
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r4, r5, r6, pc}
|
|
%result = call { <2 x half>, <2 x half> } @llvm.modf.v2f16(<2 x half> %a)
|
|
ret { <2 x half>, <2 x half> } %result
|
|
}
|
|
|
|
define { float, float } @test_modf_f32(float %a) {
|
|
; CHECK-LABEL: test_modf_f32:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: ldr r1, [sp, #4]
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f32:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: ldr r1, [sp, #4]
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { float, float } @llvm.modf.f32(float %a)
|
|
ret { float, float } %result
|
|
}
|
|
|
|
define { <3 x float>, <3 x float> } @test_modf_v3f32(<3 x float> %a) {
|
|
; CHECK-LABEL: test_modf_v3f32:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, r5, r6, lr}
|
|
; CHECK-NEXT: vpush {d8, d9}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: vldr d9, [sp, #40]
|
|
; CHECK-NEXT: mov r4, r0
|
|
; CHECK-NEXT: mov r1, sp
|
|
; CHECK-NEXT: mov r0, r2
|
|
; CHECK-NEXT: mov r5, r3
|
|
; CHECK-NEXT: vmov d8, r2, r3
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: mov r6, r0
|
|
; CHECK-NEXT: mov r0, r5
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: mov r5, r0
|
|
; CHECK-NEXT: vmov r0, s18
|
|
; CHECK-NEXT: vldmia sp, {s0, s1}
|
|
; CHECK-NEXT: add.w r1, r4, #16
|
|
; CHECK-NEXT: vst1.32 {d0}, [r1:64]!
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: vmov s1, r5
|
|
; CHECK-NEXT: vmov s0, r6
|
|
; CHECK-NEXT: vst1.32 {d0}, [r4:64]!
|
|
; CHECK-NEXT: str r0, [r4]
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: vpop {d8, d9}
|
|
; CHECK-NEXT: pop {r4, r5, r6, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_v3f32:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r4, r5, r6, r7, lr}
|
|
; THUMB-NEXT: sub sp, #12
|
|
; THUMB-NEXT: mov r7, r3
|
|
; THUMB-NEXT: mov r5, r2
|
|
; THUMB-NEXT: mov r4, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #32]
|
|
; THUMB-NEXT: add r1, sp, #8
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: mov r6, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #8]
|
|
; THUMB-NEXT: str r0, [r4, #24]
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: mov r0, r7
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: mov r7, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #4]
|
|
; THUMB-NEXT: str r0, [r4, #20]
|
|
; THUMB-NEXT: mov r1, sp
|
|
; THUMB-NEXT: mov r0, r5
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: ldr r1, [sp]
|
|
; THUMB-NEXT: str r1, [r4, #16]
|
|
; THUMB-NEXT: stm r4!, {r0, r7}
|
|
; THUMB-NEXT: str r6, [r4]
|
|
; THUMB-NEXT: add sp, #12
|
|
; THUMB-NEXT: pop {r4, r5, r6, r7, pc}
|
|
%result = call { <3 x float>, <3 x float> } @llvm.modf.v3f32(<3 x float> %a)
|
|
ret { <3 x float>, <3 x float> } %result
|
|
}
|
|
|
|
define { <2 x float>, <2 x float> } @test_modf_v2f32(<2 x float> %a) {
|
|
; CHECK-LABEL: test_modf_v2f32:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, lr}
|
|
; CHECK-NEXT: vpush {d8}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: vmov d8, r0, r1
|
|
; CHECK-NEXT: mov r1, sp
|
|
; CHECK-NEXT: vmov r0, s17
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: mov r4, r0
|
|
; CHECK-NEXT: vmov r0, s16
|
|
; CHECK-NEXT: add r1, sp, #4
|
|
; CHECK-NEXT: bl modff
|
|
; CHECK-NEXT: vldr s1, [sp]
|
|
; CHECK-NEXT: mov r1, r4
|
|
; CHECK-NEXT: vldr s0, [sp, #4]
|
|
; CHECK-NEXT: vmov r2, r3, d0
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: vpop {d8}
|
|
; CHECK-NEXT: pop {r4, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_v2f32:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r4, r5, r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r4, r1
|
|
; THUMB-NEXT: mov r1, sp
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: mov r5, r0
|
|
; THUMB-NEXT: add r1, sp, #4
|
|
; THUMB-NEXT: mov r0, r4
|
|
; THUMB-NEXT: bl modff
|
|
; THUMB-NEXT: mov r1, r0
|
|
; THUMB-NEXT: ldr r2, [sp]
|
|
; THUMB-NEXT: ldr r3, [sp, #4]
|
|
; THUMB-NEXT: mov r0, r5
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r4, r5, r7, pc}
|
|
%result = call { <2 x float>, <2 x float> } @llvm.modf.v2f32(<2 x float> %a)
|
|
ret { <2 x float>, <2 x float> } %result
|
|
}
|
|
|
|
define { <2 x double>, <2 x double> } @test_modf_v2f64(<2 x double> %a) {
|
|
; CHECK-LABEL: test_modf_v2f64:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r4, lr}
|
|
; CHECK-NEXT: vpush {d8, d9}
|
|
; CHECK-NEXT: sub sp, #16
|
|
; CHECK-NEXT: mov r1, r3
|
|
; CHECK-NEXT: mov r3, r2
|
|
; CHECK-NEXT: add r2, sp, #8
|
|
; CHECK-NEXT: mov r4, r0
|
|
; CHECK-NEXT: mov r0, r3
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: ldrd r12, r3, [sp, #40]
|
|
; CHECK-NEXT: vmov d8, r0, r1
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: mov r1, r3
|
|
; CHECK-NEXT: mov r0, r12
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: vmov d9, r0, r1
|
|
; CHECK-NEXT: vldr d17, [sp]
|
|
; CHECK-NEXT: vldr d16, [sp, #8]
|
|
; CHECK-NEXT: vst1.64 {d8, d9}, [r4]!
|
|
; CHECK-NEXT: vst1.64 {d16, d17}, [r4]
|
|
; CHECK-NEXT: add sp, #16
|
|
; CHECK-NEXT: vpop {d8, d9}
|
|
; CHECK-NEXT: pop {r4, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_v2f64:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r4, r5, r6, r7, lr}
|
|
; THUMB-NEXT: sub sp, #28
|
|
; THUMB-NEXT: str r3, [sp, #4] @ 4-byte Spill
|
|
; THUMB-NEXT: mov r7, r2
|
|
; THUMB-NEXT: mov r4, r0
|
|
; THUMB-NEXT: ldr r0, [sp, #48]
|
|
; THUMB-NEXT: ldr r1, [sp, #52]
|
|
; THUMB-NEXT: add r2, sp, #16
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: mov r6, r0
|
|
; THUMB-NEXT: mov r5, r1
|
|
; THUMB-NEXT: ldr r0, [sp, #20]
|
|
; THUMB-NEXT: str r0, [r4, #28]
|
|
; THUMB-NEXT: ldr r0, [sp, #16]
|
|
; THUMB-NEXT: str r0, [r4, #24]
|
|
; THUMB-NEXT: add r2, sp, #8
|
|
; THUMB-NEXT: mov r0, r7
|
|
; THUMB-NEXT: ldr r1, [sp, #4] @ 4-byte Reload
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: ldr r2, [sp, #12]
|
|
; THUMB-NEXT: str r2, [r4, #20]
|
|
; THUMB-NEXT: ldr r2, [sp, #8]
|
|
; THUMB-NEXT: str r2, [r4, #16]
|
|
; THUMB-NEXT: str r5, [r4, #12]
|
|
; THUMB-NEXT: stm r4!, {r0, r1, r6}
|
|
; THUMB-NEXT: add sp, #28
|
|
; THUMB-NEXT: pop {r4, r5, r6, r7, pc}
|
|
%result = call { <2 x double>, <2 x double> } @llvm.modf.v2f64(<2 x double> %a)
|
|
ret { <2 x double>, <2 x double> } %result
|
|
}
|
|
|
|
define { double, double } @test_modf_f64(double %a) {
|
|
; CHECK-LABEL: test_modf_f64:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: ldrd r2, r3, [sp], #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: ldr r2, [sp]
|
|
; THUMB-NEXT: ldr r3, [sp, #4]
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { double, double } @llvm.modf.f64(double %a)
|
|
ret { double, double } %result
|
|
}
|
|
|
|
define double @test_modf_f64_only_use_intergral(double %a) {
|
|
; CHECK-LABEL: test_modf_f64_only_use_intergral:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: ldrd r0, r1, [sp], #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64_only_use_intergral:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: ldr r0, [sp]
|
|
; THUMB-NEXT: ldr r1, [sp, #4]
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { double, double } @llvm.modf.f64(double %a)
|
|
%result.1 = extractvalue { double, double } %result, 1
|
|
ret double %result.1
|
|
}
|
|
|
|
define double @test_modf_f64_only_use_fractional(double %a) {
|
|
; CHECK-LABEL: test_modf_f64_only_use_fractional:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64_only_use_fractional:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = call { double, double } @llvm.modf.f64(double %a)
|
|
%result.1 = extractvalue { double, double } %result, 0
|
|
ret double %result.1
|
|
}
|
|
|
|
define { double, double } @test_modf_f64_tail_call(double %a) {
|
|
; CHECK-LABEL: test_modf_f64_tail_call:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: ldrd r2, r3, [sp], #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64_tail_call:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: ldr r2, [sp]
|
|
; THUMB-NEXT: ldr r3, [sp, #4]
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = tail call { double, double } @llvm.modf.f64(double %a)
|
|
ret { double, double } %result
|
|
}
|
|
|
|
define double @test_modf_f64_only_use_intergral_tail_call(double %a) {
|
|
; CHECK-LABEL: test_modf_f64_only_use_intergral_tail_call:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: ldrd r0, r1, [sp], #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64_only_use_intergral_tail_call:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: ldr r0, [sp]
|
|
; THUMB-NEXT: ldr r1, [sp, #4]
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = tail call { double, double } @llvm.modf.f64(double %a)
|
|
%result.1 = extractvalue { double, double } %result, 1
|
|
ret double %result.1
|
|
}
|
|
|
|
define double @test_modf_f64_only_use_fractional_tail_call(double %a) {
|
|
; CHECK-LABEL: test_modf_f64_only_use_fractional_tail_call:
|
|
; CHECK: @ %bb.0:
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: sub sp, #8
|
|
; CHECK-NEXT: mov r2, sp
|
|
; CHECK-NEXT: bl modf
|
|
; CHECK-NEXT: add sp, #8
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
;
|
|
; THUMB-LABEL: test_modf_f64_only_use_fractional_tail_call:
|
|
; THUMB: @ %bb.0:
|
|
; THUMB-NEXT: push {r7, lr}
|
|
; THUMB-NEXT: sub sp, #8
|
|
; THUMB-NEXT: mov r2, sp
|
|
; THUMB-NEXT: bl modf
|
|
; THUMB-NEXT: add sp, #8
|
|
; THUMB-NEXT: pop {r7, pc}
|
|
%result = tail call { double, double } @llvm.modf.f64(double %a)
|
|
%result.1 = extractvalue { double, double } %result, 0
|
|
ret double %result.1
|
|
}
|