forked from OSchip/llvm-project
[AArch64][test] Merge arm64-$i.ll Linux tests into $i.ll
Reviewed By: dmgreen Differential Revision: https://reviews.llvm.org/D72061
This commit is contained in:
Fangrui Song
parent
f06f439fad
commit
04dbd449c2
|
|
@ -1,54 +0,0 @@
|
|||
; RUN: llc -mtriple=arm64-none-linux-gnu -verify-machineinstrs -relocation-model=pic %s -o - | FileCheck %s
|
||||
|
||||
@var = global i32 0
|
||||
|
||||
define i32 @get_globalvar() {
|
||||
; CHECK-LABEL: get_globalvar:
|
||||
|
||||
%val = load i32, i32* @var
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
||||
; CHECK: ldr x[[GOTLOC:[0-9]+]], [x[[GOTHI]], :got_lo12:var]
|
||||
; CHECK: ldr w0, [x[[GOTLOC]]]
|
||||
|
||||
ret i32 %val
|
||||
}
|
||||
|
||||
define i32* @get_globalvaraddr() {
|
||||
; CHECK-LABEL: get_globalvaraddr:
|
||||
|
||||
%val = load i32, i32* @var
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
||||
; CHECK: ldr x0, [x[[GOTHI]], :got_lo12:var]
|
||||
|
||||
ret i32* @var
|
||||
}
|
||||
|
||||
@hiddenvar = hidden global i32 0
|
||||
|
||||
define i32 @get_hiddenvar() {
|
||||
; CHECK-LABEL: get_hiddenvar:
|
||||
|
||||
%val = load i32, i32* @hiddenvar
|
||||
; CHECK: adrp x[[HI:[0-9]+]], hiddenvar
|
||||
; CHECK: ldr w0, [x[[HI]], :lo12:hiddenvar]
|
||||
|
||||
ret i32 %val
|
||||
}
|
||||
|
||||
define i32* @get_hiddenvaraddr() {
|
||||
; CHECK-LABEL: get_hiddenvaraddr:
|
||||
|
||||
%val = load i32, i32* @hiddenvar
|
||||
; CHECK: adrp [[HI:x[0-9]+]], hiddenvar
|
||||
; CHECK: add x0, [[HI]], :lo12:hiddenvar
|
||||
|
||||
ret i32* @hiddenvar
|
||||
}
|
||||
|
||||
define void()* @get_func() {
|
||||
; CHECK-LABEL: get_func:
|
||||
|
||||
ret void()* bitcast(void()*()* @get_func to void()*)
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:get_func
|
||||
; CHECK: ldr x0, [x[[GOTHI]], :got_lo12:get_func]
|
||||
}
|
||||
|
|
@ -1,72 +0,0 @@
|
|||
; RUN: llc -mtriple=arm64-none-linux-gnu -code-model=large < %s | FileCheck %s
|
||||
|
||||
@var8 = global i8 0
|
||||
@var16 = global i16 0
|
||||
@var32 = global i32 0
|
||||
@var64 = global i64 0
|
||||
|
||||
define i8* @global_addr() {
|
||||
; CHECK-LABEL: global_addr:
|
||||
ret i8* @var8
|
||||
; The movz/movk calculation should end up returned directly in x0.
|
||||
; CHECK: movz x0, #:abs_g0_nc:var8
|
||||
; CHECK: movk x0, #:abs_g1_nc:var8
|
||||
; CHECK: movk x0, #:abs_g2_nc:var8
|
||||
; CHECK: movk x0, #:abs_g3:var8
|
||||
; CHECK-NEXT: ret
|
||||
}
|
||||
|
||||
define i8 @global_i8() {
|
||||
; CHECK-LABEL: global_i8:
|
||||
%val = load i8, i8* @var8
|
||||
ret i8 %val
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:var8
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:var8
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:var8
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:var8
|
||||
; CHECK: ldrb w0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
||||
define i16 @global_i16() {
|
||||
; CHECK-LABEL: global_i16:
|
||||
%val = load i16, i16* @var16
|
||||
ret i16 %val
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:var16
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:var16
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:var16
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:var16
|
||||
; CHECK: ldrh w0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
||||
define i32 @global_i32() {
|
||||
; CHECK-LABEL: global_i32:
|
||||
%val = load i32, i32* @var32
|
||||
ret i32 %val
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:var32
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:var32
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:var32
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:var32
|
||||
; CHECK: ldr w0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
||||
define i64 @global_i64() {
|
||||
; CHECK-LABEL: global_i64:
|
||||
%val = load i64, i64* @var64
|
||||
ret i64 %val
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:var64
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:var64
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:var64
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:var64
|
||||
; CHECK: ldr x0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
||||
define <2 x i64> @constpool() {
|
||||
; CHECK-LABEL: constpool:
|
||||
ret <2 x i64> <i64 123456789, i64 987654321100>
|
||||
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:[[CPADDR:.LCPI[0-9]+_[0-9]+]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:[[CPADDR]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:[[CPADDR]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:[[CPADDR]]
|
||||
; CHECK: ldr q0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
|
@ -1,21 +0,0 @@
|
|||
; RUN: llc -mtriple=arm64-none-linux-gnu -mattr=-neon < %s
|
||||
|
||||
; The DAG combiner decided to use a vector load/store for this struct copy
|
||||
; previously. This probably shouldn't happen without NEON, but the most
|
||||
; important thing is that it compiles.
|
||||
|
||||
define void @store_combine() nounwind {
|
||||
%src = alloca { double, double }, align 8
|
||||
%dst = alloca { double, double }, align 8
|
||||
|
||||
%src.realp = getelementptr inbounds { double, double }, { double, double }* %src, i32 0, i32 0
|
||||
%src.real = load double, double* %src.realp
|
||||
%src.imagp = getelementptr inbounds { double, double }, { double, double }* %src, i32 0, i32 1
|
||||
%src.imag = load double, double* %src.imagp
|
||||
|
||||
%dst.realp = getelementptr inbounds { double, double }, { double, double }* %dst, i32 0, i32 0
|
||||
%dst.imagp = getelementptr inbounds { double, double }, { double, double }* %dst, i32 0, i32 1
|
||||
store double %src.real, double* %dst.realp
|
||||
store double %src.imag, double* %dst.imagp
|
||||
ret void
|
||||
}
|
||||
|
|
@ -1,53 +0,0 @@
|
|||
; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -o - < %s | FileCheck %s
|
||||
; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=static -o - < %s | FileCheck %s
|
||||
; RUN: llc -mtriple=arm64-none-linux-gnu -code-model=large -o - < %s | FileCheck --check-prefix=CHECK-LARGE %s
|
||||
|
||||
declare extern_weak i32 @var()
|
||||
|
||||
define i32()* @foo() {
|
||||
; The usual ADRP/ADD pair can't be used for a weak reference because it must
|
||||
; evaluate to 0 if the symbol is undefined. We use a GOT entry for PIC
|
||||
; otherwise a litpool entry.
|
||||
ret i32()* @var
|
||||
|
||||
; CHECK: adrp x[[VAR:[0-9]+]], :got:var
|
||||
; CHECK: ldr x0, [x[[VAR]], :got_lo12:var]
|
||||
|
||||
; In the large model, the usual relocations are absolute and can
|
||||
; materialise 0.
|
||||
; CHECK-LARGE: movz x0, #:abs_g0_nc:var
|
||||
; CHECK-LARGE: movk x0, #:abs_g1_nc:var
|
||||
; CHECK-LARGE: movk x0, #:abs_g2_nc:var
|
||||
; CHECK-LARGE: movk x0, #:abs_g3:var
|
||||
}
|
||||
|
||||
|
||||
@arr_var = extern_weak global [10 x i32]
|
||||
|
||||
define i32* @bar() {
|
||||
%addr = getelementptr [10 x i32], [10 x i32]* @arr_var, i32 0, i32 5
|
||||
; CHECK: adrp x[[ARR_VAR_HI:[0-9]+]], :got:arr_var
|
||||
; CHECK: ldr [[ARR_VAR:x[0-9]+]], [x[[ARR_VAR_HI]], :got_lo12:arr_var]
|
||||
; CHECK: add x0, [[ARR_VAR]], #20
|
||||
ret i32* %addr
|
||||
|
||||
; In the large model, the usual relocations are absolute and can
|
||||
; materialise 0.
|
||||
; CHECK-LARGE: movz [[ARR_VAR:x[0-9]+]], #:abs_g0_nc:arr_var
|
||||
; CHECK-LARGE: movk [[ARR_VAR]], #:abs_g1_nc:arr_var
|
||||
; CHECK-LARGE: movk [[ARR_VAR]], #:abs_g2_nc:arr_var
|
||||
; CHECK-LARGE: movk [[ARR_VAR]], #:abs_g3:arr_var
|
||||
}
|
||||
|
||||
@defined_weak_var = internal unnamed_addr global i32 0
|
||||
|
||||
define i32* @wibble() {
|
||||
ret i32* @defined_weak_var
|
||||
; CHECK: adrp [[BASE:x[0-9]+]], defined_weak_var
|
||||
; CHECK: add x0, [[BASE]], :lo12:defined_weak_var
|
||||
|
||||
; CHECK-LARGE: movz x0, #:abs_g0_nc:defined_weak_var
|
||||
; CHECK-LARGE: movk x0, #:abs_g1_nc:defined_weak_var
|
||||
; CHECK-LARGE: movk x0, #:abs_g2_nc:defined_weak_var
|
||||
; CHECK-LARGE: movk x0, #:abs_g3:defined_weak_var
|
||||
}
|
||||
|
|
@ -1,295 +0,0 @@
|
|||
; RUN: llc -mtriple=arm64-none-linux-gnu -verify-machineinstrs < %s | FileCheck %s
|
||||
|
||||
@varfloat = global float 0.0
|
||||
@vardouble = global double 0.0
|
||||
@varfp128 = global fp128 zeroinitializer
|
||||
|
||||
declare float @llvm.cos.f32(float)
|
||||
declare double @llvm.cos.f64(double)
|
||||
declare fp128 @llvm.cos.f128(fp128)
|
||||
|
||||
define void @test_cos(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_cos:
|
||||
|
||||
%cosfloat = call float @llvm.cos.f32(float %float)
|
||||
store float %cosfloat, float* @varfloat
|
||||
; CHECK: bl cosf
|
||||
|
||||
%cosdouble = call double @llvm.cos.f64(double %double)
|
||||
store double %cosdouble, double* @vardouble
|
||||
; CHECK: bl cos
|
||||
|
||||
%cosfp128 = call fp128 @llvm.cos.f128(fp128 %fp128)
|
||||
store fp128 %cosfp128, fp128* @varfp128
|
||||
; CHECK: bl cosl
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare float @llvm.exp.f32(float)
|
||||
declare double @llvm.exp.f64(double)
|
||||
declare fp128 @llvm.exp.f128(fp128)
|
||||
|
||||
define void @test_exp(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_exp:
|
||||
|
||||
%expfloat = call float @llvm.exp.f32(float %float)
|
||||
store float %expfloat, float* @varfloat
|
||||
; CHECK: bl expf
|
||||
|
||||
%expdouble = call double @llvm.exp.f64(double %double)
|
||||
store double %expdouble, double* @vardouble
|
||||
; CHECK: bl exp
|
||||
|
||||
%expfp128 = call fp128 @llvm.exp.f128(fp128 %fp128)
|
||||
store fp128 %expfp128, fp128* @varfp128
|
||||
; CHECK: bl expl
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare float @llvm.exp2.f32(float)
|
||||
declare double @llvm.exp2.f64(double)
|
||||
declare fp128 @llvm.exp2.f128(fp128)
|
||||
|
||||
define void @test_exp2(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_exp2:
|
||||
|
||||
%exp2float = call float @llvm.exp2.f32(float %float)
|
||||
store float %exp2float, float* @varfloat
|
||||
; CHECK: bl exp2f
|
||||
|
||||
%exp2double = call double @llvm.exp2.f64(double %double)
|
||||
store double %exp2double, double* @vardouble
|
||||
; CHECK: bl exp2
|
||||
|
||||
%exp2fp128 = call fp128 @llvm.exp2.f128(fp128 %fp128)
|
||||
store fp128 %exp2fp128, fp128* @varfp128
|
||||
; CHECK: bl exp2l
|
||||
ret void
|
||||
|
||||
}
|
||||
|
||||
declare float @llvm.log.f32(float)
|
||||
declare double @llvm.log.f64(double)
|
||||
declare fp128 @llvm.log.f128(fp128)
|
||||
|
||||
define void @test_log(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_log:
|
||||
|
||||
%logfloat = call float @llvm.log.f32(float %float)
|
||||
store float %logfloat, float* @varfloat
|
||||
; CHECK: bl logf
|
||||
|
||||
%logdouble = call double @llvm.log.f64(double %double)
|
||||
store double %logdouble, double* @vardouble
|
||||
; CHECK: bl log
|
||||
|
||||
%logfp128 = call fp128 @llvm.log.f128(fp128 %fp128)
|
||||
store fp128 %logfp128, fp128* @varfp128
|
||||
; CHECK: bl logl
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare float @llvm.log2.f32(float)
|
||||
declare double @llvm.log2.f64(double)
|
||||
declare fp128 @llvm.log2.f128(fp128)
|
||||
|
||||
define void @test_log2(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_log2:
|
||||
|
||||
%log2float = call float @llvm.log2.f32(float %float)
|
||||
store float %log2float, float* @varfloat
|
||||
; CHECK: bl log2f
|
||||
|
||||
%log2double = call double @llvm.log2.f64(double %double)
|
||||
store double %log2double, double* @vardouble
|
||||
; CHECK: bl log2
|
||||
|
||||
%log2fp128 = call fp128 @llvm.log2.f128(fp128 %fp128)
|
||||
store fp128 %log2fp128, fp128* @varfp128
|
||||
; CHECK: bl log2l
|
||||
ret void
|
||||
|
||||
}
|
||||
|
||||
declare float @llvm.log10.f32(float)
|
||||
declare double @llvm.log10.f64(double)
|
||||
declare fp128 @llvm.log10.f128(fp128)
|
||||
|
||||
define void @test_log10(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_log10:
|
||||
|
||||
%log10float = call float @llvm.log10.f32(float %float)
|
||||
store float %log10float, float* @varfloat
|
||||
; CHECK: bl log10f
|
||||
|
||||
%log10double = call double @llvm.log10.f64(double %double)
|
||||
store double %log10double, double* @vardouble
|
||||
; CHECK: bl log10
|
||||
|
||||
%log10fp128 = call fp128 @llvm.log10.f128(fp128 %fp128)
|
||||
store fp128 %log10fp128, fp128* @varfp128
|
||||
; CHECK: bl log10l
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare float @llvm.sin.f32(float)
|
||||
declare double @llvm.sin.f64(double)
|
||||
declare fp128 @llvm.sin.f128(fp128)
|
||||
|
||||
define void @test_sin(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_sin:
|
||||
|
||||
%sinfloat = call float @llvm.sin.f32(float %float)
|
||||
store float %sinfloat, float* @varfloat
|
||||
; CHECK: bl sinf
|
||||
|
||||
%sindouble = call double @llvm.sin.f64(double %double)
|
||||
store double %sindouble, double* @vardouble
|
||||
; CHECK: bl sin
|
||||
|
||||
%sinfp128 = call fp128 @llvm.sin.f128(fp128 %fp128)
|
||||
store fp128 %sinfp128, fp128* @varfp128
|
||||
; CHECK: bl sinl
|
||||
ret void
|
||||
|
||||
}
|
||||
|
||||
declare float @llvm.pow.f32(float, float)
|
||||
declare double @llvm.pow.f64(double, double)
|
||||
declare fp128 @llvm.pow.f128(fp128, fp128)
|
||||
|
||||
define void @test_pow(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_pow:
|
||||
|
||||
%powfloat = call float @llvm.pow.f32(float %float, float %float)
|
||||
store float %powfloat, float* @varfloat
|
||||
; CHECK: bl powf
|
||||
|
||||
%powdouble = call double @llvm.pow.f64(double %double, double %double)
|
||||
store double %powdouble, double* @vardouble
|
||||
; CHECK: bl pow
|
||||
|
||||
%powfp128 = call fp128 @llvm.pow.f128(fp128 %fp128, fp128 %fp128)
|
||||
store fp128 %powfp128, fp128* @varfp128
|
||||
; CHECK: bl powl
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare float @llvm.powi.f32(float, i32)
|
||||
declare double @llvm.powi.f64(double, i32)
|
||||
declare fp128 @llvm.powi.f128(fp128, i32)
|
||||
|
||||
define void @test_powi(float %float, double %double, i32 %exponent, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_powi:
|
||||
|
||||
%powifloat = call float @llvm.powi.f32(float %float, i32 %exponent)
|
||||
store float %powifloat, float* @varfloat
|
||||
; CHECK: bl __powisf2
|
||||
|
||||
%powidouble = call double @llvm.powi.f64(double %double, i32 %exponent)
|
||||
store double %powidouble, double* @vardouble
|
||||
; CHECK: bl __powidf2
|
||||
|
||||
%powifp128 = call fp128 @llvm.powi.f128(fp128 %fp128, i32 %exponent)
|
||||
store fp128 %powifp128, fp128* @varfp128
|
||||
; CHECK: bl __powitf2
|
||||
ret void
|
||||
|
||||
}
|
||||
|
||||
define void @test_frem(float %float, double %double, fp128 %fp128) {
|
||||
; CHECK-LABEL: test_frem:
|
||||
|
||||
%fremfloat = frem float %float, %float
|
||||
store float %fremfloat, float* @varfloat
|
||||
; CHECK: bl fmodf
|
||||
|
||||
%fremdouble = frem double %double, %double
|
||||
store double %fremdouble, double* @vardouble
|
||||
; CHECK: bl fmod
|
||||
|
||||
%fremfp128 = frem fp128 %fp128, %fp128
|
||||
store fp128 %fremfp128, fp128* @varfp128
|
||||
; CHECK: bl fmodl
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare fp128 @llvm.fma.f128(fp128, fp128, fp128)
|
||||
|
||||
define void @test_fma(fp128 %fp128) {
|
||||
; CHECK-LABEL: test_fma:
|
||||
|
||||
%fmafp128 = call fp128 @llvm.fma.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128)
|
||||
store fp128 %fmafp128, fp128* @varfp128
|
||||
; CHECK: bl fmal
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
declare fp128 @llvm.fmuladd.f128(fp128, fp128, fp128)
|
||||
|
||||
define void @test_fmuladd(fp128 %fp128) {
|
||||
; CHECK-LABEL: test_fmuladd:
|
||||
|
||||
%fmuladdfp128 = call fp128 @llvm.fmuladd.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128)
|
||||
store fp128 %fmuladdfp128, fp128* @varfp128
|
||||
; CHECK-NOT: bl fmal
|
||||
; CHECK: bl __multf3
|
||||
; CHECK: bl __addtf3
|
||||
|
||||
ret void
|
||||
}
|
||||
|
||||
define i32 @test_fptosi32(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi32:
|
||||
; CHECK: bl __fixtfsi
|
||||
%conv.i = fptosi fp128 %a to i32
|
||||
%b = add nsw i32 %conv.i, 48
|
||||
ret i32 %b
|
||||
}
|
||||
|
||||
define i64 @test_fptosi64(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi64:
|
||||
; CHECK: bl __fixtfdi
|
||||
%conv.i = fptosi fp128 %a to i64
|
||||
%b = add nsw i64 %conv.i, 48
|
||||
ret i64 %b
|
||||
}
|
||||
|
||||
define i128 @test_fptosi128(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi128:
|
||||
; CHECK: bl __fixtfti
|
||||
%conv.i = fptosi fp128 %a to i128
|
||||
%b = add nsw i128 %conv.i, 48
|
||||
ret i128 %b
|
||||
}
|
||||
|
||||
define i32 @test_fptoui32(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui32:
|
||||
; CHECK: bl __fixunstfsi
|
||||
%conv.i = fptoui fp128 %a to i32
|
||||
%b = add nsw i32 %conv.i, 48
|
||||
ret i32 %b
|
||||
}
|
||||
|
||||
define i64 @test_fptoui64(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui64:
|
||||
; CHECK: bl __fixunstfdi
|
||||
%conv.i = fptoui fp128 %a to i64
|
||||
%b = add nsw i64 %conv.i, 48
|
||||
ret i64 %b
|
||||
}
|
||||
|
||||
define i128 @test_fptoui128(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui128:
|
||||
; CHECK: bl __fixunstfti
|
||||
%conv.i = fptoui fp128 %a to i128
|
||||
%b = add nsw i128 %conv.i, 48
|
||||
ret i128 %b
|
||||
}
|
||||
File diff suppressed because it is too large
Load Diff
|
|
@ -7,7 +7,7 @@ define i32 @get_globalvar() {
|
|||
|
||||
%val = load i32, i32* @var
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
||||
; CHECK: ldr x[[GOTLOC:[0-9]+]], [x[[GOTHI]], {{#?}}:got_lo12:var]
|
||||
; CHECK: ldr x[[GOTLOC:[0-9]+]], [x[[GOTHI]], :got_lo12:var]
|
||||
; CHECK: ldr w0, [x[[GOTLOC]]]
|
||||
|
||||
ret i32 %val
|
||||
|
|
@ -18,7 +18,7 @@ define i32* @get_globalvaraddr() {
|
|||
|
||||
%val = load i32, i32* @var
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:var
|
||||
; CHECK: ldr x0, [x[[GOTHI]], {{#?}}:got_lo12:var]
|
||||
; CHECK: ldr x0, [x[[GOTHI]], :got_lo12:var]
|
||||
|
||||
ret i32* @var
|
||||
}
|
||||
|
|
@ -30,7 +30,7 @@ define i32 @get_hiddenvar() {
|
|||
|
||||
%val = load i32, i32* @hiddenvar
|
||||
; CHECK: adrp x[[HI:[0-9]+]], hiddenvar
|
||||
; CHECK: ldr w0, [x[[HI]], {{#?}}:lo12:hiddenvar]
|
||||
; CHECK: ldr w0, [x[[HI]], :lo12:hiddenvar]
|
||||
|
||||
ret i32 %val
|
||||
}
|
||||
|
|
@ -40,7 +40,7 @@ define i32* @get_hiddenvaraddr() {
|
|||
|
||||
%val = load i32, i32* @hiddenvar
|
||||
; CHECK: adrp [[HI:x[0-9]+]], hiddenvar
|
||||
; CHECK: add x0, [[HI]], {{#?}}:lo12:hiddenvar
|
||||
; CHECK: add x0, [[HI]], :lo12:hiddenvar
|
||||
|
||||
ret i32* @hiddenvar
|
||||
}
|
||||
|
|
@ -50,5 +50,5 @@ define void()* @get_func() {
|
|||
|
||||
ret void()* bitcast(void()*()* @get_func to void()*)
|
||||
; CHECK: adrp x[[GOTHI:[0-9]+]], :got:get_func
|
||||
; CHECK: ldr x0, [x[[GOTHI]], {{#?}}:got_lo12:get_func]
|
||||
; CHECK: ldr x0, [x[[GOTHI]], :got_lo12:get_func]
|
||||
}
|
||||
|
|
|
|||
|
|
@ -59,3 +59,14 @@ define i64 @global_i64() {
|
|||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:var64
|
||||
; CHECK: ldr x0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
||||
define <2 x i64> @constpool() {
|
||||
; CHECK-LABEL: constpool:
|
||||
ret <2 x i64> <i64 123456789, i64 987654321100>
|
||||
|
||||
; CHECK: movz x[[ADDR_REG:[0-9]+]], #:abs_g0_nc:[[CPADDR:.LCPI[0-9]+_[0-9]+]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g1_nc:[[CPADDR]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g2_nc:[[CPADDR]]
|
||||
; CHECK: movk x[[ADDR_REG]], #:abs_g3:[[CPADDR]]
|
||||
; CHECK: ldr q0, [x[[ADDR_REG]]]
|
||||
}
|
||||
|
|
|
|||
|
|
@ -247,6 +247,54 @@ define void @test_fmuladd(fp128 %fp128) {
|
|||
ret void
|
||||
}
|
||||
|
||||
define i32 @test_fptosi32(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi32:
|
||||
; CHECK: bl __fixtfsi
|
||||
%conv.i = fptosi fp128 %a to i32
|
||||
%b = add nsw i32 %conv.i, 48
|
||||
ret i32 %b
|
||||
}
|
||||
|
||||
define i64 @test_fptosi64(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi64:
|
||||
; CHECK: bl __fixtfdi
|
||||
%conv.i = fptosi fp128 %a to i64
|
||||
%b = add nsw i64 %conv.i, 48
|
||||
ret i64 %b
|
||||
}
|
||||
|
||||
define i128 @test_fptosi128(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptosi128:
|
||||
; CHECK: bl __fixtfti
|
||||
%conv.i = fptosi fp128 %a to i128
|
||||
%b = add nsw i128 %conv.i, 48
|
||||
ret i128 %b
|
||||
}
|
||||
|
||||
define i32 @test_fptoui32(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui32:
|
||||
; CHECK: bl __fixunstfsi
|
||||
%conv.i = fptoui fp128 %a to i32
|
||||
%b = add nsw i32 %conv.i, 48
|
||||
ret i32 %b
|
||||
}
|
||||
|
||||
define i64 @test_fptoui64(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui64:
|
||||
; CHECK: bl __fixunstfdi
|
||||
%conv.i = fptoui fp128 %a to i64
|
||||
%b = add nsw i64 %conv.i, 48
|
||||
ret i64 %b
|
||||
}
|
||||
|
||||
define i128 @test_fptoui128(fp128 %a) {
|
||||
; CHECK-LABEL: test_fptoui128:
|
||||
; CHECK: bl __fixunstfti
|
||||
%conv.i = fptoui fp128 %a to i128
|
||||
%b = add nsw i128 %conv.i, 48
|
||||
ret i128 %b
|
||||
}
|
||||
|
||||
define void @test_exp_finite(double %double) #0 {
|
||||
%expdouble = call double @llvm.exp.f64(double %double)
|
||||
store double %expdouble, double* @vardouble
|
||||
|
|
|
|||
Loading…
Reference in New Issue