1 ; RUN: llc < %s -march=x86 -mtriple=i686-pc-win32 | FileCheck %s 2 3 ; PR26575 4 ; Assertion `(Disp->isImm() || Disp->isGlobal()) && (Other.Disp->isImm() || Other.Disp->isGlobal()) && "Address displacement operand is always an immediate or a global"' failed. 5 6 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" 7 target triple = "i686-pc-windows-msvc" 8 9 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1) argmemonly nounwind 10 declare <2 x i64> @_mm_xor_si128(<2 x i64>, <2 x i64>) optsize 11 declare <2 x i64> @llvm.x86.pclmulqdq(<2 x i64>, <2 x i64>, i8) nounwind readnone 12 declare <4 x float> @_mm_castsi128_ps(<2 x i64>) optsize 13 14 ; Check that the LEA optimization pass works with CPI address displacements. 15 define void @test1(i8* nocapture readonly %src, i32 %len) #0 { 16 %parts = alloca [4 x i32], align 4 17 %part0 = bitcast [4 x i32]* %parts to i8* 18 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %part0, i8* %src, i32 %len, i32 1, i1 false) 19 %call0 = tail call <2 x i64> @_mm_xor_si128(<2 x i64> undef, <2 x i64> <i64 -9187201950435737472, i64 -9187201950435737472>) 20 %tmp0 = tail call <2 x i64> @llvm.x86.pclmulqdq(<2 x i64> undef, <2 x i64> <i64 7631803798, i64 5708721108>, i8 16) 21 %call1 = tail call <4 x float> @_mm_castsi128_ps(<2 x i64> %tmp0) 22 ret void 23 ; CHECK-LABEL: test1: 24 ; CHECK: leal{{.*}} 25 ; CHECK: calll _memcpy 26 ; CHECK: movaps __xmm@{{[0-9a-f]+}}, %xmm1 27 ; CHECK: calll __mm_xor_si128 28 ; CHECK: pclmulqdq $16, __xmm@{{[0-9a-f]+}}, %xmm0 29 ; CHECK: jmp __mm_castsi128_ps 30 } 31 32 declare i32 @GetLastError(...) 33 declare void @IsolationAwareDeactivateActCtx(i32, i32) 34 declare i8* @llvm.localaddress() 35 declare void @llvm.localescape(...) 36 declare i8* @llvm.localrecover(i8*, i8*, i32) 37 38 @IsolationAwarePrivateT_SqbjaYRiRY = common global i32 0, align 4 39 40 ; Check that the MCSymbol objects are created to be used in "\01?fin$0@0@test2@@". 41 define void @test2() #0 { 42 entry: 43 %fActivateActCtxSuccess = alloca i32, align 4 44 %proc = alloca i32, align 4 45 %ulpCookie = alloca i32, align 4 46 call void (...) @llvm.localescape(i32* nonnull %fActivateActCtxSuccess, i32* nonnull %proc, i32* nonnull %ulpCookie) 47 %tmp0 = tail call i8* @llvm.localaddress() 48 call fastcc void @"\01?fin$0@0@test2@@"(i8* %tmp0) 49 ret void 50 ; CHECK-LABEL: test2: 51 ; CHECK: Ltest2$frame_escape_0 = 8 52 ; CHECK: Ltest2$frame_escape_1 = 4 53 ; CHECK: Ltest2$frame_escape_2 = 0 54 ; CHECK: calll "?fin$0@0@test2@@" 55 } 56 57 ; Check that the LEA optimization pass works with MCSymbol address displacements. 58 define internal fastcc void @"\01?fin$0@0@test2@@"(i8* readonly %frame_pointer) unnamed_addr noinline nounwind optsize { 59 entry: 60 %tmp0 = tail call i8* @llvm.localrecover(i8* bitcast (void ()* @test2 to i8*), i8* %frame_pointer, i32 1) 61 %proc = bitcast i8* %tmp0 to i32* 62 %tmp1 = tail call i8* @llvm.localrecover(i8* bitcast (void ()* @test2 to i8*), i8* %frame_pointer, i32 2) 63 %ulpCookie = bitcast i8* %tmp1 to i32* 64 %tmp2 = load i32, i32* @IsolationAwarePrivateT_SqbjaYRiRY, align 4 65 %tobool = icmp eq i32 %tmp2, 0 66 br i1 %tobool, label %if.end, label %land.lhs.true 67 68 land.lhs.true: 69 %tmp3 = tail call i8* @llvm.localrecover(i8* bitcast (void ()* @test2 to i8*), i8* %frame_pointer, i32 0) 70 %fActivateActCtxSuccess = bitcast i8* %tmp3 to i32* 71 %tmp4 = load i32, i32* %fActivateActCtxSuccess, align 4 72 %tobool1 = icmp eq i32 %tmp4, 0 73 br i1 %tobool1, label %if.end, label %if.then 74 75 if.then: 76 %tmp5 = load i32, i32* %proc, align 4 77 %tobool2 = icmp eq i32 %tmp5, 0 78 br i1 %tobool2, label %cond.end, label %cond.true 79 80 cond.true: 81 %call = tail call i32 bitcast (i32 (...)* @GetLastError to i32 ()*)() 82 br label %cond.end 83 84 cond.end: 85 %tmp6 = load i32, i32* %ulpCookie, align 4 86 tail call void @IsolationAwareDeactivateActCtx(i32 0, i32 %tmp6) 87 br label %if.end 88 89 if.end: 90 ret void 91 ; CHECK-LABEL: "?fin$0@0@test2@@": 92 ; CHECK: cmpl $0, Ltest2$frame_escape_0([[REG1:%[a-z]+]]) 93 ; CHECK: leal Ltest2$frame_escape_1([[REG1]]), [[REG2:%[a-z]+]] 94 ; CHECK: leal Ltest2$frame_escape_2([[REG1]]), [[REG3:%[a-z]+]] 95 ; CHECK: cmpl $0, ([[REG2]]) 96 ; CHECK: pushl ([[REG3]]) 97 } 98 99 attributes #0 = { nounwind optsize "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+mmx,+pclmul,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3" "unsafe-fp-math"="false" "use-soft-float"="false" } 100
