35 lines · plain
1; RUN: opt -passes=consthoist -S < %s | FileCheck %s2target triple = "thumbv6m-none-eabi"3 4%T = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,5i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,6i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,7i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,8i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,9i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,10i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,11i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,12i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,13i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,14i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,15i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,16i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,17i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,18i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,19i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32,20i32, i32, i32, i32, i32, i32 }21 22; Indices for GEPs should not be hoisted.23define i32 @test1(ptr %P) nounwind {24; CHECK-LABEL: @test125; CHECK: %addr1 = getelementptr %T, ptr %P, i32 256, i32 25626; CHECK: %addr2 = getelementptr %T, ptr %P, i32 256, i32 25627 %addr1 = getelementptr %T, ptr %P, i32 256, i32 25628 %tmp1 = load i32, ptr %addr129 %addr2 = getelementptr %T, ptr %P, i32 256, i32 25630 %tmp2 = load i32, ptr %addr231 %tmp4 = add i32 %tmp1, %tmp232 ret i32 %tmp433}34 35