File: fcmp_select.ll

package info (click to toggle)
intel-graphics-compiler2 2.28.4-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 792,744 kB
  • sloc: cpp: 5,761,745; ansic: 466,928; lisp: 312,143; python: 114,790; asm: 44,736; pascal: 10,930; sh: 8,033; perl: 7,914; ml: 3,625; awk: 3,523; yacc: 2,747; javascript: 2,667; lex: 1,898; f90: 1,028; cs: 573; xml: 474; makefile: 344; objc: 162
file content (37 lines) | stat: -rw-r--r-- 1,014 bytes parent folder | download | duplicates (4) 
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
 
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2022-2024 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================

; REQUIRES: llvm-14-plus
; RUN: igc_opt --opaque-pointers -igc-custom-unsafe-opt-pass -S %s -o %t.ll
; RUN: FileCheck %s --input-file=%t.ll

; tests visitFCmpInstFCmpSelOp

define i1 @test1(float %x) #0 {
entry:
  %0 = fcmp ole float %x, 0.000000e+00
  %1 = select i1 %0, float 0.000000e+00, float 1.000000e+00
  %2 = fsub float -0.000000e+00, %1
  ; if x <= 0 (true), then second fcmp always true
  ; if x > 0 (false), then second fcmp always false
  ; both fcmp have the same result
  %3 = fcmp ueq float %1, %2
  ret i1 %3
}

; CHECK-LABEL: define i1 @test1
; CHECK-NOT: fsub
; CHECK-NOT: select
; CHECK: %0 = fcmp ole float %x, 0.000000e+00
; CHECK: ret i1 %0

!IGCMetadata = !{!0}

!0 = !{!"ModuleMD", !1}
!1 = !{!"compOpt", !2}
!2 = !{!"FastRelaxedMath", i1 true}