1; RUN: opt -passes=consthoist -S < %s | FileCheck %s 2target 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; The second operand of insertvalue is able to be hoisted. 23define void @test1(%T %P) { 24; CHECK-LABEL: @test1 25; CHECK: %const = bitcast i32 256 to i32 26; CHECK: %1 = insertvalue %T %P, i32 %const, 256 27; CHECK: %2 = insertvalue %T %P, i32 %const, 256 28 %1 = insertvalue %T %P, i32 256, 256 29 %2 = insertvalue %T %P, i32 256, 256 30 ret void 31} 32