65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -loop-reduce -S | FileCheck %s3 4; LSR shouldn't consider %t8 to be an interesting user of %t6, and it5; should be able to form pretty GEPs.6 7target datalayout = "e-p:64:64:64-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"8 9; Copy of uglygep with a different address space10; This tests expandAddToGEP uses the right smaller integer type for11; another address space12define void @Z4(ptr addrspace(1) %ptr.i8, ptr addrspace(1) %ptr.float) {13; CHECK-LABEL: define void @Z414; CHECK-SAME: (ptr addrspace(1) [[PTR_I8:%.*]], ptr addrspace(1) [[PTR_FLOAT:%.*]]) {15; CHECK-NEXT: bb:16; CHECK-NEXT: br label [[BB3:%.*]]17; CHECK: bb1:18; CHECK-NEXT: br i1 true, label [[BB10:%.*]], label [[BB2:%.*]]19; CHECK: bb2:20; CHECK-NEXT: [[T:%.*]] = add i16 [[T4:%.*]], 121; CHECK-NEXT: br label [[BB3]]22; CHECK: bb3:23; CHECK-NEXT: [[T4]] = phi i16 [ [[T]], [[BB2]] ], [ 0, [[BB:%.*]] ]24; CHECK-NEXT: br label [[BB1:%.*]]25; CHECK: bb10:26; CHECK-NEXT: [[T7:%.*]] = icmp eq i16 [[T4]], 027; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr addrspace(1) [[PTR_I8]], i16 [[T4]]28; CHECK-NEXT: br label [[BB14:%.*]]29; CHECK: bb14:30; CHECK-NEXT: store i8 undef, ptr addrspace(1) [[SCEVGEP]], align 131; CHECK-NEXT: [[T6:%.*]] = load ptr addrspace(1), ptr addrspace(1) [[PTR_FLOAT]], align 232; CHECK-NEXT: [[SCEVGEP1:%.*]] = getelementptr i8, ptr addrspace(1) [[T6]], i16 1633; CHECK-NEXT: [[SCEVGEP2:%.*]] = getelementptr i8, ptr addrspace(1) [[SCEVGEP1]], i16 [[T4]]34; CHECK-NEXT: store i8 undef, ptr addrspace(1) [[SCEVGEP2]], align 135; CHECK-NEXT: br label [[BB14]]36;37bb:38 br label %bb339 40bb1: ; preds = %bb341 br i1 true, label %bb10, label %bb242 43bb2: ; preds = %bb144 %t = add i16 %t4, 1 ; <i16> [#uses=1]45 br label %bb346 47bb3: ; preds = %bb2, %bb48 %t4 = phi i16 [ %t, %bb2 ], [ 0, %bb ] ; <i16> [#uses=3]49 br label %bb150 51bb10: ; preds = %bb952 %t7 = icmp eq i16 %t4, 0 ; <i1> [#uses=1]53 %t3 = add i16 %t4, 16 ; <i16> [#uses=1]54 br label %bb1455 56bb14: ; preds = %bb14, %bb1057 %t2 = getelementptr inbounds i8, ptr addrspace(1) %ptr.i8, i16 %t4 ; <ptr> [#uses=1]58 store i8 undef, ptr addrspace(1) %t259 %t6 = load ptr addrspace(1), ptr addrspace(1) %ptr.float60 %t9 = getelementptr inbounds i8, ptr addrspace(1) %t6, i16 %t3 ; <ptr> [#uses=1]61 store i8 undef, ptr addrspace(1) %t962 br label %bb1463}64 65