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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
define i64 @test() {
; CHECK-LABEL: define i64 @test() {
; CHECK-NEXT: [[BB:.*]]:
; CHECK-NEXT: [[SHL:%.*]] = shl i32 0, 1
; CHECK-NEXT: [[ADD1:%.*]] = add i32 0, 1
; CHECK-NEXT: br label %[[BB2:.*]]
; CHECK: [[BB2]]:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[SHL]], %[[BB]] ]
; CHECK-NEXT: [[PHI3:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[PHI4:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[PHI5:%.*]] = phi i32 [ [[ADD1]], %[[BB]] ]
; CHECK-NEXT: ret i64 0
;
bb:
%shl = shl i32 0, 1
%mul = mul i32 0, 0
%add = add i32 0, 0
%add1 = add i32 0, 1
br label %bb2
bb2:
%phi = phi i32 [ %shl, %bb ]
%phi3 = phi i32 [ %add, %bb ]
%phi4 = phi i32 [ %mul, %bb ]
%phi5 = phi i32 [ %add1, %bb ]
ret i64 0
}
|
