67 lines · plain
1; RUN: opt -passes='loop(loop-idiom)' < %s -S | FileCheck %s2 3target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6; invalid libcall prototype7declare void @strlen(i32)8declare void @wcslen(i32)9 10define i64 @valid_wcslen32(ptr %src) {11; CHECK-LABEL: valid_wcslen3212; CHECK-NOT: call {{.*}} @wcslen13entry:14 %cmp = icmp eq ptr %src, null15 br i1 %cmp, label %return, label %lor.lhs.false16 17lor.lhs.false: ; preds = %entry18 %0 = load i32, ptr %src, align 419 %cmp1 = icmp eq i32 %0, 020 br i1 %cmp1, label %return, label %while.cond.preheader21 22while.cond.preheader: ; preds = %lor.lhs.false23 br label %while.cond24 25while.cond: ; preds = %while.cond.preheader, %while.cond26 %src.pn = phi ptr [ %curr.0, %while.cond ], [ %src, %while.cond.preheader ]27 %curr.0 = getelementptr inbounds i8, ptr %src.pn, i64 428 %1 = load i32, ptr %curr.0, align 429 %tobool.not = icmp eq i32 %1, 030 br i1 %tobool.not, label %while.end, label %while.cond31 32while.end: ; preds = %while.cond33 %curr.0.lcssa = phi ptr [ %curr.0, %while.cond ]34 %sub.ptr.lhs.cast = ptrtoint ptr %curr.0.lcssa to i6435 %sub.ptr.rhs.cast = ptrtoint ptr %src to i6436 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast37 %sub.ptr.div = ashr exact i64 %sub.ptr.sub, 238 br label %return39 40return: ; preds = %entry, %lor.lhs.false, %while.end41 %retval.0 = phi i64 [ %sub.ptr.div, %while.end ], [ 0, %lor.lhs.false ], [ 0, %entry ]42 ret i64 %retval.043}44 45define i64 @valid_strlen(ptr %str) {46; CHECK-LABEL: valid_strlen47; CHECK-NOT: call {{.*}} @strlen48entry:49 br label %while.cond50 51while.cond:52 %str.addr.0 = phi ptr [ %str, %entry ], [ %incdec.ptr, %while.cond ]53 %0 = load i8, ptr %str.addr.0, align 154 %cmp.not = icmp eq i8 %0, 055 %incdec.ptr = getelementptr i8, ptr %str.addr.0, i64 156 br i1 %cmp.not, label %while.end, label %while.cond57 58while.end:59 %sub.ptr.lhs.cast = ptrtoint ptr %str.addr.0 to i6460 %sub.ptr.rhs.cast = ptrtoint ptr %str to i6461 %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast62 ret i64 %sub.ptr.sub63}64 65!llvm.module.flags = !{!0}66!0 = !{i32 1, !"wchar_size", i32 4}67