100 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -passes=instcombine | FileCheck %s3 4; Derived from gcc.c-torture/execute/frame-address.c5 6define i32 @func(ptr %c, ptr %f) nounwind uwtable readnone noinline ssp {7; CHECK-LABEL: @func(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[D:%.*]] = alloca i8, align 110; CHECK-NEXT: store i8 0, ptr [[D]], align 111; CHECK-NEXT: [[CMP:%.*]] = icmp ugt ptr [[D]], [[C:%.*]]12; CHECK-NEXT: br i1 [[CMP]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]]13; CHECK: if.then:14; CHECK-NEXT: [[CMP2:%.*]] = icmp ule ptr [[D]], [[F:%.*]]15; CHECK-NEXT: [[NOT_CMP1:%.*]] = icmp uge ptr [[C]], [[F]]16; CHECK-NEXT: [[DOTCMP2:%.*]] = and i1 [[CMP2]], [[NOT_CMP1]]17; CHECK-NEXT: br label [[RETURN:%.*]]18; CHECK: if.else:19; CHECK-NEXT: [[CMP5:%.*]] = icmp uge ptr [[D]], [[F]]20; CHECK-NEXT: [[NOT_CMP3:%.*]] = icmp ule ptr [[C]], [[F]]21; CHECK-NEXT: [[DOTCMP5:%.*]] = and i1 [[CMP5]], [[NOT_CMP3]]22; CHECK-NEXT: br label [[RETURN]]23; CHECK: return:24; CHECK-NEXT: [[RETVAL_0_IN:%.*]] = phi i1 [ [[DOTCMP2]], [[IF_THEN]] ], [ [[DOTCMP5]], [[IF_ELSE]] ]25; CHECK-NEXT: [[RETVAL_0:%.*]] = zext i1 [[RETVAL_0_IN]] to i3226; CHECK-NEXT: ret i32 [[RETVAL_0]]27;28entry:29 %d = alloca i8, align 130 store i8 0, ptr %d, align 131 %cmp = icmp ugt ptr %d, %c32 br i1 %cmp, label %if.else, label %if.then33 34if.then: ; preds = %entry35 %cmp2 = icmp ule ptr %d, %f36 %not.cmp1 = icmp uge ptr %c, %f37 %.cmp2 = and i1 %cmp2, %not.cmp138 %land.ext = zext i1 %.cmp2 to i3239 br label %return40 41if.else: ; preds = %entry42 %cmp5 = icmp uge ptr %d, %f43 %not.cmp3 = icmp ule ptr %c, %f44 %.cmp5 = and i1 %cmp5, %not.cmp345 %land.ext7 = zext i1 %.cmp5 to i3246 br label %return47 48return: ; preds = %if.else, %if.then49 %retval.0 = phi i32 [ %land.ext, %if.then ], [ %land.ext7, %if.else ]50 ret i32 %retval.051}52 53define i32 @func_logical(ptr %c, ptr %f) nounwind uwtable readnone noinline ssp {54; CHECK-LABEL: @func_logical(55; CHECK-NEXT: entry:56; CHECK-NEXT: [[D:%.*]] = alloca i8, align 157; CHECK-NEXT: store i8 0, ptr [[D]], align 158; CHECK-NEXT: [[CMP:%.*]] = icmp ugt ptr [[D]], [[C:%.*]]59; CHECK-NEXT: br i1 [[CMP]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]]60; CHECK: if.then:61; CHECK-NEXT: [[CMP2:%.*]] = icmp ule ptr [[D]], [[F:%.*]]62; CHECK-NEXT: [[NOT_CMP1:%.*]] = icmp uge ptr [[C]], [[F]]63; CHECK-NEXT: [[DOTCMP2:%.*]] = and i1 [[CMP2]], [[NOT_CMP1]]64; CHECK-NEXT: br label [[RETURN:%.*]]65; CHECK: if.else:66; CHECK-NEXT: [[CMP5:%.*]] = icmp uge ptr [[D]], [[F]]67; CHECK-NEXT: [[NOT_CMP3:%.*]] = icmp ule ptr [[C]], [[F]]68; CHECK-NEXT: [[DOTCMP5:%.*]] = and i1 [[CMP5]], [[NOT_CMP3]]69; CHECK-NEXT: br label [[RETURN]]70; CHECK: return:71; CHECK-NEXT: [[RETVAL_0_IN:%.*]] = phi i1 [ [[DOTCMP2]], [[IF_THEN]] ], [ [[DOTCMP5]], [[IF_ELSE]] ]72; CHECK-NEXT: [[RETVAL_0:%.*]] = zext i1 [[RETVAL_0_IN]] to i3273; CHECK-NEXT: ret i32 [[RETVAL_0]]74;75entry:76 %d = alloca i8, align 177 store i8 0, ptr %d, align 178 %cmp = icmp ugt ptr %d, %c79 br i1 %cmp, label %if.else, label %if.then80 81if.then: ; preds = %entry82 %cmp2 = icmp ule ptr %d, %f83 %not.cmp1 = icmp uge ptr %c, %f84 %.cmp2 = select i1 %cmp2, i1 %not.cmp1, i1 false85 %land.ext = zext i1 %.cmp2 to i3286 br label %return87 88if.else: ; preds = %entry89 %cmp5 = icmp uge ptr %d, %f90 %not.cmp3 = icmp ule ptr %c, %f91 %.cmp5 = select i1 %cmp5, i1 %not.cmp3, i1 false92 %land.ext7 = zext i1 %.cmp5 to i3293 br label %return94 95return: ; preds = %if.else, %if.then96 %retval.0 = phi i32 [ %land.ext, %if.then ], [ %land.ext7, %if.else ]97 ret i32 %retval.098}99 100