140 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine %s -o - | FileCheck %s3target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-p4:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32"4 5 6define i32 @test_as0(ptr addrspace(0) %a) {7; CHECK-LABEL: @test_as0(8; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 49; CHECK-NEXT: [[Y:%.*]] = load i32, ptr [[ARRAYIDX]], align 410; CHECK-NEXT: ret i32 [[Y]]11;12 %arrayidx = getelementptr i32, ptr addrspace(0) %a, i64 113 %y = load i32, ptr addrspace(0) %arrayidx, align 414 ret i32 %y15}16 17define i32 @test_as1(ptr addrspace(1) %a) {18; CHECK-LABEL: @test_as1(19; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i8, ptr addrspace(1) [[A:%.*]], i64 420; CHECK-NEXT: [[Y:%.*]] = load i32, ptr addrspace(1) [[ARRAYIDX]], align 421; CHECK-NEXT: ret i32 [[Y]]22;23 %arrayidx = getelementptr i32, ptr addrspace(1) %a, i32 124 %y = load i32, ptr addrspace(1) %arrayidx, align 425 ret i32 %y26}27 28define i32 @test_as2(ptr addrspace(2) %a) {29; CHECK-LABEL: @test_as2(30; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i8, ptr addrspace(2) [[A:%.*]], i8 431; CHECK-NEXT: [[Y:%.*]] = load i32, ptr addrspace(2) [[ARRAYIDX]], align 432; CHECK-NEXT: ret i32 [[Y]]33;34 %arrayidx = getelementptr i32, ptr addrspace(2) %a, i32 135 %y = load i32, ptr addrspace(2) %arrayidx, align 436 ret i32 %y37}38 39define i32 @test_as3(ptr addrspace(3) %a) {40; CHECK-LABEL: @test_as3(41; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i8, ptr addrspace(3) [[A:%.*]], i16 442; CHECK-NEXT: [[Y:%.*]] = load i32, ptr addrspace(3) [[ARRAYIDX]], align 443; CHECK-NEXT: ret i32 [[Y]]44;45 %arrayidx = getelementptr i32, ptr addrspace(3) %a, i32 146 %y = load i32, ptr addrspace(3) %arrayidx, align 447 ret i32 %y48}49 50define i32 @test_combine_ptrtoint(ptr addrspace(2) %a) {51; CHECK-LABEL: @test_combine_ptrtoint(52; CHECK-NEXT: [[Y:%.*]] = load i32, ptr addrspace(2) [[A:%.*]], align 453; CHECK-NEXT: ret i32 [[Y]]54;55 %cast = ptrtoint ptr addrspace(2) %a to i856 %castback = inttoptr i8 %cast to ptr addrspace(2)57 %y = load i32, ptr addrspace(2) %castback, align 458 ret i32 %y59}60 61define i8 @test_combine_inttoptr(i8 %a) {62; CHECK-LABEL: @test_combine_inttoptr(63; CHECK-NEXT: ret i8 [[A:%.*]]64;65 %cast = inttoptr i8 %a to ptr addrspace(2)66 %castback = ptrtoint ptr addrspace(2) %cast to i867 ret i8 %castback68}69 70define i32 @test_combine_vector_ptrtoint(<2 x ptr addrspace(2)> %a) {71; CHECK-LABEL: @test_combine_vector_ptrtoint(72; CHECK-NEXT: [[P:%.*]] = extractelement <2 x ptr addrspace(2)> [[A:%.*]], i64 073; CHECK-NEXT: [[Y:%.*]] = load i32, ptr addrspace(2) [[P]], align 474; CHECK-NEXT: ret i32 [[Y]]75;76 %cast = ptrtoint <2 x ptr addrspace(2)> %a to <2 x i8>77 %castback = inttoptr <2 x i8> %cast to <2 x ptr addrspace(2)>78 %p = extractelement <2 x ptr addrspace(2)> %castback, i32 079 %y = load i32, ptr addrspace(2) %p, align 480 ret i32 %y81}82 83define <2 x i8> @test_combine_vector_inttoptr(<2 x i8> %a) {84; CHECK-LABEL: @test_combine_vector_inttoptr(85; CHECK-NEXT: ret <2 x i8> [[A:%.*]]86;87 %cast = inttoptr <2 x i8> %a to <2 x ptr addrspace(2)>88 %castback = ptrtoint <2 x ptr addrspace(2)> %cast to <2 x i8>89 ret <2 x i8> %castback90}91 92; Check that the GEP index is changed to the address space integer type (i64 -> i8)93define ptr addrspace(2) @shrink_gep_constant_index_64_as2(ptr addrspace(2) %p) {94; CHECK-LABEL: @shrink_gep_constant_index_64_as2(95; CHECK-NEXT: [[RET:%.*]] = getelementptr i8, ptr addrspace(2) [[P:%.*]], i8 496; CHECK-NEXT: ret ptr addrspace(2) [[RET]]97;98 %ret = getelementptr i32, ptr addrspace(2) %p, i64 199 ret ptr addrspace(2) %ret100}101 102define ptr addrspace(2) @shrink_gep_constant_index_32_as2(ptr addrspace(2) %p) {103; CHECK-LABEL: @shrink_gep_constant_index_32_as2(104; CHECK-NEXT: [[RET:%.*]] = getelementptr i8, ptr addrspace(2) [[P:%.*]], i8 4105; CHECK-NEXT: ret ptr addrspace(2) [[RET]]106;107 %ret = getelementptr i32, ptr addrspace(2) %p, i32 1108 ret ptr addrspace(2) %ret109}110 111define ptr addrspace(3) @shrink_gep_constant_index_64_as3(ptr addrspace(3) %p) {112; CHECK-LABEL: @shrink_gep_constant_index_64_as3(113; CHECK-NEXT: [[RET:%.*]] = getelementptr i8, ptr addrspace(3) [[P:%.*]], i16 4114; CHECK-NEXT: ret ptr addrspace(3) [[RET]]115;116 %ret = getelementptr i32, ptr addrspace(3) %p, i64 1117 ret ptr addrspace(3) %ret118}119 120define ptr addrspace(2) @shrink_gep_variable_index_64_as2(ptr addrspace(2) %p, i64 %idx) {121; CHECK-LABEL: @shrink_gep_variable_index_64_as2(122; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[IDX:%.*]] to i8123; CHECK-NEXT: [[RET:%.*]] = getelementptr i32, ptr addrspace(2) [[P:%.*]], i8 [[TMP1]]124; CHECK-NEXT: ret ptr addrspace(2) [[RET]]125;126 %ret = getelementptr i32, ptr addrspace(2) %p, i64 %idx127 ret ptr addrspace(2) %ret128}129 130define ptr addrspace(1) @grow_gep_variable_index_8_as1(ptr addrspace(1) %p, i8 %idx) {131; CHECK-LABEL: @grow_gep_variable_index_8_as1(132; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[IDX:%.*]] to i64133; CHECK-NEXT: [[RET:%.*]] = getelementptr i32, ptr addrspace(1) [[P:%.*]], i64 [[TMP1]]134; CHECK-NEXT: ret ptr addrspace(1) [[RET]]135;136 %ret = getelementptr i32, ptr addrspace(1) %p, i8 %idx137 ret ptr addrspace(1) %ret138}139 140