126 lines · plain
1# RUN: llc -mtriple arm-linux-gnueabihf -mattr=+vfp4 -float-abi=hard -run-pass=legalizer %s -o - | FileCheck %s -check-prefix CHECK -check-prefix HARD2# RUN: llc -mtriple arm-linux-gnueabihf -mattr=+vfp2 -float-abi=hard -run-pass=legalizer %s -o - | FileCheck %s -check-prefix CHECK -check-prefix SOFT -check-prefix HARD-ABI3# RUN: llc -mtriple arm-linux-gnueabi -mattr=+vfp4,+soft-float -float-abi=soft -run-pass=legalizer %s -o - | FileCheck %s -check-prefix CHECK -check-prefix SOFT -check-prefix SOFT-ABI4# RUN: llc -mtriple arm-linux-gnu -mattr=+vfp4,+soft-float -float-abi=soft -run-pass=legalizer %s -o - | FileCheck %s -check-prefix CHECK -check-prefix SOFT -check-prefix SOFT-ABI5--- |6 define void @test_fma_float() { ret void }7 define void @test_fma_double() { ret void }8...9---10name: test_fma_float11# CHECK-LABEL: name: test_fma_float12legalized: false13# CHECK: legalized: true14regBankSelected: false15selected: false16tracksRegLiveness: true17registers:18 - { id: 0, class: _ }19 - { id: 1, class: _ }20 - { id: 2, class: _ }21 - { id: 3, class: _ }22body: |23 bb.0:24 liveins: $r0, $r1, $r225 26 ; CHECK-DAG: [[X:%[0-9]+]]:_(s32) = COPY $r027 ; CHECK-DAG: [[Y:%[0-9]+]]:_(s32) = COPY $r128 ; CHECK-DAG: [[Z:%[0-9]+]]:_(s32) = COPY $r229 %0(s32) = COPY $r030 %1(s32) = COPY $r131 %2(s32) = COPY $r232 ; HARD: [[R:%[0-9]+]]:_(s32) = G_FMA [[X]], [[Y]], [[Z]]33 ; SOFT-NOT: G_FMA34 ; SOFT: ADJCALLSTACKDOWN35 ; SOFT-ABI-DAG: $r0 = COPY [[X]]36 ; SOFT-ABI-DAG: $r1 = COPY [[Y]]37 ; SOFT-ABI-DAG: $r2 = COPY [[Z]]38 ; SOFT-ABI: BL &fmaf, {{.*}}, implicit $r0, implicit $r1, implicit $r2, implicit-def $r039 ; SOFT-ABI: [[R:%[0-9]+]]:_(s32) = COPY $r040 ; HARD-ABI-DAG: $s0 = COPY [[X]]41 ; HARD-ABI-DAG: $s1 = COPY [[Y]]42 ; HARD-ABI-DAG: $s2 = COPY [[Z]]43 ; HARD-ABI: BL &fmaf, {{.*}}, implicit $s0, implicit $s1, implicit $s2, implicit-def $s044 ; HARD-ABI: [[R:%[0-9]+]]:_(s32) = COPY $s045 ; SOFT: ADJCALLSTACKUP46 ; SOFT-NOT: G_FMA47 %3(s32) = G_FMA %0, %1, %248 ; CHECK: $r0 = COPY [[R]]49 $r0 = COPY %3(s32)50 BX_RET 14, $noreg, implicit $r051...52---53name: test_fma_double54# CHECK-LABEL: name: test_fma_double55legalized: false56# CHECK: legalized: true57regBankSelected: false58selected: false59tracksRegLiveness: true60registers:61 - { id: 0, class: _ }62 - { id: 1, class: _ }63 - { id: 2, class: _ }64 - { id: 3, class: _ }65 - { id: 4, class: _ }66 - { id: 5, class: _ }67 - { id: 6, class: _ }68 - { id: 7, class: _ }69 - { id: 8, class: _ }70body: |71 bb.0:72 liveins: $r0, $r1, $r2, $r373 74 ; CHECK-DAG: [[X0:%[0-9]+]]:_(s32) = COPY $r075 ; CHECK-DAG: [[X1:%[0-9]+]]:_(s32) = COPY $r176 ; CHECK-DAG: [[Y0:%[0-9]+]]:_(s32) = COPY $r277 ; CHECK-DAG: [[Y1:%[0-9]+]]:_(s32) = COPY $r378 %0(s32) = COPY $r079 %1(s32) = COPY $r180 %2(s32) = COPY $r281 %3(s32) = COPY $r382 ; HARD-DAG: [[X:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[X0]]83 ; HARD-DAG: [[Y:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[Y0]]84 ; HARD-ABI-DAG: [[X:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[X0]]85 ; HARD-ABI-DAG: [[Y:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[Y0]]86 %4(s64) = G_MERGE_VALUES %0(s32), %1(s32)87 %5(s64) = G_MERGE_VALUES %2(s32), %3(s32)88 ; HARD: [[R:%[0-9]+]]:_(s64) = G_FMA [[X]], [[X]], [[Y]]89 ; SOFT-NOT: G_FMA90 ; SOFT: ADJCALLSTACKDOWN91 ; SOFT-ABI: [[SP1:%[0-9]+]]:_(p0) = COPY $sp92 ; SOFT-ABI: [[OFF1:%[0-9]+]]:_(s32) = G_CONSTANT i32 093 ; SOFT-ABI: [[FI1:%[0-9]+]]:_(p0) = G_PTR_ADD [[SP1]], [[OFF1]](s32)94 ; SOFT-ABI: G_STORE [[Y0]](s32), [[FI1]](p0){{.*}}store (s32) into stack, align 1)95 ; SOFT-ABI: [[SP2:%[0-9]+]]:_(p0) = COPY $sp96 ; FIXME: Should avoid multiple copies from $sp97 ; FIXME: This ought to be align 8 but ARM's call lowering hardcodes it to 198 ; SOFT-ABI: [[OFF2:%[0-9]+]]:_(s32) = G_CONSTANT i32 499 ; SOFT-ABI: [[FI2:%[0-9]+]]:_(p0) = G_PTR_ADD [[SP2]], [[OFF2]](s32)100 ; SOFT-ABI: G_STORE [[Y1]](s32), [[FI2]](p0){{.*}}store (s32) into stack + 4, align 1)101 ; SOFT-ABI-DAG: $r{{[0-1]}} = COPY [[X0]]102 ; SOFT-ABI-DAG: $r{{[0-1]}} = COPY [[X1]]103 ; SOFT-ABI-DAG: $r{{[2-3]}} = COPY [[X0]]104 ; SOFT-ABI-DAG: $r{{[2-3]}} = COPY [[X1]]105 106 ; SOFT-ABI: BL &fma, {{.*}}, implicit $r0, implicit $r1, implicit $r2, implicit $r3, implicit-def $r0, implicit-def $r1107 ; SOFT-ABI-DAG: [[R0:%[0-9]+]]:_(s32) = COPY $r0108 ; SOFT-ABI-DAG: [[R1:%[0-9]+]]:_(s32) = COPY $r1109 ; HARD-ABI-DAG: $d0 = COPY [[X]]110 ; HARD-ABI-DAG: $d1 = COPY [[X]]111 ; HARD-ABI-DAG: $d2 = COPY [[Y]]112 ; HARD-ABI: BL &fma, {{.*}}, implicit $d0, implicit $d1, implicit $d2, implicit-def $d0113 ; HARD-ABI: [[R:%[0-9]+]]:_(s64) = COPY $d0114 ; SOFT: ADJCALLSTACKUP115 ; SOFT-NOT: G_FMA116 %6(s64) = G_FMA %4, %4, %5117 ; HARD: [[R0:%[0-9]+]]:_(s32), [[R1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[R]](s64)118 ; HARD-ABI: [[R0:%[0-9]+]]:_(s32), [[R1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[R]](s64)119 %7(s32),%8(s32) = G_UNMERGE_VALUES %6(s64)120 ; CHECK-DAG: $r0 = COPY [[R0]]121 ; CHECK-DAG: $r1 = COPY [[R1]]122 $r0 = COPY %7(s32)123 $r1 = COPY %8(s32)124 BX_RET 14, $noreg, implicit $r0, implicit $r1125...126