test/Transforms/GVN/flags.ll

   1 ; RUN: opt -gvn -S < %s | FileCheck %s
   2
   3 declare void @use(i1)
   4
   5 define void @test1(float %x, float %y) {
   6 entry:
   7   %cmp1 = fcmp nnan oeq float %y, %x
   8   %cmp2 = fcmp oeq float %x, %y
   9   call void @use(i1 %cmp1)
  10   call void @use(i1 %cmp2)
  11   ret void
  12 }
  13
  14 ; CHECK-LABEL: define void @test1(
  15 ; CHECK: %[[cmp:.*]] = fcmp oeq float %y, %x
  16 ; CHECK-NEXT: call void @use(i1 %[[cmp]])
  17 ; CHECK-NEXT: call void @use(i1 %[[cmp]])
  18 ; CHECK-NEXT: ret void