| // RUN: %clang_cc1 -triple s390x-linux-gnu -emit-llvm -o - %s \ |
| // RUN: | FileCheck %s |
| |
| void f(__fp16 *a, __fp16 *b, __fp16 *c, __fp16 *d, __fp16 *e) { |
| *e = (*a) * (*b) + (*c) * (*d); |
| } |
| |
| // CHECK-LABEL: define dso_local void @f(ptr noundef %a, ptr noundef %b, ptr noundef %c, ptr noundef %d, ptr noundef %e) #0 { |
| // CHECK-NEXT: entry: |
| // CHECK-NEXT: %a.addr = alloca ptr, align 8 |
| // CHECK-NEXT: %b.addr = alloca ptr, align 8 |
| // CHECK-NEXT: %c.addr = alloca ptr, align 8 |
| // CHECK-NEXT: %d.addr = alloca ptr, align 8 |
| // CHECK-NEXT: %e.addr = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr %a, ptr %a.addr, align 8 |
| // CHECK-NEXT: store ptr %b, ptr %b.addr, align 8 |
| // CHECK-NEXT: store ptr %c, ptr %c.addr, align 8 |
| // CHECK-NEXT: store ptr %d, ptr %d.addr, align 8 |
| // CHECK-NEXT: store ptr %e, ptr %e.addr, align 8 |
| // CHECK-NEXT: %0 = load ptr, ptr %a.addr, align 8 |
| // CHECK-NEXT: %1 = load half, ptr %0, align 2 |
| // CHECK-NEXT: %conv = fpext half %1 to float |
| // CHECK-NEXT: %2 = load ptr, ptr %b.addr, align 8 |
| // CHECK-NEXT: %3 = load half, ptr %2, align 2 |
| // CHECK-NEXT: %conv1 = fpext half %3 to float |
| // CHECK-NEXT: %mul = fmul float %conv, %conv1 |
| // CHECK-NEXT: %4 = load ptr, ptr %c.addr, align 8 |
| // CHECK-NEXT: %5 = load half, ptr %4, align 2 |
| // CHECK-NEXT: %conv2 = fpext half %5 to float |
| // CHECK-NEXT: %6 = load ptr, ptr %d.addr, align 8 |
| // CHECK-NEXT: %7 = load half, ptr %6, align 2 |
| // CHECK-NEXT: %conv3 = fpext half %7 to float |
| // CHECK-NEXT: %mul4 = fmul float %conv2, %conv3 |
| // CHECK-NEXT: %add = fadd float %mul, %mul4 |
| // CHECK-NEXT: %8 = fptrunc float %add to half |
| // CHECK-NEXT: %9 = load ptr, ptr %e.addr, align 8 |
| // CHECK-NEXT: store half %8, ptr %9, align 2 |
| // CHECK-NEXT: ret void |
| // CHECK-NEXT: } |
