1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; RUN: opt -O2 -S < %s | FileCheck %s 3; 4; Source code: 5; typedef unsigned long u64; 6; void foo(char *data, int idx, u64 *); 7; int test(int len, char *data) { 8; if (len < 100) { 9; for (int i = 1; i < len; i++) { 10; u64 d[1]; 11; d[0] = data[0] ?: '0'; 12; foo("%c", i, d); 13; } 14; } 15; return 0; 16; } 17; Compilation flag: 18; clang -target bpf -O2 -S -emit-llvm -Xclang -disable-llvm-passes test.c 19 20; ModuleID = 'test.c' 21source_filename = "test.c" 22target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128" 23target triple = "bpf" 24 25@.str = private unnamed_addr constant [3 x i8] c"%c\00", align 1 26 27; Function Attrs: nounwind 28define dso_local i32 @test(i32 %len, ptr %data) #0 { 29; CHECK-LABEL: define dso_local noundef i32 @test( 30; CHECK-SAME: i32 [[LEN:%.*]], ptr readonly captures(none) [[DATA:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { 31; CHECK-NEXT: entry: 32; CHECK-NEXT: [[D:%.*]] = alloca [1 x i64], align 8 33; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[LEN]], -2 34; CHECK-NEXT: [[OR_COND:%.*]] = icmp ult i32 [[TMP0]], 98 35; CHECK-NEXT: br i1 [[OR_COND]], label [[FOR_BODY:%.*]], label [[IF_END:%.*]] 36; CHECK: for.body: 37; CHECK-NEXT: [[I_05:%.*]] = phi i32 [ [[INC:%.*]], [[FOR_BODY]] ], [ 1, [[ENTRY:%.*]] ] 38; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 8, ptr nonnull [[D]]) #[[ATTR3:[0-9]+]] 39; CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[DATA]], align 1, !tbaa [[TBAA3:![0-9]+]] 40; CHECK-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i8 [[TMP1]], 0 41; CHECK-NEXT: [[NARROW:%.*]] = select i1 [[TOBOOL_NOT]], i8 48, i8 [[TMP1]] 42; CHECK-NEXT: [[CONV2:%.*]] = sext i8 [[NARROW]] to i64 43; CHECK-NEXT: store i64 [[CONV2]], ptr [[D]], align 8, !tbaa [[TBAA6:![0-9]+]] 44; CHECK-NEXT: call void @foo(ptr nonnull @.str, i32 [[I_05]], ptr nonnull [[D]]) #[[ATTR3]] 45; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 8, ptr nonnull [[D]]) #[[ATTR3]] 46; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[I_05]], 1 47; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i32 [[INC]], [[LEN]] 48; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label [[IF_END]], label [[FOR_BODY]], !llvm.loop [[LOOP8:![0-9]+]] 49; CHECK: if.end: 50; CHECK-NEXT: ret i32 0 51; 52entry: 53 %len.addr = alloca i32, align 4 54 %data.addr = alloca ptr, align 8 55 %i = alloca i32, align 4 56 %d = alloca [1 x i64], align 8 57 store i32 %len, ptr %len.addr, align 4, !tbaa !3 58 store ptr %data, ptr %data.addr, align 8, !tbaa !7 59 %0 = load i32, ptr %len.addr, align 4, !tbaa !3 60 %cmp = icmp slt i32 %0, 100 61 br i1 %cmp, label %if.then, label %if.end 62 63if.then: ; preds = %entry 64 call void @llvm.lifetime.start.p0(i64 4, ptr %i) #3 65 store i32 1, ptr %i, align 4, !tbaa !3 66 br label %for.cond 67 68for.cond: ; preds = %for.inc, %if.then 69 %1 = load i32, ptr %i, align 4, !tbaa !3 70 %2 = load i32, ptr %len.addr, align 4, !tbaa !3 71 %cmp1 = icmp slt i32 %1, %2 72 br i1 %cmp1, label %for.body, label %for.cond.cleanup 73 74 75for.cond.cleanup: ; preds = %for.cond 76 call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3 77 br label %for.end 78 79for.body: ; preds = %for.cond 80 call void @llvm.lifetime.start.p0(i64 8, ptr %d) #3 81 %3 = load ptr, ptr %data.addr, align 8, !tbaa !7 82 %4 = load i8, ptr %3, align 1, !tbaa !9 83 %conv = sext i8 %4 to i32 84 %tobool = icmp ne i32 %conv, 0 85 br i1 %tobool, label %cond.true, label %cond.false 86 87cond.true: ; preds = %for.body 88 br label %cond.end 89 90cond.false: ; preds = %for.body 91 br label %cond.end 92 93cond.end: ; preds = %cond.false, %cond.true 94 %cond = phi i32 [ %conv, %cond.true ], [ 48, %cond.false ] 95 %conv2 = sext i32 %cond to i64 96 store i64 %conv2, ptr %d, align 8, !tbaa !10 97 %5 = load i32, ptr %i, align 4, !tbaa !3 98 call void @foo(ptr @.str, i32 %5, ptr %d) 99 call void @llvm.lifetime.end.p0(i64 8, ptr %d) #3 100 br label %for.inc 101 102for.inc: ; preds = %cond.end 103 %6 = load i32, ptr %i, align 4, !tbaa !3 104 %inc = add nsw i32 %6, 1 105 store i32 %inc, ptr %i, align 4, !tbaa !3 106 br label %for.cond, !llvm.loop !12 107 108for.end: ; preds = %for.cond.cleanup 109 br label %if.end 110 111if.end: ; preds = %for.end, %entry 112 ret i32 0 113} 114 115; Function Attrs: argmemonly nofree nosync nounwind willreturn 116declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1 117 118declare dso_local void @foo(ptr, i32, ptr) #2 119 120; Function Attrs: argmemonly nofree nosync nounwind willreturn 121declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1 122 123attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } 124attributes #1 = { argmemonly nofree nosync nounwind willreturn } 125attributes #2 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } 126attributes #3 = { nounwind } 127 128!llvm.module.flags = !{!0, !1} 129!llvm.ident = !{!2} 130 131!0 = !{i32 1, !"wchar_size", i32 4} 132!1 = !{i32 7, !"frame-pointer", i32 2} 133!2 = !{!"clang version 14.0.0 (https://github.com/llvm/llvm-project.git 8385de118443144518c9fba8b3d831d9076e746b)"} 134!3 = !{!4, !4, i64 0} 135!4 = !{!"int", !5, i64 0} 136!5 = !{!"omnipotent char", !6, i64 0} 137!6 = !{!"Simple C/C++ TBAA"} 138!7 = !{!8, !8, i64 0} 139!8 = !{!"any pointer", !5, i64 0} 140!9 = !{!5, !5, i64 0} 141!10 = !{!11, !11, i64 0} 142!11 = !{!"long", !5, i64 0} 143!12 = distinct !{!12, !13} 144!13 = !{!"llvm.loop.mustprogress"} 145