44 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define i8 @pr142518(ptr %p, i8 %x, i1 %c) "instcombine-no-verify-fixpoint" {5; CHECK-LABEL: define i8 @pr142518(6; CHECK-SAME: ptr [[P:%.*]], i8 [[X:%.*]], i1 [[C:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i8 [[X]], -19; CHECK-NEXT: br label %[[LOOP:.*]]10; CHECK: [[LOOP]]:11; CHECK-NEXT: [[NOT1:%.*]] = xor i1 [[CMP1]], true12; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP1]], [[NOT1]]13; CHECK-NEXT: [[CMP:%.*]] = xor i1 [[OR]], true14; CHECK-NEXT: [[EXT2:%.*]] = zext i1 [[CMP]] to i815; CHECK-NEXT: store i8 [[EXT2]], ptr [[P]], align 116; CHECK-NEXT: br i1 false, label %[[LOOP]], label %[[EXIT:.*]]17; CHECK: [[EXIT]]:18; CHECK-NEXT: [[NOT3:%.*]] = xor i1 [[OR]], true19; CHECK-NEXT: [[EXT3:%.*]] = zext i1 [[NOT3]] to i820; CHECK-NEXT: ret i8 [[EXT3]]21;22entry:23 %flag = alloca i8, align 124 %cmp = icmp slt i8 %x, -125 br label %loop26 27loop:28 %phi = phi i1 [ %cmp, %entry ], [ %c, %loop ]29 %not1 = xor i1 %phi, true30 %or = or i1 %cmp, %not131 %not2 = xor i1 %or, true32 %ext2 = zext i1 %not2 to i833 store i8 %ext2, ptr %p, align 134 store i8 1, ptr %flag, align 135 %flagv = load i8, ptr %flag, align 136 %cond = icmp eq i8 %flagv, 037 br i1 %cond, label %loop, label %exit38 39exit:40 %not3 = xor i1 %or, true41 %ext3 = zext i1 %not3 to i842 ret i8 %ext343}44