90 lines · plain
1; RUN: llc -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s2 3; Check the GHC call convention works (aarch64)4 5@base = external dso_local global i64 ; assigned to register: r196@sp = external dso_local global i64 ; assigned to register: r207@hp = external dso_local global i64 ; assigned to register: r218@r1 = external dso_local global i64 ; assigned to register: r229@r2 = external dso_local global i64 ; assigned to register: r2310@r3 = external dso_local global i64 ; assigned to register: r2411@r4 = external dso_local global i64 ; assigned to register: r2512@r5 = external dso_local global i64 ; assigned to register: r2613@r6 = external dso_local global i64 ; assigned to register: r2714@splim = external dso_local global i64 ; assigned to register: r2815 16@f1 = external dso_local global float ; assigned to register: s817@f2 = external dso_local global float ; assigned to register: s918@f3 = external dso_local global float ; assigned to register: s1019@f4 = external dso_local global float ; assigned to register: s1120 21@d1 = external dso_local global double ; assigned to register: d1222@d2 = external dso_local global double ; assigned to register: d1323@d3 = external dso_local global double ; assigned to register: d1424@d4 = external dso_local global double ; assigned to register: d1525 26define ghccc i64 @addtwo(i64 %x, i64 %y) nounwind {27entry:28 ; CHECK-LABEL: addtwo29 ; CHECK: add x0, x19, x2030 ; CHECK-NEXT: ret31 %0 = add i64 %x, %y32 ret i64 %033}34 35define void @zap(i64 %a, i64 %b) nounwind {36entry:37 ; CHECK-LABEL: zap38 ; CHECK-NOT: mov {{x[0-9]+}}, sp39 ; CHECK: bl addtwo40 ; CHECK-NEXT: bl foo41 %0 = call ghccc i64 @addtwo(i64 %a, i64 %b)42 call void @foo() nounwind43 ret void44}45 46define ghccc void @foo_i64 () nounwind {47entry:48 ; CHECK-LABEL: foo_i6449 ; CHECK: adrp {{x[0-9]+}}, base50 ; CHECK-NEXT: ldr x19, [{{x[0-9]+}}, :lo12:base]51 ; CHECK-NEXT: bl bar_i6452 ; CHECK-NEXT: ret53 54 %0 = load i64, ptr @base55 tail call ghccc void @bar_i64( i64 %0 ) nounwind56 ret void57}58 59define ghccc void @foo_float () nounwind {60entry:61 ; CHECK-LABEL: foo_float62 ; CHECK: adrp {{x[0-9]+}}, f163 ; CHECK-NEXT: ldr s8, [{{x[0-9]+}}, :lo12:f1]64 ; CHECK-NEXT: bl bar_float65 ; CHECK-NEXT: ret66 67 %0 = load float, ptr @f168 tail call ghccc void @bar_float( float %0 ) nounwind69 ret void70}71 72define ghccc void @foo_double () nounwind {73entry:74 ; CHECK-LABEL: foo_double75 ; CHECK: adrp {{x[0-9]+}}, d176 ; CHECK-NEXT: ldr d12, [{{x[0-9]+}}, :lo12:d1]77 ; CHECK-NEXT: bl bar_double78 ; CHECK-NEXT: ret79 80 %0 = load double, ptr @d181 tail call ghccc void @bar_double( double %0 ) nounwind82 ret void83}84 85declare ghccc void @foo ()86 87declare ghccc void @bar_i64 (i64)88declare ghccc void @bar_float (float)89declare ghccc void @bar_double (double)90