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
|
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
; CHECK-DAG: OpFOrdEqual
; CHECK-DAG: OpFOrdGreaterThan
; CHECK-DAG: OpFOrdGreaterThanEqual
; CHECK-DAG: OpFOrdLessThan
; CHECK-DAG: OpFOrdLessThanEqual
; CHECK-DAG: OpFOrdNotEqual
; CHECK-DAG: OpOrdered
; CHECK-DAG: OpFUnordEqual
; CHECK-DAG: OpFUnordGreaterThan
; CHECK-DAG: OpFUnordGreaterThanEqual
; CHECK-DAG: OpFUnordLessThan
; CHECK-DAG: OpFUnordLessThanEqual
; CHECK-DAG: OpFUnordNotEqual
; CHECK-DAG: OpUnordered
define dso_local spir_kernel void @test(float %a){
entry:
%cmp = tail call i1 @llvm.experimental.constrained.fcmps.f32(float %a, float %a, metadata !"oeq", metadata !"fpexcept.strict")
%cmp1 = tail call i1 @llvm.experimental.constrained.fcmps.f32(float %a, float %a, metadata !"ogt", metadata !"fpexcept.strict")
%cmp2 = tail call i1 @llvm.experimental.constrained.fcmps.f32(float %a, float %a, metadata !"oge", metadata !"fpexcept.strict")
%cmp3 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"olt", metadata !"fpexcept.strict")
%cmp4 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ole", metadata !"fpexcept.strict")
%cmp5 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"one", metadata !"fpexcept.strict")
%cmp6 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ord", metadata !"fpexcept.strict")
%cmp7 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ueq", metadata !"fpexcept.strict")
%cmp8 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ugt", metadata !"fpexcept.strict")
%cmp9 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"uge", metadata !"fpexcept.strict")
%cmp10 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ult", metadata !"fpexcept.strict")
%cmp11 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"ule", metadata !"fpexcept.strict")
%cmp12 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"une", metadata !"fpexcept.strict")
%cmp13 = tail call i1 @llvm.experimental.constrained.fcmp.f32(float %a, float %a, metadata !"uno", metadata !"fpexcept.strict")
%or1 = or i1 %cmp, %cmp1
%or2 = or i1 %or1, %cmp2
%or3 = or i1 %or2, %cmp3
%or4 = or i1 %or3, %cmp4
%or5 = or i1 %or4, %cmp5
%or6 = or i1 %or5, %cmp6
%or7 = or i1 %or6, %cmp7
%or8 = or i1 %or7, %cmp8
%or9 = or i1 %or8, %cmp9
%or10 = or i1 %or9, %cmp10
%or11 = or i1 %or10, %cmp11
%or12 = or i1 %or11, %cmp12
%or13 = or i1 %or12, %cmp13
br i1 %or13, label %true_block, label %false_block
true_block:
ret void
false_block:
ret void
}
declare i1 @llvm.experimental.constrained.fcmps.f32(float, float, metadata, metadata)
declare i1 @llvm.experimental.constrained.fcmp.f32(float, float, metadata, metadata)
|
