1*67d3ef74SVyacheslav Levytskyy; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV 28468e674SAndrey Tretyakov 38468e674SAndrey Tretyakov; CHECK-SPIRV-NOT: OpCapability ExpectAssumeKHR 48468e674SAndrey Tretyakov; CHECK-SPIRV-NOT: OpExtension "SPV_KHR_expect_assume" 58468e674SAndrey Tretyakov; CHECK-SPIRV: OpName %[[#COMPARE:]] "cmp" 68468e674SAndrey Tretyakov; CHECK-SPIRV: %[[#COMPARE]] = OpINotEqual %[[#]] %[[#]] %[[#]] 78468e674SAndrey Tretyakov; CHECK-SPIRV-NOT: OpAssumeTrueKHR %[[#COMPARE]] 88468e674SAndrey Tretyakov 98468e674SAndrey Tretyakov%class.anon = type { i8 } 108468e674SAndrey Tretyakov 118468e674SAndrey Tretyakovdefine spir_func void @_Z3fooi(i32 %x) { 128468e674SAndrey Tretyakoventry: 138468e674SAndrey Tretyakov %x.addr = alloca i32, align 4 148468e674SAndrey Tretyakov store i32 %x, i32* %x.addr, align 4 158468e674SAndrey Tretyakov %0 = load i32, i32* %x.addr, align 4 168468e674SAndrey Tretyakov %cmp = icmp ne i32 %0, 0 178468e674SAndrey Tretyakov call void @llvm.assume(i1 %cmp) 188468e674SAndrey Tretyakov ret void 198468e674SAndrey Tretyakov} 208468e674SAndrey Tretyakov 218468e674SAndrey Tretyakovdeclare void @llvm.assume(i1) 228468e674SAndrey Tretyakov 238468e674SAndrey Tretyakovdefine i32 @main() { 248468e674SAndrey Tretyakoventry: 258468e674SAndrey Tretyakov %retval = alloca i32, align 4 268468e674SAndrey Tretyakov %agg.tmp = alloca %class.anon, align 1 278468e674SAndrey Tretyakov store i32 0, i32* %retval, align 4 288468e674SAndrey Tretyakov call spir_func void @"_Z18kernel_single_taskIZ4mainE11fake_kernelZ4mainE3$_0EvT0_"(%class.anon* byval(%class.anon) align 1 %agg.tmp) 298468e674SAndrey Tretyakov ret i32 0 308468e674SAndrey Tretyakov} 318468e674SAndrey Tretyakov 328468e674SAndrey Tretyakovdefine internal spir_func void @"_Z18kernel_single_taskIZ4mainE11fake_kernelZ4mainE3$_0EvT0_"(%class.anon* byval(%class.anon) align 1 %kernelFunc) { 338468e674SAndrey Tretyakoventry: 348468e674SAndrey Tretyakov call spir_func void @"_ZZ4mainENK3$_0clEv"(%class.anon* %kernelFunc) 358468e674SAndrey Tretyakov ret void 368468e674SAndrey Tretyakov} 378468e674SAndrey Tretyakov 388468e674SAndrey Tretyakovdefine internal spir_func void @"_ZZ4mainENK3$_0clEv"(%class.anon* %this) align 2 { 398468e674SAndrey Tretyakoventry: 408468e674SAndrey Tretyakov %this.addr = alloca %class.anon*, align 8 418468e674SAndrey Tretyakov %a = alloca i32, align 4 428468e674SAndrey Tretyakov store %class.anon* %this, %class.anon** %this.addr, align 8 438468e674SAndrey Tretyakov %this1 = load %class.anon*, %class.anon** %this.addr, align 8 448468e674SAndrey Tretyakov %0 = bitcast i32* %a to i8* 458468e674SAndrey Tretyakov call void @llvm.lifetime.start.p0i8(i64 4, i8* %0) 468468e674SAndrey Tretyakov store i32 1, i32* %a, align 4 478468e674SAndrey Tretyakov %1 = load i32, i32* %a, align 4 488468e674SAndrey Tretyakov call spir_func void @_Z3fooi(i32 %1) 498468e674SAndrey Tretyakov %2 = bitcast i32* %a to i8* 508468e674SAndrey Tretyakov call void @llvm.lifetime.end.p0i8(i64 4, i8* %2) 518468e674SAndrey Tretyakov ret void 528468e674SAndrey Tretyakov} 538468e674SAndrey Tretyakov 548468e674SAndrey Tretyakovdeclare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) 558468e674SAndrey Tretyakov 568468e674SAndrey Tretyakovdeclare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) 57