127 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='loop(loop-idiom)' < %s -S | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7define i64 @valid_strlen16(ptr %src) {8; CHECK-LABEL: define i64 @valid_strlen16(9; CHECK-SAME: ptr [[SRC:%.*]]) {10; CHECK-NEXT: [[ENTRY:.*]]:11; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[SRC]], null12; CHECK-NEXT: br i1 [[CMP]], label %[[RETURN:.*]], label %[[LOR_LHS_FALSE:.*]]13; CHECK: [[LOR_LHS_FALSE]]:14; CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr [[SRC]], align 215; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i16 [[TMP0]], 016; CHECK-NEXT: br i1 [[CMP1]], label %[[RETURN]], label %[[WHILE_COND_PREHEADER:.*]]17; CHECK: [[WHILE_COND_PREHEADER]]:18; CHECK-NEXT: [[NEWGEP:%.*]] = getelementptr i8, ptr [[SRC]], i64 219; CHECK-NEXT: [[WCSLEN:%.*]] = call i64 @wcslen(ptr [[NEWGEP]])20; CHECK-NEXT: [[TMP1:%.*]] = shl i64 [[WCSLEN]], 121; CHECK-NEXT: [[TMP2:%.*]] = add i64 [[TMP1]], 222; CHECK-NEXT: [[END:%.*]] = getelementptr i8, ptr [[SRC]], i64 [[TMP2]]23; CHECK-NEXT: br label %[[WHILE_COND:.*]]24; CHECK: [[WHILE_COND]]:25; CHECK-NEXT: [[SRC_PN:%.*]] = phi ptr [ [[CURR_0:%.*]], %[[WHILE_COND]] ], [ [[SRC]], %[[WHILE_COND_PREHEADER]] ]26; CHECK-NEXT: [[CURR_0]] = getelementptr inbounds i8, ptr [[SRC_PN]], i64 227; CHECK-NEXT: [[TMP3:%.*]] = load i16, ptr [[CURR_0]], align 228; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i16 [[TMP3]], 029; CHECK-NEXT: br i1 true, label %[[WHILE_END:.*]], label %[[WHILE_COND]]30; CHECK: [[WHILE_END]]:31; CHECK-NEXT: [[SUB_PTR_LHS_CAST:%.*]] = ptrtoint ptr [[END]] to i6432; CHECK-NEXT: [[SUB_PTR_RHS_CAST:%.*]] = ptrtoint ptr [[SRC]] to i6433; CHECK-NEXT: [[SUB_PTR_SUB:%.*]] = sub i64 [[SUB_PTR_LHS_CAST]], [[SUB_PTR_RHS_CAST]]34; CHECK-NEXT: [[SUB_PTR_DIV:%.*]] = ashr exact i64 [[SUB_PTR_SUB]], 135; CHECK-NEXT: br label %[[RETURN]]36; CHECK: [[RETURN]]:37; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i64 [ [[SUB_PTR_DIV]], %[[WHILE_END]] ], [ 0, %[[LOR_LHS_FALSE]] ], [ 0, %[[ENTRY]] ]38; CHECK-NEXT: ret i64 [[RETVAL_0]]39;40entry:41 %cmp = icmp eq ptr %src, null42 br i1 %cmp, label %return, label %lor.lhs.false43 44lor.lhs.false: ; preds = %entry45 %0 = load i16, ptr %src, align 246 %cmp1 = icmp eq i16 %0, 047 br i1 %cmp1, label %return, label %while.cond48 49while.cond: ; preds = %lor.lhs.false, %while.cond50 %src.pn = phi ptr [ %curr.0, %while.cond ], [ %src, %lor.lhs.false ]51 %curr.0 = getelementptr inbounds i8, ptr %src.pn, i64 252 %1 = load i16, ptr %curr.0, align 253 %tobool.not = icmp eq i16 %1, 054 br i1 %tobool.not, label %while.end, label %while.cond55 56while.end: ; preds = %while.cond57 %sub.ptr.lhs.cast = ptrtoint ptr %curr.0 to i6458 %sub.ptr.rhs.cast = ptrtoint ptr %src to i6459 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast60 %sub.ptr.div = ashr exact i64 %sub.ptr.sub, 161 br label %return62 63return: ; preds = %entry, %lor.lhs.false, %while.end64 %retval.0 = phi i64 [ %sub.ptr.div, %while.end ], [ 0, %lor.lhs.false ], [ 0, %entry ]65 ret i64 %retval.066}67 68define i64 @invalid_char_size(ptr %src) {69; CHECK-LABEL: define i64 @invalid_char_size(70; CHECK-SAME: ptr [[SRC:%.*]]) {71; CHECK-NEXT: [[ENTRY:.*]]:72; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[SRC]], null73; CHECK-NEXT: br i1 [[CMP]], label %[[RETURN:.*]], label %[[LOR_LHS_FALSE:.*]]74; CHECK: [[LOR_LHS_FALSE]]:75; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[SRC]], align 276; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[TMP0]], 077; CHECK-NEXT: br i1 [[CMP1]], label %[[RETURN]], label %[[WHILE_COND_PREHEADER:.*]]78; CHECK: [[WHILE_COND_PREHEADER]]:79; CHECK-NEXT: br label %[[WHILE_COND:.*]]80; CHECK: [[WHILE_COND]]:81; CHECK-NEXT: [[SRC_PN:%.*]] = phi ptr [ [[CURR_0:%.*]], %[[WHILE_COND]] ], [ [[SRC]], %[[WHILE_COND_PREHEADER]] ]82; CHECK-NEXT: [[CURR_0]] = getelementptr inbounds i8, ptr [[SRC_PN]], i64 483; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[CURR_0]], align 484; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[TMP1]], 085; CHECK-NEXT: br i1 [[TOBOOL_NOT]], label %[[WHILE_END:.*]], label %[[WHILE_COND]]86; CHECK: [[WHILE_END]]:87; CHECK-NEXT: [[CURR_0_LCSSA:%.*]] = phi ptr [ [[CURR_0]], %[[WHILE_COND]] ]88; CHECK-NEXT: [[SUB_PTR_LHS_CAST:%.*]] = ptrtoint ptr [[CURR_0_LCSSA]] to i6489; CHECK-NEXT: [[SUB_PTR_RHS_CAST:%.*]] = ptrtoint ptr [[SRC]] to i6490; CHECK-NEXT: [[SUB_PTR_SUB:%.*]] = sub i64 [[SUB_PTR_LHS_CAST]], [[SUB_PTR_RHS_CAST]]91; CHECK-NEXT: [[SUB_PTR_DIV:%.*]] = ashr exact i64 [[SUB_PTR_SUB]], 292; CHECK-NEXT: br label %[[RETURN]]93; CHECK: [[RETURN]]:94; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i64 [ [[SUB_PTR_DIV]], %[[WHILE_END]] ], [ 0, %[[LOR_LHS_FALSE]] ], [ 0, %[[ENTRY]] ]95; CHECK-NEXT: ret i64 [[RETVAL_0]]96;97entry:98 %cmp = icmp eq ptr %src, null99 br i1 %cmp, label %return, label %lor.lhs.false100 101lor.lhs.false: ; preds = %entry102 %0 = load i32, ptr %src, align 2103 %cmp1 = icmp eq i32 %0, 0104 br i1 %cmp1, label %return, label %while.cond105 106while.cond: ; preds = %lor.lhs.false, %while.cond107 %src.pn = phi ptr [ %curr.0, %while.cond ], [ %src, %lor.lhs.false ]108 %curr.0 = getelementptr inbounds i8, ptr %src.pn, i64 4109 %1 = load i32, ptr %curr.0, align 4110 %tobool.not = icmp eq i32 %1, 0111 br i1 %tobool.not, label %while.end, label %while.cond112 113while.end: ; preds = %while.cond114 %sub.ptr.lhs.cast = ptrtoint ptr %curr.0 to i64115 %sub.ptr.rhs.cast = ptrtoint ptr %src to i64116 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast117 %sub.ptr.div = ashr exact i64 %sub.ptr.sub, 2118 br label %return119 120return: ; preds = %entry, %lor.lhs.false, %while.end121 %retval.0 = phi i64 [ %sub.ptr.div, %while.end ], [ 0, %lor.lhs.false ], [ 0, %entry ]122 ret i64 %retval.0123}124!llvm.module.flags = !{!0}125!0 = !{i32 1, !"wchar_size", i32 2}126 127