polly/test/CodeGen/invariant_cannot_handle_void.ll

   1 ; RUN: opt %loadPolly -polly-invariant-load-hoisting=true -polly-print-scops -disable-output < %s | FileCheck %s --check-prefix=SCOP
   2 ; RUN: opt %loadPolly -S -polly-codegen -polly-invariant-load-hoisting=true %s | FileCheck %s
   3 ;
   4 ; The offset of the %tmp1 load wrt. to %buff (62 bytes) is not divisible
   5 ; by the type size (i32 = 4 bytes), thus we will have to represent %buff
   6 ; with a smaller type. In this case i16 is sufficient to represent the
   7 ; 62 byte offset accurately.
   8 ;
   9 ; SCOP:    Invariant Accesses: {
  10 ; SCOP:            ReadAccess :=        [Reduction Type: NONE] [Scalar: 0]
  11 ; SCOP:                { Stmt_if_end_6[] -> MemRef_buff[o0] : 31 <= o0 <= 32 };
  12 ; SCOP:            Execution Context: {  :  }
  13 ; SCOP:    }
  14 ; SCOP:    Arrays {
  15 ; SCOP:        i16 MemRef_buff[*]; // Element size 2
  16 ; SCOP:        i32 MemRef_key_0; // Element size 4
  17 ; SCOP:    }
  18 ;
  19 ; CHECK-LABEL: polly.preload.begin:
  20 ; CHECK-NEXT:    %polly.access.buff = getelementptr i16, ptr %buff, i64 31
  21 ; CHECK-NEXT:    %polly.access.buff.load = load i32, ptr %polly.access.buff, align 4
  22 ; CHECK-NEXT:    store i32 %polly.access.buff.load, ptr %tmp1.preload.s2a
  23 ;
  24 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  25
  26 ; Function Attrs: nounwind uwtable
  27 define void @sudecrypt(ptr %buff) #0 {
  28 entry:
  29   br i1 undef, label %cleanup, label %if.end
  30
  31 if.end:                                           ; preds = %entry
  32   br i1 undef, label %if.end.6, label %if.then.5
  33
  34 if.then.5:                                        ; preds = %if.end
  35   unreachable
  36
  37 if.end.6:                                         ; preds = %if.end
  38   %add.ptr = getelementptr inbounds i8, ptr %buff, i64 62
  39   %tmp1 = load i32, ptr %add.ptr, align 4, !tbaa !1
  40   br i1 false, label %if.then.13, label %switch.early.test
  41
  42 switch.early.test:                                ; preds = %if.end.6
  43   switch i32 0, label %if.end.16 [
  44     i32 956, label %if.then.13
  45     i32 520, label %if.then.13
  46   ]
  47
  48 if.then.13:                                       ; preds = %switch.early.test, %switch.early.test, %if.end.6
  49   br label %if.end.16
  50
  51 if.end.16:                                        ; preds = %if.then.13, %switch.early.test
  52   %key.0 = phi i32 [ undef, %if.then.13 ], [ 0, %switch.early.test ]
  53   br i1 undef, label %if.end.34, label %if.then.19
  54
  55 if.then.19:                                       ; preds = %if.end.16
  56   unreachable
  57
  58 if.end.34:                                        ; preds = %if.end.16
  59   unreachable
  60
  61 cleanup:                                          ; preds = %entry
  62   ret void
  63 }
  64
  65 attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
  66
  67 !llvm.ident = !{!0}
  68
  69 !0 = !{!"clang version 3.8.0 (trunk 250010) (llvm/trunk 250018)"}
  70 !1 = !{!2, !2, i64 0}
  71 !2 = !{!"int", !3, i64 0}
  72 !3 = !{!"omnipotent char", !4, i64 0}
  73 !4 = !{!"Simple C/C++ TBAA"}