1; RUN: opt < %s -instcombine -S | FileCheck %s 2 3target datalayout = "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-f80:128:128" 4 5@g1 = constant {{i32,i8},i32} {{i32,i8} { i32 -559038737, i8 186 }, i32 -889275714 } 6@g2 = constant double 1.0 7@g3 = constant {i64, i64} { i64 123, i64 112312312 } 8 9; Simple load 10define i32 @test1() { 11 %r = load i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) 12 ret i32 %r 13; CHECK: @test1 14; CHECK: ret i32 -559038737 15} 16 17; PR3152 18; Load of first 16 bits of 32-bit value. 19define i16 @test2() { 20 %r = load i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*) 21 ret i16 %r 22 23; CHECK: @test2 24; CHECK: ret i16 -16657 25} 26 27; Load of second 16 bits of 32-bit value. 28define i16 @test3() { 29 %r = load i16* getelementptr(i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*), i32 1) 30 ret i16 %r 31 32; CHECK: @test3 33; CHECK: ret i16 -8531 34} 35 36; Load of 8 bit field + tail padding. 37define i16 @test4() { 38 %r = load i16* getelementptr(i16* bitcast(i32* getelementptr ({{i32,i8},i32}* @g1, i32 0, i32 0, i32 0) to i16*), i32 2) 39 ret i16 %r 40; CHECK: @test4 41; CHECK: ret i16 186 42} 43 44; Load of double bits. 45define i64 @test6() { 46 %r = load i64* bitcast(double* @g2 to i64*) 47 ret i64 %r 48 49; CHECK: @test6 50; CHECK: ret i64 4607182418800017408 51} 52 53; Load of double bits. 54define i16 @test7() { 55 %r = load i16* bitcast(double* @g2 to i16*) 56 ret i16 %r 57 58; CHECK: @test7 59; CHECK: ret i16 0 60} 61 62; Double load. 63define double @test8() { 64 %r = load double* bitcast({{i32,i8},i32}* @g1 to double*) 65 ret double %r 66 67; CHECK: @test8 68; CHECK: ret double 0xBADEADBEEF 69} 70 71 72; i128 load. 73define i128 @test9() { 74 %r = load i128* bitcast({i64, i64}* @g3 to i128*) 75 ret i128 %r 76 77; CHECK: @test9 78; CHECK: ret i128 2071796475790618158476296315 79} 80 81; vector load. 82define <2 x i64> @test10() { 83 %r = load <2 x i64>* bitcast({i64, i64}* @g3 to <2 x i64>*) 84 ret <2 x i64> %r 85 86; CHECK: @test10 87; CHECK: ret <2 x i64> <i64 123, i64 112312312> 88} 89 90 91; PR5287 92@g4 = internal constant { i8, i8 } { i8 -95, i8 8 } 93 94define i16 @test11() nounwind { 95entry: 96 %a = load i16* bitcast ({ i8, i8 }* @g4 to i16*) 97 ret i16 %a 98 99; CHECK: @test11 100; CHECK: ret i16 2209 101} 102 103 104; PR5551 105@test12g = private constant [6 x i8] c"a\00b\00\00\00" 106 107define i16 @test12() { 108 %a = load i16* getelementptr inbounds ([3 x i16]* bitcast ([6 x i8]* @test12g to [3 x i16]*), i32 0, i64 1) 109 ret i16 %a 110; CHECK: @test12 111; CHECK: ret i16 98 112} 113 114 115; PR5978 116@g5 = constant i8 4 117define i1 @test13() { 118 %A = load i1* bitcast (i8* @g5 to i1*) 119 ret i1 %A 120; CHECK: @test13 121; CHECK: ret i1 false 122} 123 124@g6 = constant [2 x i8*] [i8* inttoptr (i64 1 to i8*), i8* inttoptr (i64 2 to i8*)] 125define i64 @test14() nounwind { 126entry: 127 %tmp = load i64* bitcast ([2 x i8*]* @g6 to i64*) 128 ret i64 %tmp 129; CHECK: @test14 130; CHECK: ret i64 1 131} 132 133define i64 @test15() nounwind { 134entry: 135 %tmp = load i64* bitcast (i8** getelementptr inbounds ([2 x i8*]* @g6, i32 0, i64 1) to i64*) 136 ret i64 %tmp 137; CHECK: @test15 138; CHECK: ret i64 2 139} 140