polly/test/DeLICM/pr48783.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -polly-print-delicm -disable-output < %s | FileCheck %s
   2 ;
   3 ; llvm.org/PR48783
   4 ;
   5 ; PHI predecessors of statement instances can only be reliably derived in defined behaviour situations. In this case, the inner loop's counter would overflow when its upper bound (%call24) is lower than its lower bound (2). However, due to the nsw flag, this would be undefined behavior and therefore not added to any runtime-check context, but to the defined-behaviour context.
   6 ;
   7 ; Dereived from test case pr41656.ll
   8 ;
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10
  11 define dso_local void @main() local_unnamed_addr #0 {
  12 entry:
  13   %call24 = tail call i32 @av_get_channel_layout_nb_channels() #2
  14   br label %if.end30
  15
  16 if.end30:                                         ; preds = %entry
  17   br i1 undef, label %if.then40, label %do.body.preheader
  18
  19 do.body.preheader:                                ; preds = %if.end30
  20   %idx.ext.i = sext i32 %call24 to i64
  21   %wide.trip.count.i = zext i32 %call24 to i64
  22   %0 = load ptr, ptr undef, align 8, !tbaa !1
  23   br label %for.body.us.preheader.i
  24
  25 if.then40:                                        ; preds = %if.end30
  26   unreachable
  27
  28 for.body.us.preheader.i:                          ; preds = %do.body.preheader
  29   br i1 false, label %for.body.us.i.us, label %for.body.us.i
  30
  31 for.body.us.i.us:                                 ; preds = %for.body.us.preheader.i
  32   br label %fill_samples.exit
  33
  34 for.body.us.i:                                    ; preds = %for.cond2.for.end_crit_edge.us.i, %for.body.us.preheader.i
  35   %t.1 = phi double [ undef, %for.cond2.for.end_crit_edge.us.i ], [ 0.000000e+00, %for.body.us.preheader.i ]
  36   %i.05.us.i = phi i32 [ %inc8.us.i, %for.cond2.for.end_crit_edge.us.i ], [ 0, %for.body.us.preheader.i ]
  37   %dstp.03.us.i = phi ptr [ %add.ptr.us.i, %for.cond2.for.end_crit_edge.us.i ], [ %0, %for.body.us.preheader.i ]
  38   %mul.us.i = fmul nsz double %t.1, 0x40A59933FC6A96C1
  39   %1 = call nsz double @llvm.sin.f64(double %mul.us.i) #2
  40   store double %1, ptr %dstp.03.us.i, align 8, !tbaa !5
  41   br label %for.body5.us.for.body5.us_crit_edge.i
  42
  43 for.body5.us.for.body5.us_crit_edge.i:            ; preds = %for.body5.us.for.body5.us_crit_edge.i.for.body5.us.for.body5.us_crit_edge.i_crit_edge, %for.body.us.i
  44   %indvars.iv.next.i66 = phi i64 [ 2, %for.body.us.i ], [ %indvars.iv.next.i, %for.body5.us.for.body5.us_crit_edge.i.for.body5.us.for.body5.us_crit_edge.i_crit_edge ]
  45   %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.next.i66, 1
  46   udiv i64 1, %indvars.iv.next.i
  47   %exitcond.i = icmp eq i64 %indvars.iv.next.i, %wide.trip.count.i
  48   br i1 %exitcond.i, label %for.cond2.for.end_crit_edge.us.i, label %for.body5.us.for.body5.us_crit_edge.i.for.body5.us.for.body5.us_crit_edge.i_crit_edge
  49
  50 for.body5.us.for.body5.us_crit_edge.i.for.body5.us.for.body5.us_crit_edge.i_crit_edge: ; preds = %for.body5.us.for.body5.us_crit_edge.i
  51   %.pre10.i.pre = load i64, ptr %dstp.03.us.i, align 8, !tbaa !5
  52   br label %for.body5.us.for.body5.us_crit_edge.i
  53
  54 for.cond2.for.end_crit_edge.us.i:                 ; preds = %for.body5.us.for.body5.us_crit_edge.i
  55   %add.ptr.us.i = getelementptr inbounds double, ptr %dstp.03.us.i, i64 %idx.ext.i
  56   %inc8.us.i = add nuw nsw i32 %i.05.us.i, 1
  57   %exitcond7.i = icmp eq i32 %inc8.us.i, 1024
  58   br i1 %exitcond7.i, label %fill_samples.exit, label %for.body.us.i
  59
  60 fill_samples.exit:                                ; preds = %for.cond2.for.end_crit_edge.us.i, %for.body.us.i.us
  61   ret void
  62 }
  63
  64 declare dso_local i32 @av_get_channel_layout_nb_channels() local_unnamed_addr #0
  65
  66 ; Function Attrs: nounwind readnone speculatable
  67 declare double @llvm.sin.f64(double) #1
  68
  69 attributes #0 = { "use-soft-float"="false" }
  70 attributes #1 = { nounwind readnone speculatable }
  71 attributes #2 = { nounwind }
  72
  73 !llvm.ident = !{!0}
  74
  75 !0 = !{!"clang version 9.0.0 (https://github.com/llvm/llvm-project.git 2436237895b70ed44cf256f67eb2f74e147eb559)"}
  76 !1 = !{!2, !2, i64 0}
  77 !2 = !{!"any pointer", !3, i64 0}
  78 !3 = !{!"omnipotent char", !4, i64 0}
  79 !4 = !{!"Simple C/C++ TBAA"}
  80 !5 = !{!6, !6, i64 0}
  81 !6 = !{!"double", !3, i64 0}
  82
  83
  84 ; CHECK:      Invalid Context:
  85 ; CHECK-NEXT: [call24] -> { : false }
  86 ; CHECK:      Defined Behavior Context:
  87 ; CHECK-NEXT: [call24] -> {  : 3 <= call24 <= 2147483647 }
  88
  89 ; Only write to scalar if call24 >= 3 (i.e. has defined behavior)
  90 ; Since it should be never executed otherwise, the condition is not strictly necessary.
  91 ; CHECK-LABEL: DeLICM result:
  92 ; CHECK:          Stmt_for_body_us_preheader_i
  93 ; CHECK-NEXT:            MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 1]
  94 ; CHECK-NEXT:                 [call24] -> { Stmt_for_body_us_preheader_i[] -> MemRef_t_1__phi[] };
  95 ; CHECK-NEXT:            new: [call24] -> { Stmt_for_body_us_preheader_i[] -> MemRef1[0, 0] : call24 >= 3 };