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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=irce -S < %s | FileCheck %s
; RUN: opt -passes='require<branch-prob>,irce' -S < %s | FileCheck %s
@array = external global [1528 x i16], align 1
; Make sure we do not crash here.
define void @test_01() {
; CHECK-LABEL: @test_01(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[CONT48:%.*]]
; CHECK: cont48:
; CHECK-NEXT: [[A2_0121:%.*]] = phi ptr [ [[ADD_PTR74:%.*]], [[CONT76:%.*]] ], [ @array, [[ENTRY:%.*]] ]
; CHECK-NEXT: [[I41_0119:%.*]] = phi i16 [ [[ADD73:%.*]], [[CONT76]] ], [ 0, [[ENTRY]] ]
; CHECK-NEXT: [[ADD73]] = add nuw nsw i16 [[I41_0119]], 2
; CHECK-NEXT: [[ADD_PTR74]] = getelementptr inbounds i16, ptr [[A2_0121]], i16 2
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult ptr [[A2_0121]], inttoptr (i16 -2 to ptr)
; CHECK-NEXT: br i1 [[TMP0]], label [[CONT76]], label [[HANDLER_POINTER_OVERFLOW75:%.*]]
; CHECK: handler.pointer_overflow75:
; CHECK-NEXT: unreachable
; CHECK: cont76:
; CHECK-NEXT: [[CMP43:%.*]] = icmp ult i16 [[ADD73]], 16
; CHECK-NEXT: br i1 [[CMP43]], label [[CONT48]], label [[FOR_END77:%.*]]
; CHECK: for.end77:
; CHECK-NEXT: unreachable
;
entry:
br label %cont48
cont48: ; preds = %cont76, %entry
%a2.0121 = phi ptr [ %add.ptr74, %cont76 ], [ @array, %entry ]
%i41.0119 = phi i16 [ %add73, %cont76 ], [ 0, %entry ]
%add73 = add nuw nsw i16 %i41.0119, 2
%add.ptr74 = getelementptr inbounds i16, ptr %a2.0121, i16 2
%0 = icmp ult ptr %a2.0121, inttoptr (i16 -2 to ptr)
br i1 %0, label %cont76, label %handler.pointer_overflow75
handler.pointer_overflow75: ; preds = %cont48
unreachable
cont76: ; preds = %cont48
%cmp43 = icmp ult i16 %add73, 16
br i1 %cmp43, label %cont48, label %for.end77
for.end77: ; preds = %cont76
unreachable
}
|
