1; This test makes sure that these instructions are properly constant propagated. 2 3; RUN: opt < %s -ipsccp -S | not grep load 4; RUN: opt < %s -ipsccp -S | not grep fdiv 5 6@X = constant i212 42 7@Y = constant [2 x { i212, float }] [ { i212, float } { i212 12, float 1.0 }, 8 { i212, float } { i212 37, float 0x3FF3B2FEC0000000 } ] 9define i212 @test1() { 10 %B = load i212, i212* @X 11 ret i212 %B 12} 13 14define internal float @test2() { 15 %A = getelementptr [2 x { i212, float}], [2 x { i212, float}]* @Y, i32 0, i32 1, i32 1 16 %B = load float, float* %A 17 ret float %B 18} 19 20define internal i212 @test3() { 21 %A = getelementptr [2 x { i212, float}], [2 x { i212, float}]* @Y, i32 0, i32 0, i32 0 22 %B = load i212, i212* %A 23 ret i212 %B 24} 25 26define float @All() 27{ 28 %A = call float @test2() 29 %B = call i212 @test3() 30 %C = mul i212 %B, -1234567 31 %D = sitofp i212 %C to float 32 %E = fdiv float %A, %D 33 ret float %E 34} 35 36 37