; RUN: llc < %s -mtriple=arm64-eabi -O0 -verify-machineinstrs | FileCheck %s
; RUN: llc < %s -mtriple=arm64-eabi -O3 -verify-machineinstrs | FileCheck %s
@.str = private unnamed_addr constant [9 x i8] c"%lf %lu\0A\00", align 1
@.str1 = private unnamed_addr constant [8 x i8] c"%lf %u\0A\00", align 1
@.str2 = private unnamed_addr constant [8 x i8] c"%f %lu\0A\00", align 1
@.str3 = private unnamed_addr constant [7 x i8] c"%f %u\0A\00", align 1
define void @testDouble(double %d) ssp {
; CHECK-LABEL: testDouble:
; CHECK: fcvtzu x{{[0-9]+}}, d{{[0-9]+}}
; CHECK: fcvtzu w{{[0-9]+}}, d{{[0-9]+}}
entry:
%d.addr = alloca double, align 8
store double %d, ptr %d.addr, align 8
%0 = load double, ptr %d.addr, align 8
%1 = load double, ptr %d.addr, align 8
%conv = fptoui double %1 to i64
%call = call i32 (ptr, ...) @printf(ptr @.str, double %0, i64 %conv)
%2 = load double, ptr %d.addr, align 8
%3 = load double, ptr %d.addr, align 8
%conv1 = fptoui double %3 to i32
%call2 = call i32 (ptr, ...) @printf(ptr @.str1, double %2, i32 %conv1)
ret void
}
declare i32 @printf(ptr, ...)
define void @testFloat(float %f) ssp {
; CHECK-LABEL: testFloat:
; CHECK: fcvtzu x{{[0-9]+}}, s{{[0-9]+}}
; CHECK: fcvtzu w{{[0-9]+}}, s{{[0-9]+}}
entry:
%f.addr = alloca float, align 4
store float %f, ptr %f.addr, align 4
%0 = load float, ptr %f.addr, align 4
%conv = fpext float %0 to double
%1 = load float, ptr %f.addr, align 4
%conv1 = fptoui float %1 to i64
%call = call i32 (ptr, ...) @printf(ptr @.str2, double %conv, i64 %conv1)
%2 = load float, ptr %f.addr, align 4
%conv2 = fpext float %2 to double
%3 = load float, ptr %f.addr, align 4
%conv3 = fptoui float %3 to i32
%call4 = call i32 (ptr, ...) @printf(ptr @.str3, double %conv2, i32 %conv3)
ret void
}
define i32 @main(i32 %argc, ptr %argv) ssp {
entry:
%retval = alloca i32, align 4
%argc.addr = alloca i32, align 4
%argv.addr = alloca ptr, align 8
store i32 0, ptr %retval
store i32 %argc, ptr %argc.addr, align 4
store ptr %argv, ptr %argv.addr, align 8
call void @testDouble(double 1.159198e+01)
call void @testFloat(float 0x40272F1800000000)
ret i32 0
}
!llvm.module.flags = !{!0, !1, !2, !3}
!0 = !{i32 1, !"Objective-C Version", i32 2}
!1 = !{i32 1, !"Objective-C Image Info Version", i32 0}
!2 = !{i32 1, !"Objective-C Image Info Section", !"__DATA, __objc_imageinfo, regular, no_dead_strip"}
!3 = !{i32 4, !"Objective-C Garbage Collection", i32 0}