1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc %s -verify-machineinstrs -mtriple aarch64-unknown-unknown -run-pass=regbankselect -o - | FileCheck %s
10 tracksRegLiveness: true
11 machineFunctionInfo: {}
14 liveins: $s0, $s1, $s2
16 ; CHECK-LABEL: name: fma_f32
17 ; CHECK: liveins: $s0, $s1, $s2
18 ; CHECK: [[COPY:%[0-9]+]]:fpr(s32) = COPY $s0
19 ; CHECK: [[COPY1:%[0-9]+]]:fpr(s32) = COPY $s1
20 ; CHECK: [[COPY2:%[0-9]+]]:fpr(s32) = COPY $s2
21 ; CHECK: %3:fpr(s32) = nnan ninf nsz arcp contract afn reassoc G_FMA [[COPY]], [[COPY1]], [[COPY2]]
22 ; CHECK: $s0 = COPY %3(s32)
23 ; CHECK: RET_ReallyLR implicit $s0
27 %3:_(s32) = nnan ninf nsz arcp contract afn reassoc G_FMA %0, %1, %2
29 RET_ReallyLR implicit $s0
36 tracksRegLiveness: true
37 machineFunctionInfo: {}
40 liveins: $d0, $d1, $d2
42 ; CHECK-LABEL: name: fma_f64
43 ; CHECK: liveins: $d0, $d1, $d2
44 ; CHECK: [[COPY:%[0-9]+]]:fpr(s64) = COPY $d0
45 ; CHECK: [[COPY1:%[0-9]+]]:fpr(s64) = COPY $d1
46 ; CHECK: [[COPY2:%[0-9]+]]:fpr(s64) = COPY $d2
47 ; CHECK: %3:fpr(s64) = nnan ninf nsz arcp contract afn reassoc G_FMA [[COPY]], [[COPY1]], [[COPY2]]
48 ; CHECK: $d0 = COPY %3(s64)
49 ; CHECK: RET_ReallyLR implicit $d0
53 %3:_(s64) = nnan ninf nsz arcp contract afn reassoc G_FMA %0, %1, %2
55 RET_ReallyLR implicit $d0