78 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3;4; This test ensures that InstCombine does not distribute And over Xor5; using simplifications involving undef.6 7define zeroext i1 @foo(i32 %arg) {8; CHECK-LABEL: @foo(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[ARG:%.*]], 3711; CHECK-NEXT: br i1 [[CMP1]], label [[BB_ELSE:%.*]], label [[BB_THEN:%.*]]12; CHECK: bb_then:13; CHECK-NEXT: call void @bar()14; CHECK-NEXT: br label [[BB_EXIT:%.*]]15; CHECK: bb_else:16; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 [[ARG]], 1717; CHECK-NEXT: br label [[BB_EXIT]]18; CHECK: bb_exit:19; CHECK-NEXT: [[AND1:%.*]] = phi i1 [ [[CMP2]], [[BB_THEN]] ], [ false, [[BB_ELSE]] ]20; CHECK-NEXT: ret i1 [[AND1]]21;22 23entry:24 %cmp1 = icmp eq i32 %arg, 3725 br i1 %cmp1, label %bb_then, label %bb_else26 27bb_then:28 call void @bar()29 br label %bb_exit30 31bb_else:32 %cmp2 = icmp slt i32 %arg, 1733 br label %bb_exit34 35bb_exit:36 %phi1 = phi i1 [ %cmp2, %bb_else ], [ undef, %bb_then ]37 %xor1 = xor i1 %cmp1, true38 %and1 = and i1 %phi1, %xor139 ret i1 %and140}41 42define zeroext i1 @foo_logical(i32 %arg) {43; CHECK-LABEL: @foo_logical(44; CHECK-NEXT: entry:45; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[ARG:%.*]], 3746; CHECK-NEXT: br i1 [[CMP1]], label [[BB_ELSE:%.*]], label [[BB_THEN:%.*]]47; CHECK: bb_then:48; CHECK-NEXT: call void @bar()49; CHECK-NEXT: br label [[BB_EXIT:%.*]]50; CHECK: bb_else:51; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 [[ARG]], 1752; CHECK-NEXT: br label [[BB_EXIT]]53; CHECK: bb_exit:54; CHECK-NEXT: [[AND1:%.*]] = phi i1 [ [[CMP2]], [[BB_THEN]] ], [ false, [[BB_ELSE]] ]55; CHECK-NEXT: ret i1 [[AND1]]56;57 58entry:59 %cmp1 = icmp eq i32 %arg, 3760 br i1 %cmp1, label %bb_then, label %bb_else61 62bb_then:63 call void @bar()64 br label %bb_exit65 66bb_else:67 %cmp2 = icmp slt i32 %arg, 1768 br label %bb_exit69 70bb_exit:71 %phi1 = phi i1 [ %cmp2, %bb_else ], [ undef, %bb_then ]72 %xor1 = xor i1 %cmp1, true73 %and1 = select i1 %phi1, i1 %xor1, i1 false74 ret i1 %and175}76 77declare void @bar()78