aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/GVN/flags.ll
blob: 2e5aeedfc19a1cd955de436a7d81f1e71a3ca030 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
; RUN: opt -passes=gvn -S < %s | FileCheck %s

declare void @use(i1)

define void @test1(float %x, float %y) {
entry:
  %cmp1 = fcmp nnan oeq float %y, %x
  %cmp2 = fcmp oeq float %x, %y
  call void @use(i1 %cmp1)
  call void @use(i1 %cmp2)
  ret void
}

; CHECK-LABEL: define void @test1(
; CHECK: %[[cmp:.*]] = fcmp oeq float %y, %x
; CHECK-NEXT: call void @use(i1 %[[cmp]])
; CHECK-NEXT: call void @use(i1 %[[cmp]])
; CHECK-NEXT: ret void