64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; Gracefully handle the alloca that is not in the alloca AS (=5)5 6declare void @use(ptr)7declare void @use2(ptr, ptr)8 9define weak amdgpu_kernel void @__omp_offloading_802_ea0109_main_l8(ptr %a) {10; CHECK-LABEL: @__omp_offloading_802_ea0109_main_l8(11; CHECK-NEXT: .master:12; CHECK-NEXT: [[TMP0:%.*]] = alloca [8 x i8], align 113; CHECK-NEXT: call void @use2(ptr nonnull [[TMP0]], ptr nonnull [[TMP0]])14; CHECK-NEXT: ret void15;16.master:17 %0 = alloca i8, i64 8, align 118 store ptr undef, ptr %0, align 819 call void @use2(ptr %0, ptr %0)20 ret void21}22 23%struct.widget = type { [8 x i8] }24 25define void @spam(ptr %arg1) {26; CHECK-LABEL: @spam(27; CHECK-NEXT: bb:28; CHECK-NEXT: [[ALLOCA1:%.*]] = alloca [0 x [30 x %struct.widget]], align 1629; CHECK-NEXT: call void @zot(ptr nonnull [[ALLOCA1]])30; CHECK-NEXT: ret void31;32bb:33 %alloca = alloca [30 x %struct.widget], i32 0, align 1634 call void @zot(ptr %alloca)35 ret void36}37 38define i1 @alloca_addrspace_0_nonnull() {39; CHECK-LABEL: @alloca_addrspace_0_nonnull(40; CHECK-NEXT: [[ALLOCA:%.*]] = alloca i8, align 141; CHECK-NEXT: call void @use(ptr nonnull [[ALLOCA]])42; CHECK-NEXT: ret i1 true43;44 %alloca = alloca i845 call void @use(ptr %alloca)46 %cmp = icmp ne ptr %alloca, null47 ret i1 %cmp48}49 50define i1 @alloca_addrspace_5_nonnull() {51; CHECK-LABEL: @alloca_addrspace_5_nonnull(52; CHECK-NEXT: [[ALLOCA:%.*]] = alloca i8, align 1, addrspace(5)53; CHECK-NEXT: call void @use(ptr addrspace(5) [[ALLOCA]])54; CHECK-NEXT: [[CMP:%.*]] = icmp ne ptr addrspace(5) [[ALLOCA]], null55; CHECK-NEXT: ret i1 [[CMP]]56;57 %alloca = alloca i8, addrspace(5)58 call void @use(ptr addrspace(5) %alloca)59 %cmp = icmp ne ptr addrspace(5) %alloca, null60 ret i1 %cmp61}62 63declare hidden void @zot(ptr)64