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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
; RUN: llc < %s -verify-machineinstrs -mtriple=x86_64-pc-windows-msvc19.11.0 -mattr=+avx,+cx16 | FileCheck %s
%struct.TestStruct = type { %union.Int128 }
%union.Int128 = type { i128 }
%struct.SomeArrays = type { %struct.SillyArray, %struct.SillyArray, %struct.SillyArray }
%struct.SillyArray = type { i8*, i32, i32 }
declare void @llvm.lifetime.start.p0i8(i64, i8*)
define void @foo(%struct.TestStruct* %arg) align 2 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
; Check that %rbx is being used for a frame pointer
; CHECK-LABEL: foo:
; CHECK: movq %rsp, %rbx
; Check that %rbx is saved and restored around both lock cmpxchg16b.
; CHECK: movq %rbx, %r9
; CHECK-NEXT: movabsq $1393743441367457520, %rcx # imm = 0x135792468ABCDEF0
; CHECK-NEXT: movq %rcx, %rax
; CHECK-NEXT: movq %rcx, %rdx
; CHECK-NEXT: movq %rcx, %rbx
; CHECK-NEXT: lock cmpxchg16b (%r8)
; CHECK-NEXT: movq %r9, %rbx
; CHECK: movq %rbx, %r9
; CHECK-NEXT: movq %rcx, %rax
; CHECK-NEXT: movq %rcx, %rdx
; CHECK-NEXT: movq %rcx, %rbx
; CHECK-NEXT: lock cmpxchg16b (%r8)
; CHECK-NEXT: movq %r9, %rbx
bb:
%i = alloca %struct.SomeArrays, align 8
%i1 = alloca %struct.SomeArrays, align 8
%i2 = getelementptr inbounds %struct.TestStruct, %struct.TestStruct* %arg, i64 0, i32 0, i32 0
%i3 = cmpxchg i128* %i2, i128 25710028567316702934644703134494809840, i128 25710028567316702934644703134494809840 seq_cst seq_cst
%i4 = extractvalue { i128, i1 } %i3, 0
%i5 = trunc i128 %i4 to i64
%i6 = icmp eq i64 %i5, 0
br i1 %i6, label %bb9, label %bb7
bb7: ; preds = %bb
%i8 = cmpxchg i128* %i2, i128 25710028567316702934644703134494809840, i128 25710028567316702934644703134494809840 seq_cst seq_cst
br label %bb9
bb9: ; preds = %bb7, %bb
%i10 = bitcast %struct.SomeArrays* %i to i8*
call void @llvm.lifetime.start.p0i8(i64 48, i8* nonnull %i10)
call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(48) %i10, i8 0, i64 48, i1 false)
%i11 = bitcast %struct.SomeArrays* %i1 to i8*
call void @llvm.lifetime.start.p0i8(i64 48, i8* nonnull %i11)
%i12 = bitcast %struct.SomeArrays* %i1 to i8*
call void @llvm.memset.p0i8.i64(i8* nonnull align 8 dereferenceable(48) %i12, i8 0, i64 48, i1 false)
%i13 = invoke nonnull align 8 dereferenceable(48) %struct.SomeArrays* @"??4SomeArrays@@QEAAAEAU0@$$QEAU0@@Z"(%struct.SomeArrays* nonnull %i, %struct.SomeArrays* nonnull align 8 dereferenceable(48) %i1)
to label %bb14 unwind label %bb45
bb14: ; preds = %bb9
call void @llvm.lifetime.end.p0i8(i64 48, i8* nonnull %i10)
ret void
bb45: ; preds = %bb9
%i46 = cleanuppad within none []
%i47 = getelementptr inbounds %struct.SomeArrays, %struct.SomeArrays* %i1, i64 0, i32 2, i32 0
%i48 = load i8*, i8** %i47, align 8
invoke void @"?free@@YAXPEAX@Z"(i8* %i48) [ "funclet"(token %i46) ]
to label %bb51 unwind label %bb49
bb49: ; preds = %bb45
%i50 = cleanuppad within %i46 []
call void @__std_terminate() [ "funclet"(token %i50) ]
unreachable
bb51: ; preds = %bb45
%i52 = getelementptr inbounds %struct.SomeArrays, %struct.SomeArrays* %i1, i64 0, i32 1, i32 0
%i53 = load i8*, i8** %i52, align 8
invoke void @"?free@@YAXPEAX@Z"(i8* %i53) [ "funclet"(token %i46) ]
to label %bb56 unwind label %bb54
bb54: ; preds = %bb51
%i55 = cleanuppad within %i46 []
call void @__std_terminate() [ "funclet"(token %i55) ]
unreachable
bb56: ; preds = %bb51
call void @llvm.lifetime.end.p0i8(i64 48, i8* nonnull %i10)
cleanupret from %i46 unwind to caller
}
declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
declare void @llvm.memset.p0i8.i64(i8*, i8, i64, i1)
declare dso_local i32 @__CxxFrameHandler3(...)
declare nonnull align 8 dereferenceable(48) %struct.SomeArrays* @"??4SomeArrays@@QEAAAEAU0@$$QEAU0@@Z"(%struct.SomeArrays*, %struct.SomeArrays* nonnull align 8 dereferenceable(48)) align 2
declare void @"?free@@YAXPEAX@Z"(i8*)
declare void @__std_terminate()
|
