1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=instcombine -S < %s | FileCheck %s 3target datalayout = "E-p:64:64:64-p1:64:64:64-p2:32:32:32-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" 4 5@x = external global <2 x i64>, align 16 6@xx = external global [13 x <2 x i64>], align 16 7 8@x.as2 = external addrspace(2) global <2 x i64>, align 16 9 10define <2 x i64> @static_hem() { 11; CHECK-LABEL: @static_hem( 12; CHECK-NEXT: [[L:%.*]] = load <2 x i64>, ptr getelementptr (i8, ptr @x, i64 112), align 1 13; CHECK-NEXT: ret <2 x i64> [[L]] 14; 15 %t = getelementptr <2 x i64>, ptr @x, i32 7 16 %l = load <2 x i64>, ptr %t, align 1 17 ret <2 x i64> %l 18} 19 20define <2 x i64> @hem(i32 %i) { 21; CHECK-LABEL: @hem( 22; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[I:%.*]] to i64 23; CHECK-NEXT: [[T:%.*]] = getelementptr <2 x i64>, ptr @x, i64 [[TMP1]] 24; CHECK-NEXT: [[L:%.*]] = load <2 x i64>, ptr [[T]], align 1 25; CHECK-NEXT: ret <2 x i64> [[L]] 26; 27 %t = getelementptr <2 x i64>, ptr @x, i32 %i 28 %l = load <2 x i64>, ptr %t, align 1 29 ret <2 x i64> %l 30} 31 32define <2 x i64> @hem_2d(i32 %i, i32 %j) { 33; CHECK-LABEL: @hem_2d( 34; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[I:%.*]] to i64 35; CHECK-NEXT: [[TMP2:%.*]] = sext i32 [[J:%.*]] to i64 36; CHECK-NEXT: [[T:%.*]] = getelementptr [13 x <2 x i64>], ptr @xx, i64 [[TMP1]], i64 [[TMP2]] 37; CHECK-NEXT: [[L:%.*]] = load <2 x i64>, ptr [[T]], align 1 38; CHECK-NEXT: ret <2 x i64> [[L]] 39; 40 %t = getelementptr [13 x <2 x i64>], ptr @xx, i32 %i, i32 %j 41 %l = load <2 x i64>, ptr %t, align 1 42 ret <2 x i64> %l 43} 44 45define <2 x i64> @foo() { 46; CHECK-LABEL: @foo( 47; CHECK-NEXT: [[L:%.*]] = load <2 x i64>, ptr @x, align 1 48; CHECK-NEXT: ret <2 x i64> [[L]] 49; 50 %l = load <2 x i64>, ptr @x, align 1 51 ret <2 x i64> %l 52} 53 54define <2 x i64> @bar() { 55; CHECK-LABEL: @bar( 56; CHECK-NEXT: [[T:%.*]] = alloca <2 x i64>, align 16 57; CHECK-NEXT: call void @kip(ptr nonnull [[T]]) 58; CHECK-NEXT: [[L:%.*]] = load <2 x i64>, ptr [[T]], align 1 59; CHECK-NEXT: ret <2 x i64> [[L]] 60; 61 %t = alloca <2 x i64> 62 call void @kip(ptr %t) 63 %l = load <2 x i64>, ptr %t, align 1 64 ret <2 x i64> %l 65} 66 67define void @static_hem_store(<2 x i64> %y) { 68; CHECK-LABEL: @static_hem_store( 69; CHECK-NEXT: store <2 x i64> [[Y:%.*]], ptr getelementptr (i8, ptr @x, i64 112), align 1 70; CHECK-NEXT: ret void 71; 72 %t = getelementptr <2 x i64>, ptr @x, i32 7 73 store <2 x i64> %y, ptr %t, align 1 74 ret void 75} 76 77define void @hem_store(i32 %i, <2 x i64> %y) { 78; CHECK-LABEL: @hem_store( 79; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[I:%.*]] to i64 80; CHECK-NEXT: [[T:%.*]] = getelementptr <2 x i64>, ptr @x, i64 [[TMP1]] 81; CHECK-NEXT: store <2 x i64> [[Y:%.*]], ptr [[T]], align 1 82; CHECK-NEXT: ret void 83; 84 %t = getelementptr <2 x i64>, ptr @x, i32 %i 85 store <2 x i64> %y, ptr %t, align 1 86 ret void 87} 88 89define void @hem_2d_store(i32 %i, i32 %j, <2 x i64> %y) { 90; CHECK-LABEL: @hem_2d_store( 91; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[I:%.*]] to i64 92; CHECK-NEXT: [[TMP2:%.*]] = sext i32 [[J:%.*]] to i64 93; CHECK-NEXT: [[T:%.*]] = getelementptr [13 x <2 x i64>], ptr @xx, i64 [[TMP1]], i64 [[TMP2]] 94; CHECK-NEXT: store <2 x i64> [[Y:%.*]], ptr [[T]], align 1 95; CHECK-NEXT: ret void 96; 97 %t = getelementptr [13 x <2 x i64>], ptr @xx, i32 %i, i32 %j 98 store <2 x i64> %y, ptr %t, align 1 99 ret void 100} 101 102define void @foo_store(<2 x i64> %y) { 103; CHECK-LABEL: @foo_store( 104; CHECK-NEXT: store <2 x i64> [[Y:%.*]], ptr @x, align 1 105; CHECK-NEXT: ret void 106; 107 store <2 x i64> %y, ptr @x, align 1 108 ret void 109} 110 111define void @bar_store(<2 x i64> %y) { 112; CHECK-LABEL: @bar_store( 113; CHECK-NEXT: [[T:%.*]] = alloca <2 x i64>, align 16 114; CHECK-NEXT: call void @kip(ptr nonnull [[T]]) 115; CHECK-NEXT: store <2 x i64> [[Y:%.*]], ptr [[T]], align 1 116; CHECK-NEXT: ret void 117; 118 %t = alloca <2 x i64> 119 call void @kip(ptr %t) 120 store <2 x i64> %y, ptr %t, align 1 121 ret void 122} 123 124declare void @kip(ptr %t) 125