test/Transforms/ConstProp/loads.ll

   1 ; RUN: opt < %s -default-data-layout="e-p:64:64:64-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" -instcombine -S | FileCheck %s --check-prefix=LE
   2 ; RUN: opt < %s -default-data-layout="E-p:64:64:64-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" -instcombine -S | FileCheck %s --check-prefix=BE
   3
   4 ; {{ 0xDEADBEEF, 0xBA }, 0xCAFEBABE}
   5 @g1 = constant {{i32,i8},i32} {{i32,i8} { i32 -559038737, i8 186 }, i32 -889275714 }
   6 @g2 = constant double 1.0
   7 ; { 0x7B, 0x06B1BFF8 }
   8 @g3 = constant {i64, i64} { i64 123, i64 112312312 }
   9
  10 ; Simple load
  11 define i32 @test1() {
  12   %r = load i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0)
  13   ret i32 %r
  14
  15 ; 0xDEADBEEF
  16 ; LE-LABEL: @test1(
  17 ; LE: ret i32 -559038737
  18
  19 ; 0xDEADBEEF
  20 ; BE-LABEL: @test1(
  21 ; BE: ret i32 -559038737
  22 }
  23
  24 ; PR3152
  25 ; Load of first 16 bits of 32-bit value.
  26 define i16 @test2() {
  27   %r = load i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*)
  28   ret i16 %r
  29
  30 ; 0xBEEF
  31 ; LE-LABEL: @test2(
  32 ; LE: ret i16 -16657
  33
  34 ; 0xDEAD
  35 ; BE-LABEL: @test2(
  36 ; BE: ret i16 -8531
  37 }
  38
  39 ; Load of second 16 bits of 32-bit value.
  40 define i16 @test3() {
  41   %r = load i16* getelementptr(i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*), i32 1)
  42   ret i16 %r
  43
  44 ; 0xDEAD
  45 ; LE-LABEL: @test3(
  46 ; LE: ret i16 -8531
  47
  48 ; 0xBEEF
  49 ; BE-LABEL: @test3(
  50 ; BE: ret i16 -16657
  51 }
  52
  53 ; Load of 8 bit field + tail padding.
  54 define i16 @test4() {
  55   %r = load i16* getelementptr(i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*), i32 2)
  56   ret i16 %r
  57
  58 ; 0x00BA
  59 ; LE-LABEL: @test4(
  60 ; LE: ret i16 186
  61
  62 ; 0xBA00
  63 ; BE-LABEL: @test4(
  64 ; BE: ret i16 -17920
  65 }
  66
  67 ; Load of double bits.
  68 define i64 @test6() {
  69   %r = load i64* bitcast(double* @g2 to i64*)
  70   ret i64 %r
  71
  72 ; 0x3FF_0000000000000
  73 ; LE-LABEL: @test6(
  74 ; LE: ret i64 4607182418800017408
  75
  76 ; 0x3FF_0000000000000
  77 ; BE-LABEL: @test6(
  78 ; BE: ret i64 4607182418800017408
  79 }
  80
  81 ; Load of double bits.
  82 define i16 @test7() {
  83   %r = load i16* bitcast(double* @g2 to i16*)
  84   ret i16 %r
  85
  86 ; 0x0000
  87 ; LE-LABEL: @test7(
  88 ; LE: ret i16 0
  89
  90 ; 0x3FF0
  91 ; BE-LABEL: @test7(
  92 ; BE: ret i16 16368
  93 }
  94
  95 ; Double load.
  96 define double @test8() {
  97   %r = load double* bitcast({{i32,i8},i32}* @g1 to double*)
  98   ret double %r
  99
 100 ; LE-LABEL: @test8(
 101 ; LE: ret double 0xBADEADBEEF
 102
 103 ; BE-LABEL: @test8(
 104 ; BE: ret double 0xDEADBEEFBA000000
 105 }
 106
 107
 108 ; i128 load.
 109 define i128 @test9() {
 110   %r = load i128* bitcast({i64, i64}* @g3 to i128*)
 111   ret i128 %r
 112
 113 ; 0x00000000_06B1BFF8_00000000_0000007B
 114 ; LE-LABEL: @test9(
 115 ; LE: ret i128 2071796475790618158476296315
 116
 117 ; 0x00000000_0000007B_00000000_06B1BFF8
 118 ; BE-LABEL: @test9(
 119 ; BE: ret i128 2268949521066387161080
 120 }
 121
 122 ; vector load.
 123 define <2 x i64> @test10() {
 124   %r = load <2 x i64>* bitcast({i64, i64}* @g3 to <2 x i64>*)
 125   ret <2 x i64> %r
 126
 127 ; LE-LABEL: @test10(
 128 ; LE: ret <2 x i64> <i64 123, i64 112312312>
 129
 130 ; BE-LABEL: @test10(
 131 ; BE: ret <2 x i64> <i64 123, i64 112312312>
 132 }
 133
 134
 135 ; PR5287
 136 ; { 0xA1, 0x08 }
 137 @g4 = internal constant { i8, i8 } { i8 -95, i8 8 }
 138
 139 define i16 @test11() nounwind {
 140 entry:
 141   %a = load i16* bitcast ({ i8, i8 }* @g4 to i16*)
 142   ret i16 %a
 143
 144 ; 0x08A1
 145 ; LE-LABEL: @test11(
 146 ; LE: ret i16 2209
 147
 148 ; 0xA108
 149 ; BE-LABEL: @test11(
 150 ; BE: ret i16 -24312
 151 }
 152
 153
 154 ; PR5551
 155 @test12g = private constant [6 x i8] c"a\00b\00\00\00"
 156
 157 define i16 @test12() {
 158   %a = load i16* getelementptr inbounds ([3 x i16]* bitcast ([6 x i8]* @test12g to [3 x i16]*), i32 0, i64 1)
 159   ret i16 %a
 160
 161 ; 0x0062
 162 ; LE-LABEL: @test12(
 163 ; LE: ret i16 98
 164
 165 ; 0x6200
 166 ; BE-LABEL: @test12(
 167 ; BE: ret i16 25088
 168 }
 169
 170
 171 ; PR5978
 172 @g5 = constant i8 4
 173 define i1 @test13() {
 174   %A = load i1* bitcast (i8* @g5 to i1*)
 175   ret i1 %A
 176
 177 ; LE-LABEL: @test13(
 178 ; LE: ret i1 false
 179
 180 ; BE-LABEL: @test13(
 181 ; BE: ret i1 false
 182 }
 183
 184 @g6 = constant [2 x i8*] [i8* inttoptr (i64 1 to i8*), i8* inttoptr (i64 2 to i8*)]
 185 define i64 @test14() nounwind {
 186 entry:
 187   %tmp = load i64* bitcast ([2 x i8*]* @g6 to i64*)
 188   ret i64 %tmp
 189
 190 ; LE-LABEL: @test14(
 191 ; LE: ret i64 1
 192
 193 ; BE-LABEL: @test14(
 194 ; BE: ret i64 1
 195 }
 196
 197 define i64 @test15() nounwind {
 198 entry:
 199   %tmp = load i64* bitcast (i8** getelementptr inbounds ([2 x i8*]* @g6, i32 0, i64 1) to i64*)
 200   ret i64 %tmp
 201
 202 ; LE-LABEL: @test15(
 203 ; LE: ret i64 2
 204
 205 ; BE-LABEL: @test15(
 206 ; BE: ret i64 2
 207 }