llvm-project

1
; RUN: opt %loadNPMPolly -polly-invariant-load-hoisting=true '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=SCOP
2
; RUN: opt %loadNPMPolly -S -passes=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"}
74