1 ; RUN: opt < %s -loop-reduce -S | FileCheck %s 2 3 ; LSR shouldn't consider %t8 to be an interesting user of %t6, and it 4 ; should be able to form pretty GEPs. 5 6 target 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" 7 8 ; Copy of uglygep with a different address space 9 ; This tests expandAddToGEP uses the right smaller integer type for 10 ; another address space 11 define void @Z4() nounwind { 12 ; CHECK: define void @Z4 13 bb: 14 br label %bb3 15 16 bb1: ; preds = %bb3 17 br i1 undef, label %bb10, label %bb2 18 19 bb2: ; preds = %bb1 20 %t = add i16 %t4, 1 ; <i16> [#uses=1] 21 br label %bb3 22 23 bb3: ; preds = %bb2, %bb 24 %t4 = phi i16 [ %t, %bb2 ], [ 0, %bb ] ; <i16> [#uses=3] 25 br label %bb1 26 27 ; CHECK: bb10: 28 ; CHECK-NEXT: %t7 = icmp eq i16 %t4, 0 29 ; Host %t2 computation outside the loop. 30 ; CHECK-NEXT: [[SCEVGEP:%[^ ]+]] = getelementptr i8 addrspace(1)* undef, i16 %t4 31 ; CHECK-NEXT: br label %bb14 32 bb10: ; preds = %bb9 33 %t7 = icmp eq i16 %t4, 0 ; <i1> [#uses=1] 34 %t3 = add i16 %t4, 16 ; <i16> [#uses=1] 35 br label %bb14 36 37 ; CHECK: bb14: 38 ; CHECK-NEXT: store i8 undef, i8 addrspace(1)* [[SCEVGEP]] 39 ; CHECK-NEXT: %t6 = load float addrspace(1)* addrspace(1)* undef 40 ; Fold %t3's add within the address. 41 ; CHECK-NEXT: [[SCEVGEP1:%[^ ]+]] = getelementptr float addrspace(1)* %t6, i16 4 42 ; CHECK-NEXT: [[SCEVGEP2:%[^ ]+]] = bitcast float addrspace(1)* [[SCEVGEP1]] to i8 addrspace(1)* 43 ; Use the induction variable (%t4) to access the right element 44 ; CHECK-NEXT: [[ADDRESS:%[^ ]+]] = getelementptr i8 addrspace(1)* [[SCEVGEP2]], i16 %t4 45 ; CHECK-NEXT: store i8 undef, i8 addrspace(1)* [[ADDRESS]] 46 ; CHECK-NEXT: br label %bb14 47 bb14: ; preds = %bb14, %bb10 48 %t2 = getelementptr inbounds i8 addrspace(1)* undef, i16 %t4 ; <i8*> [#uses=1] 49 store i8 undef, i8 addrspace(1)* %t2 50 %t6 = load float addrspace(1)* addrspace(1)* undef 51 %t8 = bitcast float addrspace(1)* %t6 to i8 addrspace(1)* ; <i8*> [#uses=1] 52 %t9 = getelementptr inbounds i8 addrspace(1)* %t8, i16 %t3 ; <i8*> [#uses=1] 53 store i8 undef, i8 addrspace(1)* %t9 54 br label %bb14 55 } 56 57
