llvm/test/Transforms/InstCombine/loadstore-alignment.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
   3 target 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
  10 define <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
  20 define <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
  32 define <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
  45 define <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
  54 define <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
  67 define 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
  77 define 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
  89 define 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
 102 define 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
 111 define 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
 124 declare void @kip(ptr %t)