File: aggressive_licm.ll

package info (click to toggle)
llvm-toolchain-16 1%3A16.0.6-15~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,634,792 kB
  • sloc: cpp: 6,179,261; ansic: 1,216,205; asm: 741,319; python: 196,614; objc: 75,325; f90: 49,640; lisp: 32,396; pascal: 12,286; sh: 9,394; perl: 7,442; ml: 5,494; awk: 3,523; makefile: 2,723; javascript: 1,206; xml: 886; fortran: 581; cs: 573
file content (68 lines) | stat: -rw-r--r-- 2,251 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
; RUN: llc -march=hexagon -disable-block-placement=0 -O2 < %s | FileCheck %s
; CHECK: [[Reg:r[0-9]+]] = {{lsr\(r[0-9]+,#16\)|extractu\(r[0-9]+,#16,#16\)}}
; CHECK-NOT: [[Reg]] = #0
; CHECK: align
; CHECK-NEXT: LBB

target triple = "hexagon"

@g0 = common global [4 x i16] zeroinitializer, align 8

; Function Attrs: nounwind
define i32 @f0() #0 {
b0:
  %v0 = alloca i16, align 2
  call void @f1(ptr @g0, ptr %v0) #0
  %v1 = load i16, ptr %v0, align 2, !tbaa !0
  %v2 = icmp slt i16 %v1, -15
  br i1 %v2, label %b1, label %b4

b1:                                               ; preds = %b0
  %v3 = load i32, ptr @g0, align 8
  %v4 = trunc i32 %v3 to i16
  %v5 = lshr i32 %v3, 16
  %v6 = trunc i32 %v5 to i16
  %v7 = load i32, ptr getelementptr inbounds ([4 x i16], ptr @g0, i32 0, i32 2), align 4
  %v8 = trunc i32 %v7 to i16
  %v9 = lshr i32 %v7, 16
  %v10 = trunc i32 %v9 to i16
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v11 = phi i16 [ %v1, %b1 ], [ %v20, %b2 ]
  %v12 = phi i16 [ %v10, %b1 ], [ 0, %b2 ]
  %v13 = phi i16 [ %v8, %b1 ], [ %v12, %b2 ]
  %v14 = phi i16 [ %v6, %b1 ], [ %v13, %b2 ]
  %v15 = phi i16 [ %v4, %b1 ], [ %v14, %b2 ]
  %v16 = phi i16 [ 0, %b1 ], [ %v19, %b2 ]
  %v17 = icmp ne i16 %v16, 0
  %v18 = zext i1 %v17 to i16
  %v19 = or i16 %v15, %v18
  %v20 = add i16 %v11, 16
  %v21 = icmp slt i16 %v20, -15
  br i1 %v21, label %b2, label %b3

b3:                                               ; preds = %b2
  store i16 %v14, ptr @g0, align 8, !tbaa !0
  store i16 %v13, ptr getelementptr inbounds ([4 x i16], ptr @g0, i32 0, i32 1), align 2, !tbaa !0
  store i16 %v12, ptr getelementptr inbounds ([4 x i16], ptr @g0, i32 0, i32 2), align 4, !tbaa !0
  store i16 0, ptr getelementptr inbounds ([4 x i16], ptr @g0, i32 0, i32 3), align 2, !tbaa !0
  store i16 %v20, ptr %v0, align 2, !tbaa !0
  br label %b4

b4:                                               ; preds = %b3, %b0
  %v22 = phi i16 [ %v19, %b3 ], [ 0, %b0 ]
  call void @f2(ptr @g0, i16 signext %v22) #0
  ret i32 0
}

declare void @f1(ptr, ptr) #0

declare void @f2(ptr, i16 signext) #0

attributes #0 = { nounwind }

!0 = !{!1, !1, i64 0}
!1 = !{!"short", !2}
!2 = !{!"omnipotent char", !3}
!3 = !{!"Simple C/C++ TBAA"}