22 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4declare void @use(i1)5 6define void @test1(float %x, float %y) {7; CHECK-LABEL: define void @test1(8; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: [[CMP1:%.*]] = fcmp oeq float [[Y]], [[X]]11; CHECK-NEXT: call void @use(i1 [[CMP1]])12; CHECK-NEXT: call void @use(i1 [[CMP1]])13; CHECK-NEXT: ret void14;15entry:16 %cmp1 = fcmp nnan oeq float %y, %x17 %cmp2 = fcmp oeq float %x, %y18 call void @use(i1 %cmp1)19 call void @use(i1 %cmp2)20 ret void21}22