88 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=mergeicmps -S | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7%type = type { i64, i64, i64, i64 }8 9define fastcc i1 @test(ptr byval(%type) %a, ptr byval(%type) %b, i1 %cond) {10; CHECK-LABEL: define fastcc i1 @test(11; CHECK-SAME: ptr byval([[TYPE:%.*]]) [[A:%.*]], ptr byval([[TYPE]]) [[B:%.*]], i1 [[COND:%.*]]) {12; CHECK-NEXT: [[ENTRY:.*:]]13; CHECK-NEXT: [[VALUE401:%.*]] = select i1 [[COND]], ptr blockaddress(@test, %[[BLOCK307:.*]]), ptr blockaddress(@test, %[[EXIT:.*]])14; CHECK-NEXT: indirectbr ptr [[VALUE401]], [label %[[BLOCK307]], label %exit]15; CHECK: [[BLOCK307]]:16; CHECK-NEXT: [[VALUE403:%.*]] = load i64, ptr [[A]], align 817; CHECK-NEXT: [[VALUE404:%.*]] = load i64, ptr [[A]], align 818; CHECK-NEXT: [[CMP_I:%.*]] = icmp eq i64 [[VALUE403]], [[VALUE404]]19; CHECK-NEXT: br i1 [[CMP_I]], label %[[LAND_LHS_TRUE_I:.*]], label %[[TEST_EXIT:.*]]20; CHECK: [[LAND_LHS_TRUE_I]]:21; CHECK-NEXT: [[B_I:%.*]] = getelementptr [[TYPE]], ptr [[A]], i64 0, i32 022; CHECK-NEXT: [[VALUE405:%.*]] = load i64, ptr [[B_I]], align 823; CHECK-NEXT: [[B3_I:%.*]] = getelementptr [[TYPE]], ptr [[B]], i64 0, i32 024; CHECK-NEXT: [[VALUE406:%.*]] = load i64, ptr [[B3_I]], align 825; CHECK-NEXT: [[CMP4_I:%.*]] = icmp eq i64 [[VALUE405]], [[VALUE406]]26; CHECK-NEXT: br i1 [[CMP4_I]], label %[[LAND_LHS_TRUE5_I:.*]], label %[[TEST_EXIT]]27; CHECK: [[LAND_LHS_TRUE5_I]]:28; CHECK-NEXT: [[C_I:%.*]] = getelementptr [[TYPE]], ptr [[A]], i64 0, i32 229; CHECK-NEXT: [[VALUE407:%.*]] = load i64, ptr [[C_I]], align 830; CHECK-NEXT: [[C6_I:%.*]] = getelementptr [[TYPE]], ptr [[B]], i64 0, i32 231; CHECK-NEXT: [[VALUE408:%.*]] = load i64, ptr [[C6_I]], align 832; CHECK-NEXT: [[CMP7_I:%.*]] = icmp eq i64 [[VALUE407]], [[VALUE408]]33; CHECK-NEXT: br i1 [[CMP7_I]], label %[[LAND_RHS_I:.*]], label %[[TEST_EXIT]]34; CHECK: [[LAND_RHS_I]]:35; CHECK-NEXT: [[D_I:%.*]] = getelementptr [[TYPE]], ptr [[A]], i64 0, i32 336; CHECK-NEXT: [[VALUE409:%.*]] = load i64, ptr [[D_I]], align 837; CHECK-NEXT: [[D8_I:%.*]] = getelementptr [[TYPE]], ptr [[B]], i64 0, i32 338; CHECK-NEXT: [[VALUE410:%.*]] = load i64, ptr [[D8_I]], align 839; CHECK-NEXT: [[CMP9_I:%.*]] = icmp eq i64 [[VALUE409]], [[VALUE410]]40; CHECK-NEXT: br label %[[TEST_EXIT]]41; CHECK: [[TEST_EXIT]]:42; CHECK-NEXT: [[VALUE411:%.*]] = phi i1 [ false, %[[LAND_LHS_TRUE5_I]] ], [ false, %[[LAND_LHS_TRUE_I]] ], [ false, %[[BLOCK307]] ], [ [[CMP9_I]], %[[LAND_RHS_I]] ]43; CHECK-NEXT: ret i1 false44; CHECK: [[EXIT]]:45; CHECK-NEXT: ret i1 false46;47entry:48 %Value401 = select i1 %cond, ptr blockaddress(@test, %Block307), ptr blockaddress(@test, %exit)49 indirectbr ptr %Value401, [label %Block307, label %exit]50 51Block307: ; preds = %entry52 %Value403 = load i64, ptr %a, align 853 %Value404 = load i64, ptr %a, align 854 %cmp.i = icmp eq i64 %Value403, %Value40455 br i1 %cmp.i, label %land.lhs.true.i, label %test.exit56 57land.lhs.true.i: ; preds = %Block30758 %b.i = getelementptr %type, ptr %a, i64 0, i32 059 %Value405 = load i64, ptr %b.i, align 860 %b3.i = getelementptr %type, ptr %b, i64 0, i32 061 %Value406 = load i64, ptr %b3.i, align 862 %cmp4.i = icmp eq i64 %Value405, %Value40663 br i1 %cmp4.i, label %land.lhs.true5.i, label %test.exit64 65land.lhs.true5.i: ; preds = %land.lhs.true.i66 %c.i = getelementptr %type, ptr %a, i64 0, i32 267 %Value407 = load i64, ptr %c.i, align 868 %c6.i = getelementptr %type, ptr %b, i64 0, i32 269 %Value408 = load i64, ptr %c6.i, align 870 %cmp7.i = icmp eq i64 %Value407, %Value40871 br i1 %cmp7.i, label %land.rhs.i, label %test.exit72 73land.rhs.i: ; preds = %land.lhs.true5.i74 %d.i = getelementptr %type, ptr %a, i64 0, i32 375 %Value409 = load i64, ptr %d.i, align 876 %d8.i = getelementptr %type, ptr %b, i64 0, i32 377 %Value410 = load i64, ptr %d8.i, align 878 %cmp9.i = icmp eq i64 %Value409, %Value41079 br label %test.exit80 81test.exit: ; preds = %land.rhs.i, %land.lhs.true5.i, %land.lhs.true.i, %Block30782 %Value411 = phi i1 [ false, %land.lhs.true5.i ], [ false, %land.lhs.true.i ], [ false, %Block307 ], [ %cmp9.i, %land.rhs.i ]83 ret i1 false84 85exit: ; preds = %entry86 ret i1 false87}88