forked from KhronosGroup/SPIRV-LLVM-Translator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ContractionOff.ll
102 lines (86 loc) · 3.88 KB
/
ContractionOff.ll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
; Source:
; void kernel k1 (float a, float b, float c) {
; #pragma OPENCL FP_CONTRACT OFF
; float d = a * b + c;
; }
;
; void kernel k2 (float a, float b, float c) {
; float d = a * b + c;
; }
;
; void kernel k3 (float a, float b, float c) {
; float d = a * b; // a * b together with -d in the next statement look
; float e = a * c - d; // exactly like an unfused fmuladd in LLVM IR
; }
;
; IR generated using the following commands:
; clang -cc1 -x cl -emit-llvm -O2 -disable-llvm-passes -triple spir64 1.cl -o 1.ll
; opt -mem2reg 1.ll -S -o 1.o.ll
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-spirv %t.bc -o %t.spv.default
; RUN: llvm-spirv %t.spv.default -to-text -o - | FileCheck %s --check-prefixes CHECK,CHECK-ON
; RUN: spirv-val %t.spv.default
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-spirv %t.bc -o %t.spv.off --spirv-fp-contract=off
; RUN: llvm-spirv %t.spv.off -to-text -o - | FileCheck %s --check-prefixes CHECK,CHECK-OFF
; RUN: spirv-val %t.spv.off
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-spirv %t.bc -o %t.spv.fast --spirv-fp-contract=fast
; RUN: llvm-spirv %t.spv.fast -to-text -o - | FileCheck %s --check-prefixes CHECK,CHECK-FAST
; RUN: spirv-val %t.spv.fast
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-spirv %t.bc -o %t.spv.on --spirv-fp-contract=on
; RUN: llvm-spirv %t.spv.on -to-text -o - | FileCheck %s --check-prefixes CHECK,CHECK-ON
; RUN: spirv-val %t.spv.on
; CHECK: EntryPoint 6 [[K1:[0-9]+]] "k1"
; CHECK: EntryPoint 6 [[K2:[0-9]+]] "k2"
; CHECK: EntryPoint 6 [[K3:[0-9]+]] "k3"
; CHECK-OFF: ExecutionMode [[K1]] 31
; CHECK-OFF: ExecutionMode [[K2]] 31
; CHECK-OFF: ExecutionMode [[K3]] 31
; CHECK-FAST-NOT: ExecutionMode [[K1]] 31
; CHECK-FAST-NOT: ExecutionMode [[K2]] 31
; CHECK-FAST-NOT: ExecutionMode [[K3]] 31
; CHECK-ON: ExecutionMode [[K1]] 31
; CHECK-ON-NOT: ExecutionMode [[K2]] 31
; CHECK-ON: ExecutionMode [[K3]] 31
target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
target triple = "spir64"
; Function Attrs: convergent nounwind
define spir_kernel void @k1(float %a, float %b, float %c) #0 !kernel_arg_addr_space !4 !kernel_arg_access_qual !5 !kernel_arg_type !6 !kernel_arg_base_type !6 !kernel_arg_type_qual !7 {
entry:
%mul = fmul float %a, %b
%add = fadd float %mul, %c
ret void
}
; Function Attrs: convergent nounwind
define spir_kernel void @k2(float %a, float %b, float %c) #0 !kernel_arg_addr_space !4 !kernel_arg_access_qual !5 !kernel_arg_type !6 !kernel_arg_base_type !6 !kernel_arg_type_qual !7 {
entry:
%0 = call float @llvm.fmuladd.f32(float %a, float %b, float %c)
ret void
}
; Function Attrs: nounwind readnone speculatable
declare float @llvm.fmuladd.f32(float, float, float) #2
; Function Attrs: convergent nounwind
define spir_kernel void @k3(float %a, float %b, float %c) #0 !kernel_arg_addr_space !4 !kernel_arg_access_qual !5 !kernel_arg_type !6 !kernel_arg_base_type !6 !kernel_arg_type_qual !7 {
entry:
%mul = fmul float %a, %b
%neg = fsub float -0.000000e+00, %mul
%0 = call float @llvm.fmuladd.f32(float %a, float %c, float %neg)
ret void
}
attributes #0 = { convergent nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "denorms-are-zero"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "uniform-work-group-size"="true" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { argmemonly nounwind }
attributes #2 = { nounwind readnone speculatable }
!llvm.module.flags = !{!0}
!opencl.ocl.version = !{!1}
!opencl.spir.version = !{!2}
!llvm.ident = !{!3}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 1, i32 0}
!2 = !{i32 1, i32 2}
!3 = !{!"clang version 7.0.1"}
!4 = !{i32 0, i32 0, i32 0}
!5 = !{!"none", !"none", !"none"}
!6 = !{!"float", !"float", !"float"}
!7 = !{!"", !"", !""}