; Test 128-bit floating-point division. | |
; | |
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s | |
; There is no memory form of 128-bit division. | |
define void @f1(ptr %ptr, float %f2) { | |
; CHECK-LABEL: f1: | |
; CHECK-DAG: lxebr %f0, %f0 | |
; CHECK-DAG: ld %f1, 0(%r2) | |
; CHECK-DAG: ld %f3, 8(%r2) | |
; CHECK: dxbr %f1, %f0 | |
; CHECK: std %f1, 0(%r2) | |
; CHECK: std %f3, 8(%r2) | |
; CHECK: br %r14 | |
%f1 = load fp128, ptr %ptr | |
%f2x = fpext float %f2 to fp128 | |
%sum = fdiv fp128 %f1, %f2x | |
store fp128 %sum, ptr %ptr | |
ret void | |
} |