82 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' < %s | FileCheck --check-prefix=GEP %s3; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' -addr-sink-using-gep=false < %s | FileCheck --check-prefix=NO-GEP %s4 5target triple = "x86_64--linux-gnu"6target datalayout = "e-m:e-p0:128:128-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"7; -p0:128:128 is added to ensure that transformation will be triggered.8 9define i128 @test(i128 %arg) {10; GEP-LABEL: define i128 @test(11; GEP-SAME: i128 [[ARG:%.*]]) {12; GEP-NEXT: [[ENTRY:.*]]:13; GEP-NEXT: [[CMP:%.*]] = icmp ugt i128 [[ARG]], 1014; GEP-NEXT: br i1 [[CMP]], label %[[THEN:.*]], label %[[EXIT:.*]]15; GEP: [[THEN]]:16; GEP-NEXT: [[SUNKADDR:%.*]] = inttoptr i128 [[ARG]] to ptr17; GEP-NEXT: [[SUNKADDR1:%.*]] = getelementptr i8, ptr [[SUNKADDR]], i128 -3218; GEP-NEXT: [[LOAD:%.*]] = load i128, ptr [[SUNKADDR1]], align 1619; GEP-NEXT: br label %[[EXIT]]20; GEP: [[EXIT]]:21; GEP-NEXT: [[PHI:%.*]] = phi i128 [ [[LOAD]], %[[THEN]] ], [ 0, %[[ENTRY]] ]22; GEP-NEXT: ret i128 [[PHI]]23;24; NO-GEP-LABEL: define i128 @test(25; NO-GEP-SAME: i128 [[ARG:%.*]]) {26; NO-GEP-NEXT: [[ENTRY:.*]]:27; NO-GEP-NEXT: [[CMP:%.*]] = icmp ugt i128 [[ARG]], 1028; NO-GEP-NEXT: br i1 [[CMP]], label %[[THEN:.*]], label %[[EXIT:.*]]29; NO-GEP: [[THEN]]:30; NO-GEP-NEXT: [[SUNKADDR:%.*]] = add i128 [[ARG]], -3231; NO-GEP-NEXT: [[SUNKADDR1:%.*]] = inttoptr i128 [[SUNKADDR]] to ptr32; NO-GEP-NEXT: [[LOAD:%.*]] = load i128, ptr [[SUNKADDR1]], align 1633; NO-GEP-NEXT: br label %[[EXIT]]34; NO-GEP: [[EXIT]]:35; NO-GEP-NEXT: [[PHI:%.*]] = phi i128 [ [[LOAD]], %[[THEN]] ], [ 0, %[[ENTRY]] ]36; NO-GEP-NEXT: ret i128 [[PHI]]37;38entry:39 %add = add i128 %arg, -3240 %cmp = icmp ugt i128 %arg, 1041 br i1 %cmp, label %then, label %exit42 43then:44 %inttoptr = inttoptr i128 %add to ptr45 %load = load i128, ptr %inttoptr, align 1646 br label %exit47 48exit:49 %phi = phi i128 [ %load, %then ], [ 0, %entry ]50 ret i128 %phi51}52 53define void @test_combine(ptr %ptr, i128 %arg) {54; GEP-LABEL: define void @test_combine(55; GEP-SAME: ptr [[PTR:%.*]], i128 [[ARG:%.*]]) {56; GEP-NEXT: [[ENTRY:.*:]]57; GEP-NEXT: [[CMP:%.*]] = icmp ugt i128 [[ARG]], 1058; GEP-NEXT: [[SELECT1:%.*]] = select i1 [[CMP]], i128 -32, i128 059; GEP-NEXT: [[SUNKADDR:%.*]] = getelementptr inbounds i8, ptr [[PTR]], i128 [[SELECT1]]60; GEP-NEXT: store i128 1, ptr [[SUNKADDR]], align 1661; GEP-NEXT: ret void62;63; NO-GEP-LABEL: define void @test_combine(64; NO-GEP-SAME: ptr [[PTR:%.*]], i128 [[ARG:%.*]]) {65; NO-GEP-NEXT: [[ENTRY:.*:]]66; NO-GEP-NEXT: [[CMP:%.*]] = icmp ugt i128 [[ARG]], 1067; NO-GEP-NEXT: [[SELECT1:%.*]] = select i1 [[CMP]], i128 -32, i128 068; NO-GEP-NEXT: [[SUNKADDR:%.*]] = ptrtoint ptr [[PTR]] to i12869; NO-GEP-NEXT: [[SUNKADDR2:%.*]] = add i128 [[SUNKADDR]], [[SELECT1]]70; NO-GEP-NEXT: [[SUNKADDR3:%.*]] = inttoptr i128 [[SUNKADDR2]] to ptr71; NO-GEP-NEXT: store i128 1, ptr [[SUNKADDR3]], align 1672; NO-GEP-NEXT: ret void73;74entry:75 %cmp = icmp ugt i128 %arg, 1076 %gep = getelementptr inbounds i8, ptr %ptr, i128 -3277 %select = select i1 %cmp, ptr %gep, ptr %ptr78 store i128 1, ptr %select, align 1679 ret void80}81 82