45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=mergeicmps < %s | FileCheck %s3 4target triple = "x86_64-unknown-linux-gnu"5 6@c = external global i32, align 47 8define i1 @d() {9; CHECK-LABEL: @d(10; CHECK-NEXT: entry:11; CHECK-NEXT: [[G:%.*]] = alloca [8 x i64], align 1612; CHECK-NEXT: [[V1:%.*]] = load i64, ptr [[G]], align 813; CHECK-NEXT: [[V2:%.*]] = load i64, ptr [[G]], align 814; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[V1]], [[V2]]15; CHECK-NEXT: br label [[SPLIT:%.*]]16; CHECK: split:17; CHECK-NEXT: [[X:%.*]] = load volatile i32, ptr @c, align 418; CHECK-NEXT: br i1 [[CMP]], label [[IF:%.*]], label [[EXIT:%.*]]19; CHECK: if:20; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[X]], 021; CHECK-NEXT: br label [[EXIT]]22; CHECK: exit:23; CHECK-NEXT: [[P:%.*]] = phi i1 [ false, [[SPLIT]] ], [ [[TOBOOL]], [[IF]] ]24; CHECK-NEXT: ret i1 [[P]]25;26entry:27 %g = alloca [8 x i64], align 1628 %v1 = load i64, ptr %g, align 829 %v2 = load i64, ptr %g, align 830 %cmp = icmp eq i64 %v1, %v231 br label %split32 33split:34 %x = load volatile i32, ptr @c, align 435 br i1 %cmp, label %if, label %exit36 37if:38 %tobool = icmp ne i32 %x, 039 br label %exit40 41exit:42 %p = phi i1 [ false, %split ], [ %tobool, %if ]43 ret i1 %p44}45