1 ; This test makes sure that these instructions are properly constant propagated. 2 3 ; RUN: opt < %s -data-layout="e-p:32:32" -debugify -sccp -S | FileCheck %s 4 ; RUN: opt < %s -data-layout="E-p:32:32" -debugify -sccp -S | FileCheck %s 5 6 @X = constant i32 42 ; <i32*> [#uses=1] 7 @Y = constant [2 x { i32, float }] [ { i32, float } { i32 12, float 1.000000e+00 }, { i32, float } { i32 37, float 0x3FF3B2FEC0000000 } ] ; <[2 x { i32, float }]*> [#uses=2] 8 9 define i32 @test1() { 10 ; CHECK-LABEL: @test1( 11 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 42 12 ; CHECK-NEXT: ret 13 %B = load i32, i32* @X ; <i32> [#uses=1] 14 ret i32 %B 15 } 16 17 define float @test2() { 18 ; CHECK-LABEL: @test2( 19 ; CHECK-NEXT: call void @llvm.dbg.value(metadata float* getelementptr 20 ; CHECK-NEXT: call void @llvm.dbg.value(metadata float 0x3FF3B2FEC0000000 21 ; CHECK-NEXT: ret 22 %A = getelementptr [2 x { i32, float }], [2 x { i32, float }]* @Y, i64 0, i64 1, i32 1 ; <float*> [#uses=1] 23 %B = load float, float* %A ; <float> [#uses=1] 24 ret float %B 25 } 26 27 define i32 @test3() { 28 ; CHECK-LABEL: @test3( 29 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32* getelementptr 30 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 12 31 ; CHECK-NEXT: ret 32 %A = getelementptr [2 x { i32, float }], [2 x { i32, float }]* @Y, i64 0, i64 0, i32 0 ; <i32*> [#uses=1] 33 %B = load i32, i32* %A 34 ret i32 %B 35 } 36 37 define i8 @test4() { 38 ; CHECK-LABEL: @test4( 39 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i8* bitcast 40 ; CHECK-NEXT: call void @llvm.dbg.value(metadata i8 41 ; CHECK-NEXT: ret 42 %A = bitcast i32* @X to i8* 43 %B = load i8, i8* %A 44 ret i8 %B 45 } 46 47
