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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt --passes=sandbox-vectorizer -sbvec-passes='regions-from-bbs<null>' %s -S | FileCheck %s
define void @foo(i8 %v) {
; CHECK-LABEL: define void @foo(
; CHECK-SAME: i8 [[V:%.*]]) {
; CHECK-NEXT: [[BBA:.*:]]
; CHECK-NEXT: [[ADD0:%.*]] = add i8 [[V]], 0, !sandboxvec [[META0:![0-9]+]]
; CHECK-NEXT: br label %[[BBB:.*]], !sandboxvec [[META0]]
; CHECK: [[BBB]]:
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[V]], 1, !sandboxvec [[META1:![0-9]+]]
; CHECK-NEXT: br label %[[BBC:.*]], !sandboxvec [[META1]]
; CHECK: [[BBC]]:
; CHECK-NEXT: ret void, !sandboxvec [[META2:![0-9]+]]
;
bbA:
%add0 = add i8 %v, 0
br label %bbB
bbB:
%add1 = add i8 %v, 1
br label %bbC
bbC:
ret void
}
;.
; CHECK: [[META0]] = distinct !{!"sandboxregion"}
; CHECK: [[META1]] = distinct !{!"sandboxregion"}
; CHECK: [[META2]] = distinct !{!"sandboxregion"}
;.
|
