2014-08-21 20:57:57 +00:00
|
|
|
; RUN: llc -march=arm64 -O0 -verify-machineinstrs < %s | FileCheck %s
|
|
|
|
; RUN: llc -march=arm64 -O3 -verify-machineinstrs < %s | FileCheck %s
|
2014-03-29 10:18:08 +00:00
|
|
|
|
|
|
|
@.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 {
|
2014-04-15 13:59:53 +00:00
|
|
|
; CHECK-LABEL: testDouble:
|
|
|
|
; CHECK: fcvtzu x{{[0-9]+}}, d{{[0-9]+}}
|
|
|
|
; CHECK: fcvtzu w{{[0-9]+}}, d{{[0-9]+}}
|
2014-03-29 10:18:08 +00:00
|
|
|
entry:
|
|
|
|
%d.addr = alloca double, align 8
|
|
|
|
store double %d, double* %d.addr, align 8
|
2015-02-27 21:17:42 +00:00
|
|
|
%0 = load double, double* %d.addr, align 8
|
|
|
|
%1 = load double, double* %d.addr, align 8
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv = fptoui double %1 to i64
|
|
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str, i32 0, i32 0), double %0, i64 %conv)
|
2015-02-27 21:17:42 +00:00
|
|
|
%2 = load double, double* %d.addr, align 8
|
|
|
|
%3 = load double, double* %d.addr, align 8
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv1 = fptoui double %3 to i32
|
|
|
|
%call2 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([8 x i8]* @.str1, i32 0, i32 0), double %2, i32 %conv1)
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
declare i32 @printf(i8*, ...)
|
|
|
|
|
|
|
|
define void @testFloat(float %f) ssp {
|
2014-04-15 13:59:53 +00:00
|
|
|
; CHECK-LABEL: testFloat:
|
|
|
|
; CHECK: fcvtzu x{{[0-9]+}}, s{{[0-9]+}}
|
|
|
|
; CHECK: fcvtzu w{{[0-9]+}}, s{{[0-9]+}}
|
2014-03-29 10:18:08 +00:00
|
|
|
entry:
|
|
|
|
%f.addr = alloca float, align 4
|
|
|
|
store float %f, float* %f.addr, align 4
|
2015-02-27 21:17:42 +00:00
|
|
|
%0 = load float, float* %f.addr, align 4
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv = fpext float %0 to double
|
2015-02-27 21:17:42 +00:00
|
|
|
%1 = load float, float* %f.addr, align 4
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv1 = fptoui float %1 to i64
|
|
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([8 x i8]* @.str2, i32 0, i32 0), double %conv, i64 %conv1)
|
2015-02-27 21:17:42 +00:00
|
|
|
%2 = load float, float* %f.addr, align 4
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv2 = fpext float %2 to double
|
2015-02-27 21:17:42 +00:00
|
|
|
%3 = load float, float* %f.addr, align 4
|
2014-03-29 10:18:08 +00:00
|
|
|
%conv3 = fptoui float %3 to i32
|
|
|
|
%call4 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([7 x i8]* @.str3, i32 0, i32 0), double %conv2, i32 %conv3)
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
define i32 @main(i32 %argc, i8** %argv) ssp {
|
|
|
|
entry:
|
|
|
|
%retval = alloca i32, align 4
|
|
|
|
%argc.addr = alloca i32, align 4
|
|
|
|
%argv.addr = alloca i8**, align 8
|
|
|
|
store i32 0, i32* %retval
|
|
|
|
store i32 %argc, i32* %argc.addr, align 4
|
|
|
|
store i8** %argv, i8*** %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}
|
|
|
|
|
IR: Make metadata typeless in assembly
Now that `Metadata` is typeless, reflect that in the assembly. These
are the matching assembly changes for the metadata/value split in
r223802.
- Only use the `metadata` type when referencing metadata from a call
intrinsic -- i.e., only when it's used as a `Value`.
- Stop pretending that `ValueAsMetadata` is wrapped in an `MDNode`
when referencing it from call intrinsics.
So, assembly like this:
define @foo(i32 %v) {
call void @llvm.foo(metadata !{i32 %v}, metadata !0)
call void @llvm.foo(metadata !{i32 7}, metadata !0)
call void @llvm.foo(metadata !1, metadata !0)
call void @llvm.foo(metadata !3, metadata !0)
call void @llvm.foo(metadata !{metadata !3}, metadata !0)
ret void, !bar !2
}
!0 = metadata !{metadata !2}
!1 = metadata !{i32* @global}
!2 = metadata !{metadata !3}
!3 = metadata !{}
turns into this:
define @foo(i32 %v) {
call void @llvm.foo(metadata i32 %v, metadata !0)
call void @llvm.foo(metadata i32 7, metadata !0)
call void @llvm.foo(metadata i32* @global, metadata !0)
call void @llvm.foo(metadata !3, metadata !0)
call void @llvm.foo(metadata !{!3}, metadata !0)
ret void, !bar !2
}
!0 = !{!2}
!1 = !{i32* @global}
!2 = !{!3}
!3 = !{}
I wrote an upgrade script that handled almost all of the tests in llvm
and many of the tests in cfe (even handling many `CHECK` lines). I've
attached it (or will attach it in a moment if you're speedy) to PR21532
to help everyone update their out-of-tree testcases.
This is part of PR21532.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@224257 91177308-0d34-0410-b5e6-96231b3b80d8
2014-12-15 19:07:53 +00:00
|
|
|
!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}
|