110 lines · plain
1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2 3; CHECK-SPIRV-NOT: OpCapability ExpectAssumeKHR4; CHECK-SPIRV-NOT: OpExtension "SPV_KHR_expect_assume"5; CHECK-SPIRV: OpFunction6; CHECK-SPIRV-NOT: %[[#]] = OpExpectKHR %[[#]] %[[#]] %[[#]]7; CHECK-SPIRV: %[[#RES1:]] = OpSConvert %[[#]] %[[#]]8; CHECK-SPIRV: %[[#]] = OpINotEqual %[[#]] %[[#RES1]] %[[#]]9 10; CHECK-SPIRV: OpFunction11; CHECK-SPIRV: %[[#RES2:]] = OpSConvert %[[#]] %[[#]]12; CHECK-SPIRV-NOT: %[[#]] = OpExpectKHR %[[#]] %[[#]] %[[#]]13; CHECK-SPIRV: %[[#]] = OpINotEqual %[[#]] %[[#RES2]] %[[#]]14 15%"class._ZTSZ4mainE3$_0.anon" = type { i8 }16 17define spir_kernel void @_ZTSZ4mainE15kernel_function() {18entry:19 %0 = alloca %"class._ZTSZ4mainE3$_0.anon", align 120 %1 = bitcast %"class._ZTSZ4mainE3$_0.anon"* %0 to i8*21 call void @llvm.lifetime.start.p0i8(i64 1, i8* %1)22 %2 = addrspacecast %"class._ZTSZ4mainE3$_0.anon"* %0 to %"class._ZTSZ4mainE3$_0.anon" addrspace(4)*23 call spir_func void @"_ZZ4mainENK3$_0clEv"(%"class._ZTSZ4mainE3$_0.anon" addrspace(4)* %2)24 %3 = bitcast %"class._ZTSZ4mainE3$_0.anon"* %0 to i8*25 call void @llvm.lifetime.end.p0i8(i64 1, i8* %3)26 ret void27}28 29declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)30 31define internal spir_func void @"_ZZ4mainENK3$_0clEv"(%"class._ZTSZ4mainE3$_0.anon" addrspace(4)* %this) align 2 {32entry:33 %this.addr = alloca %"class._ZTSZ4mainE3$_0.anon" addrspace(4)*, align 834 %a = alloca i32, align 435 %b = alloca i32, align 436 store %"class._ZTSZ4mainE3$_0.anon" addrspace(4)* %this, %"class._ZTSZ4mainE3$_0.anon" addrspace(4)** %this.addr, align 837 %this1 = load %"class._ZTSZ4mainE3$_0.anon" addrspace(4)*, %"class._ZTSZ4mainE3$_0.anon" addrspace(4)** %this.addr, align 838 %0 = bitcast i32* %a to i8*39 call void @llvm.lifetime.start.p0i8(i64 4, i8* %0)40 %call = call spir_func i32 @_Z12expect_consti(i32 1)41 store i32 %call, i32* %a, align 442 %1 = bitcast i32* %b to i8*43 call void @llvm.lifetime.start.p0i8(i64 4, i8* %1)44 %call2 = call spir_func i32 @_Z10expect_funi(i32 2)45 store i32 %call2, i32* %b, align 446 %2 = bitcast i32* %b to i8*47 call void @llvm.lifetime.end.p0i8(i64 4, i8* %2)48 %3 = bitcast i32* %a to i8*49 call void @llvm.lifetime.end.p0i8(i64 4, i8* %3)50 ret void51}52 53declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)54 55define spir_func i32 @_Z12expect_consti(i32 %x) {56entry:57 %retval = alloca i32, align 458 %x.addr = alloca i32, align 459 store i32 %x, i32* %x.addr, align 460 %0 = load i32, i32* %x.addr, align 461 %conv = sext i32 %0 to i6462 %expval = call i64 @llvm.expect.i64(i64 %conv, i64 1)63 %tobool = icmp ne i64 %expval, 064 br i1 %tobool, label %if.then, label %if.end65 66if.then: ; preds = %entry67 store i32 0, i32* %retval, align 468 br label %return69 70if.end: ; preds = %entry71 %1 = load i32, i32* %x.addr, align 472 store i32 %1, i32* %retval, align 473 br label %return74 75return: ; preds = %if.end, %if.then76 %2 = load i32, i32* %retval, align 477 ret i32 %278}79 80define spir_func i32 @_Z10expect_funi(i32 %x) {81entry:82 %retval = alloca i32, align 483 %x.addr = alloca i32, align 484 store i32 %x, i32* %x.addr, align 485 %0 = load i32, i32* %x.addr, align 486 %conv = sext i32 %0 to i6487 %call = call spir_func i32 @_Z3foov()88 %conv1 = sext i32 %call to i6489 %expval = call i64 @llvm.expect.i64(i64 %conv, i64 %conv1)90 %tobool = icmp ne i64 %expval, 091 br i1 %tobool, label %if.then, label %if.end92 93if.then: ; preds = %entry94 store i32 0, i32* %retval, align 495 br label %return96 97if.end: ; preds = %entry98 %1 = load i32, i32* %x.addr, align 499 store i32 %1, i32* %retval, align 4100 br label %return101 102return: ; preds = %if.end, %if.then103 %2 = load i32, i32* %retval, align 4104 ret i32 %2105}106 107declare i64 @llvm.expect.i64(i64, i64)108 109declare spir_func i32 @_Z3foov()110