|  | ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV | 
|  |  | 
|  | ; CHECK-SPIRV: OpFNegate | 
|  | ; CHECK-SPIRV: OpFNegate | 
|  | ; CHECK-SPIRV: OpFNegate | 
|  | ; CHECK-SPIRV: OpFNegate | 
|  |  | 
|  | ;; #pragma OPENCL EXTENSION cl_khr_fp64 : enable | 
|  | ;; #pragma OPENCL EXTENSION cl_khr_fp16 : enable | 
|  | ;; | 
|  | ;; __kernel void foo(double a1, __global half *h, __global float *b0, __global double *b1, __global double8 *d) { | 
|  | ;;    *h = -*h; | 
|  | ;;    *b0 = -*b0; | 
|  | ;;    *b1 = -a1; | 
|  | ;;    *d = -*d; | 
|  | ;; } | 
|  |  | 
|  | define dso_local spir_kernel void @foo(double noundef %a1, half addrspace(1)* noundef %h, float addrspace(1)* noundef %b0, double addrspace(1)* noundef %b1, <8 x double> addrspace(1)* noundef %d) { | 
|  | entry: | 
|  | %a1.addr = alloca double, align 8 | 
|  | %h.addr = alloca half addrspace(1)*, align 4 | 
|  | %b0.addr = alloca float addrspace(1)*, align 4 | 
|  | %b1.addr = alloca double addrspace(1)*, align 4 | 
|  | %d.addr = alloca <8 x double> addrspace(1)*, align 4 | 
|  | store double %a1, double* %a1.addr, align 8 | 
|  | store half addrspace(1)* %h, half addrspace(1)** %h.addr, align 4 | 
|  | store float addrspace(1)* %b0, float addrspace(1)** %b0.addr, align 4 | 
|  | store double addrspace(1)* %b1, double addrspace(1)** %b1.addr, align 4 | 
|  | store <8 x double> addrspace(1)* %d, <8 x double> addrspace(1)** %d.addr, align 4 | 
|  | %0 = load half addrspace(1)*, half addrspace(1)** %h.addr, align 4 | 
|  | %1 = load half, half addrspace(1)* %0, align 2 | 
|  | %fneg = fneg half %1 | 
|  | %2 = load half addrspace(1)*, half addrspace(1)** %h.addr, align 4 | 
|  | store half %fneg, half addrspace(1)* %2, align 2 | 
|  | %3 = load float addrspace(1)*, float addrspace(1)** %b0.addr, align 4 | 
|  | %4 = load float, float addrspace(1)* %3, align 4 | 
|  | %fneg1 = fneg float %4 | 
|  | %5 = load float addrspace(1)*, float addrspace(1)** %b0.addr, align 4 | 
|  | store float %fneg1, float addrspace(1)* %5, align 4 | 
|  | %6 = load double, double* %a1.addr, align 8 | 
|  | %fneg2 = fneg double %6 | 
|  | %7 = load double addrspace(1)*, double addrspace(1)** %b1.addr, align 4 | 
|  | store double %fneg2, double addrspace(1)* %7, align 8 | 
|  | %8 = load <8 x double> addrspace(1)*, <8 x double> addrspace(1)** %d.addr, align 4 | 
|  | %9 = load <8 x double>, <8 x double> addrspace(1)* %8, align 64 | 
|  | %fneg3 = fneg <8 x double> %9 | 
|  | %10 = load <8 x double> addrspace(1)*, <8 x double> addrspace(1)** %d.addr, align 4 | 
|  | store <8 x double> %fneg3, <8 x double> addrspace(1)* %10, align 64 | 
|  | ret void | 
|  | } |