17ec8f436SCraig Topper; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 27ec8f436SCraig Topper; RUN: llc -mtriple=sparcv9-unknown-linux -verify-machineinstrs -stop-after=finalize-isel < %s | FileCheck %s 37ec8f436SCraig Topper 47ec8f436SCraig Topper; Check that the fp128 load/store is correctly split. 57ec8f436SCraig Topper; The pointer metadata for the upper/lower halves of the load/store should be in 67ec8f436SCraig Topper; sync with the OP address. 77ec8f436SCraig Topper 87ec8f436SCraig Topperdefine fp128 @testcase(fp128 %0) { 97ec8f436SCraig Topper ; CHECK-LABEL: name: testcase 107ec8f436SCraig Topper ; CHECK: bb.0.Entry: 11991192b2SSergei Barannikov ; CHECK-NEXT: liveins: $q0 12991192b2SSergei Barannikov ; CHECK-NEXT: {{ $}} 13991192b2SSergei Barannikov ; CHECK-NEXT: [[COPY:%[0-9]+]]:qfpregs = COPY $q0 14991192b2SSergei Barannikov ; CHECK-NEXT: [[COPY1:%[0-9]+]]:dfpregs = COPY [[COPY]].sub_odd64 15991192b2SSergei Barannikov ; CHECK-NEXT: [[ADDri:%[0-9]+]]:i64regs = ADDri %stack.0, 0 16*187dcd8eSMatt Arsenault ; CHECK-NEXT: %3:i64regs = disjoint ORri killed [[ADDri]], 8 17*187dcd8eSMatt Arsenault ; CHECK-NEXT: STDFrr %3, $g0, killed [[COPY1]] :: (store (s64) into %stack.0 + 8) 18991192b2SSergei Barannikov ; CHECK-NEXT: [[COPY2:%[0-9]+]]:dfpregs = COPY [[COPY]].sub_even64 19991192b2SSergei Barannikov ; CHECK-NEXT: STDFri %stack.0, 0, killed [[COPY2]] :: (store (s64) into %stack.0, align 16) 20*187dcd8eSMatt Arsenault ; CHECK-NEXT: [[LDXrr:%[0-9]+]]:i64regs = LDXrr %3, $g0 :: (load (s64) from %stack.0 + 8) 21991192b2SSergei Barannikov ; CHECK-NEXT: [[LDXri:%[0-9]+]]:i64regs = LDXri %stack.0, 0 :: (load (s64) from %stack.0, align 16) 22991192b2SSergei Barannikov ; CHECK-NEXT: [[ADDri1:%[0-9]+]]:i64regs = ADDri %stack.1, 0 23*187dcd8eSMatt Arsenault ; CHECK-NEXT: %8:i64regs = disjoint ORri killed [[ADDri1]], 8 24991192b2SSergei Barannikov ; CHECK-NEXT: [[ADDri2:%[0-9]+]]:i64regs = ADDri [[LDXrr]], -1 25*187dcd8eSMatt Arsenault ; CHECK-NEXT: STXrr %8, $g0, killed [[ADDri2]] :: (store (s64) into %stack.1 + 8, basealign 16) 26991192b2SSergei Barannikov ; CHECK-NEXT: [[COPY3:%[0-9]+]]:intregs = COPY $g0 27991192b2SSergei Barannikov ; CHECK-NEXT: [[MOVRri:%[0-9]+]]:intregs = MOVRri [[LDXrr]], 1, [[COPY3]], 49 28991192b2SSergei Barannikov ; CHECK-NEXT: [[SRLri:%[0-9]+]]:i64regs = SRLri killed [[MOVRri]], 0 29991192b2SSergei Barannikov ; CHECK-NEXT: [[SUBrr:%[0-9]+]]:i64regs = SUBrr killed [[LDXri]], killed [[SRLri]] 30991192b2SSergei Barannikov ; CHECK-NEXT: STXri %stack.1, 0, killed [[SUBrr]] :: (store (s64) into %stack.1, align 16) 31991192b2SSergei Barannikov ; CHECK-NEXT: [[LDDFri:%[0-9]+]]:dfpregs = LDDFri %stack.1, 0 :: (load (s64) from %stack.1, align 16) 32991192b2SSergei Barannikov ; CHECK-NEXT: [[DEF:%[0-9]+]]:qfpregs = IMPLICIT_DEF 33991192b2SSergei Barannikov ; CHECK-NEXT: [[INSERT_SUBREG:%[0-9]+]]:qfpregs = INSERT_SUBREG [[DEF]], killed [[LDDFri]], %subreg.sub_even64 34*187dcd8eSMatt Arsenault ; CHECK-NEXT: [[LDDFrr:%[0-9]+]]:dfpregs = LDDFrr %8, $g0 :: (load (s64) from %stack.1 + 8) 35991192b2SSergei Barannikov ; CHECK-NEXT: [[INSERT_SUBREG1:%[0-9]+]]:qfpregs = INSERT_SUBREG [[INSERT_SUBREG]], killed [[LDDFrr]], %subreg.sub_odd64 36991192b2SSergei Barannikov ; CHECK-NEXT: $q0 = COPY [[INSERT_SUBREG1]] 37991192b2SSergei Barannikov ; CHECK-NEXT: RETL 8, implicit $q0 387ec8f436SCraig TopperEntry: 397ec8f436SCraig Topper %1 = bitcast fp128 %0 to i128 407ec8f436SCraig Topper %2 = add i128 %1, -1 417ec8f436SCraig Topper %3 = bitcast i128 %2 to fp128 427ec8f436SCraig Topper ret fp128 %3 437ec8f436SCraig Topper} 44