1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -S -passes=instcombine | FileCheck %s 3 4; Derived from gcc.c-torture/execute/frame-address.c 5 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 1 10; CHECK-NEXT: store i8 0, ptr [[D]], align 1 11; 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 i32 26; CHECK-NEXT: ret i32 [[RETVAL_0]] 27; 28entry: 29 %d = alloca i8, align 1 30 store i8 0, ptr %d, align 1 31 %cmp = icmp ugt ptr %d, %c 32 br i1 %cmp, label %if.else, label %if.then 33 34if.then: ; preds = %entry 35 %cmp2 = icmp ule ptr %d, %f 36 %not.cmp1 = icmp uge ptr %c, %f 37 %.cmp2 = and i1 %cmp2, %not.cmp1 38 %land.ext = zext i1 %.cmp2 to i32 39 br label %return 40 41if.else: ; preds = %entry 42 %cmp5 = icmp uge ptr %d, %f 43 %not.cmp3 = icmp ule ptr %c, %f 44 %.cmp5 = and i1 %cmp5, %not.cmp3 45 %land.ext7 = zext i1 %.cmp5 to i32 46 br label %return 47 48return: ; preds = %if.else, %if.then 49 %retval.0 = phi i32 [ %land.ext, %if.then ], [ %land.ext7, %if.else ] 50 ret i32 %retval.0 51} 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 1 57; CHECK-NEXT: store i8 0, ptr [[D]], align 1 58; 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 i32 73; CHECK-NEXT: ret i32 [[RETVAL_0]] 74; 75entry: 76 %d = alloca i8, align 1 77 store i8 0, ptr %d, align 1 78 %cmp = icmp ugt ptr %d, %c 79 br i1 %cmp, label %if.else, label %if.then 80 81if.then: ; preds = %entry 82 %cmp2 = icmp ule ptr %d, %f 83 %not.cmp1 = icmp uge ptr %c, %f 84 %.cmp2 = select i1 %cmp2, i1 %not.cmp1, i1 false 85 %land.ext = zext i1 %.cmp2 to i32 86 br label %return 87 88if.else: ; preds = %entry 89 %cmp5 = icmp uge ptr %d, %f 90 %not.cmp3 = icmp ule ptr %c, %f 91 %.cmp5 = select i1 %cmp5, i1 %not.cmp3, i1 false 92 %land.ext7 = zext i1 %.cmp5 to i32 93 br label %return 94 95return: ; preds = %if.else, %if.then 96 %retval.0 = phi i32 [ %land.ext, %if.then ], [ %land.ext7, %if.else ] 97 ret i32 %retval.0 98} 99 100