llvm/test/CodeGen/BPF/loop-exit-cond.ll

   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'
  21 source_filename = "test.c"
  22 target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
  23 target triple = "bpf"
  24
  25 @.str = private unnamed_addr constant [3 x i8] c"%c\00", align 1
  26
  27 ; Function Attrs: nounwind
  28 define dso_local i32 @test(i32 %len, ptr %data) #0 {
  29 ; CHECK-LABEL: define dso_local noundef i32 @test(
  30 ; CHECK-SAME: i32 [[LEN:%.*]], ptr nocapture readonly [[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 ;
  52 entry:
  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
  63 if.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
  68 for.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
  75 for.cond.cleanup:                                 ; preds = %for.cond
  76   call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3
  77   br label %for.end
  78
  79 for.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
  87 cond.true:                                        ; preds = %for.body
  88   br label %cond.end
  89
  90 cond.false:                                       ; preds = %for.body
  91   br label %cond.end
  92
  93 cond.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
 102 for.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
 108 for.end:                                          ; preds = %for.cond.cleanup
 109   br label %if.end
 110
 111 if.end:                                           ; preds = %for.end, %entry
 112   ret i32 0
 113 }
 114
 115 ; Function Attrs: argmemonly nofree nosync nounwind willreturn
 116 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1
 117
 118 declare dso_local void @foo(ptr, i32, ptr) #2
 119
 120 ; Function Attrs: argmemonly nofree nosync nounwind willreturn
 121 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1
 122
 123 attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
 124 attributes #1 = { argmemonly nofree nosync nounwind willreturn }
 125 attributes #2 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
 126 attributes #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"}