File: phi-operand-gathered-loads.ll

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.6-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 2,245,028 kB
  • sloc: cpp: 7,619,726; ansic: 1,434,018; asm: 1,058,748; python: 252,740; f90: 94,671; objc: 70,685; lisp: 42,813; pascal: 18,401; sh: 8,601; ml: 5,111; perl: 4,720; makefile: 3,675; awk: 3,523; javascript: 2,409; xml: 892; fortran: 770
file content (53 lines) | stat: -rw-r--r-- 2,936 bytes parent folder | download | duplicates (2)
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
; 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 -mcpu=cascadelake < %s | FileCheck %s

%class.btManifoldPoint = type <{ %class.btVector3, %class.btVector3, %class.btVector3, %class.btVector3, %class.btVector3, float, float, float, i32, i32, i32, i32, [4 x i8], ptr, float, i8, [3 x i8], float, float, i32, %class.btVector3, %class.btVector3, [4 x i8] }>
%class.btVector3 = type { [4 x float] }

define void @test(ptr %this, i1 %cmp4.not) {
; CHECK-LABEL: define void @test(
; CHECK-SAME: ptr [[THIS:%.*]], i1 [[CMP4_NOT:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  [[ENTRY:.*]]:
; CHECK-NEXT:    [[NEWPT:%.*]] = alloca [[CLASS_BTMANIFOLDPOINT:%.*]], align 8
; CHECK-NEXT:    [[CALL25:%.*]] = load volatile i32, ptr [[NEWPT]], align 4
; CHECK-NEXT:    br i1 [[CMP4_NOT]], label %[[IF_ELSE37:.*]], label %[[IF_END46:.*]]
; CHECK:       [[IF_ELSE37]]:
; CHECK-NEXT:    br label %[[IF_END46]]
; CHECK:       [[IF_END46]]:
; CHECK-NEXT:    [[TMP0:%.*]] = phi <4 x i64> [ <i64 160, i64 1, i64 0, i64 1>, %[[IF_ELSE37]] ], [ <i64 0, i64 0, i64 1, i64 0>, %[[ENTRY]] ]
; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x ptr> poison, ptr [[THIS]], i32 0
; CHECK-NEXT:    [[TMP2:%.*]] = shufflevector <4 x ptr> [[TMP1]], <4 x ptr> poison, <4 x i32> zeroinitializer
; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr i8, <4 x ptr> [[TMP2]], <4 x i64> [[TMP0]]
; CHECK-NEXT:    [[TMP4:%.*]] = getelementptr i8, ptr [[NEWPT]], i64 92
; CHECK-NEXT:    [[TMP5:%.*]] = call <4 x i32> @llvm.masked.gather.v4i32.v4p0(<4 x ptr> [[TMP3]], i32 4, <4 x i1> splat (i1 true), <4 x i32> poison)
; CHECK-NEXT:    store <4 x i32> [[TMP5]], ptr [[TMP4]], align 4
; CHECK-NEXT:    ret void
;
entry:
  %newPt = alloca %class.btManifoldPoint, align 8
  %call25 = load volatile i32, ptr %newPt, align 4
  br i1 %cmp4.not, label %if.else37, label %if.end46

if.else37:                                        ; preds = %entry
  br label %if.end46

if.end46:                                         ; preds = %if.else37, %entry
  %.sink264 = phi i64 [ 160, %if.else37 ], [ 0, %entry ]
  %.sink262 = phi i64 [ 0, %if.else37 ], [ 1, %entry ]
  %.sink261 = phi i64 [ 1, %if.else37 ], [ 0, %entry ]
  %m_partId038 = getelementptr i8, ptr %this, i64 %.sink264
  %m_index042 = getelementptr i8, ptr %this, i64 %.sink262
  %m_index144 = getelementptr i8, ptr %this, i64 %.sink261
  %.sink = load i32, ptr %m_index144, align 4
  %.sink186 = load i32, ptr %m_index042, align 4
  %.sink188 = load i32, ptr %m_partId038, align 4
  %0 = getelementptr i8, ptr %newPt, i64 92
  store i32 %.sink188, ptr %0, align 4
  %1 = getelementptr i8, ptr %newPt, i64 96
  store i32 %.sink, ptr %1, align 8
  %2 = getelementptr i8, ptr %newPt, i64 100
  store i32 %.sink186, ptr %2, align 4
  %3 = getelementptr i8, ptr %newPt, i64 104
  store i32 %.sink, ptr %3, align 8
  ret void
}