135 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_wcslen32(ptr %src) {8; CHECK-LABEL: define i64 @valid_wcslen32(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 i32, ptr [[SRC]], align 415; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[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 419; CHECK-NEXT: [[WCSLEN:%.*]] = call i64 @wcslen(ptr [[NEWGEP]])20; CHECK-NEXT: [[TMP1:%.*]] = shl i64 [[WCSLEN]], 221; CHECK-NEXT: [[TMP2:%.*]] = add i64 [[TMP1]], 422; 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 427; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[CURR_0]], align 428; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[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]], 235; 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 i32, ptr %src, align 446 %cmp1 = icmp eq i32 %0, 047 br i1 %cmp1, label %return, label %while.cond.preheader48 49while.cond.preheader: ; preds = %lor.lhs.false50 br label %while.cond51 52while.cond: ; preds = %while.cond.preheader, %while.cond53 %src.pn = phi ptr [ %curr.0, %while.cond ], [ %src, %while.cond.preheader ]54 %curr.0 = getelementptr inbounds i8, ptr %src.pn, i64 455 %1 = load i32, ptr %curr.0, align 456 %tobool.not = icmp eq i32 %1, 057 br i1 %tobool.not, label %while.end, label %while.cond58 59while.end: ; preds = %while.cond60 %curr.0.lcssa = phi ptr [ %curr.0, %while.cond ]61 %sub.ptr.lhs.cast = ptrtoint ptr %curr.0.lcssa to i6462 %sub.ptr.rhs.cast = ptrtoint ptr %src to i6463 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast64 %sub.ptr.div = ashr exact i64 %sub.ptr.sub, 265 br label %return66 67return: ; preds = %entry, %lor.lhs.false, %while.end68 %retval.0 = phi i64 [ %sub.ptr.div, %while.end ], [ 0, %lor.lhs.false ], [ 0, %entry ]69 ret i64 %retval.070}71 72define i64 @invalid_char_size(ptr %src) {73; CHECK-LABEL: define i64 @invalid_char_size(74; CHECK-SAME: ptr [[SRC:%.*]]) {75; CHECK-NEXT: [[ENTRY:.*]]:76; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[SRC]], null77; CHECK-NEXT: br i1 [[CMP]], label %[[RETURN:.*]], label %[[LOR_LHS_FALSE:.*]]78; CHECK: [[LOR_LHS_FALSE]]:79; CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr [[SRC]], align 280; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i16 [[TMP0]], 081; CHECK-NEXT: br i1 [[CMP1]], label %[[RETURN]], label %[[WHILE_COND_PREHEADER:.*]]82; CHECK: [[WHILE_COND_PREHEADER]]:83; CHECK-NEXT: br label %[[WHILE_COND:.*]]84; CHECK: [[WHILE_COND]]:85; CHECK-NEXT: [[SRC_PN:%.*]] = phi ptr [ [[CURR_0:%.*]], %[[WHILE_COND]] ], [ [[SRC]], %[[WHILE_COND_PREHEADER]] ]86; CHECK-NEXT: [[CURR_0]] = getelementptr inbounds i8, ptr [[SRC_PN]], i64 287; CHECK-NEXT: [[TMP1:%.*]] = load i16, ptr [[CURR_0]], align 288; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i16 [[TMP1]], 089; CHECK-NEXT: br i1 [[TOBOOL_NOT]], label %[[WHILE_END:.*]], label %[[WHILE_COND]]90; CHECK: [[WHILE_END]]:91; CHECK-NEXT: [[CURR_0_LCSSA:%.*]] = phi ptr [ [[CURR_0]], %[[WHILE_COND]] ]92; CHECK-NEXT: [[SUB_PTR_LHS_CAST:%.*]] = ptrtoint ptr [[CURR_0_LCSSA]] to i6493; CHECK-NEXT: [[SUB_PTR_RHS_CAST:%.*]] = ptrtoint ptr [[SRC]] to i6494; CHECK-NEXT: [[SUB_PTR_SUB:%.*]] = sub i64 [[SUB_PTR_LHS_CAST]], [[SUB_PTR_RHS_CAST]]95; CHECK-NEXT: [[SUB_PTR_DIV:%.*]] = ashr exact i64 [[SUB_PTR_SUB]], 196; CHECK-NEXT: br label %[[RETURN]]97; CHECK: [[RETURN]]:98; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i64 [ [[SUB_PTR_DIV]], %[[WHILE_END]] ], [ 0, %[[LOR_LHS_FALSE]] ], [ 0, %[[ENTRY]] ]99; CHECK-NEXT: ret i64 [[RETVAL_0]]100;101entry:102 %cmp = icmp eq ptr %src, null103 br i1 %cmp, label %return, label %lor.lhs.false104 105lor.lhs.false: ; preds = %entry106 %0 = load i16, ptr %src, align 2107 %cmp1 = icmp eq i16 %0, 0108 br i1 %cmp1, label %return, label %while.cond.preheader109 110while.cond.preheader: ; preds = %lor.lhs.false111 br label %while.cond112 113while.cond: ; preds = %while.cond.preheader, %while.cond114 %src.pn = phi ptr [ %curr.0, %while.cond ], [ %src, %while.cond.preheader ]115 %curr.0 = getelementptr inbounds i8, ptr %src.pn, i64 2116 %1 = load i16, ptr %curr.0, align 2117 %tobool.not = icmp eq i16 %1, 0118 br i1 %tobool.not, label %while.end, label %while.cond119 120while.end: ; preds = %while.cond121 %curr.0.lcssa = phi ptr [ %curr.0, %while.cond ]122 %sub.ptr.lhs.cast = ptrtoint ptr %curr.0.lcssa to i64123 %sub.ptr.rhs.cast = ptrtoint ptr %src to i64124 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast125 %sub.ptr.div = ashr exact i64 %sub.ptr.sub, 1126 br label %return127 128return: ; preds = %entry, %lor.lhs.false, %while.end129 %retval.0 = phi i64 [ %sub.ptr.div, %while.end ], [ 0, %lor.lhs.false ], [ 0, %entry ]130 ret i64 %retval.0131}132!llvm.module.flags = !{!0}133!0 = !{i32 1, !"wchar_size", i32 4}134 135