1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=reg2mem -S < %s | FileCheck %s 3 4%opaque = type opaque 5 6declare %opaque @ret_opaque() 7declare void @pass_opaque(%opaque) 8 9define void @test() { 10; CHECK-LABEL: @test( 11; CHECK-NEXT: %"reg2mem alloca point" = bitcast i32 0 to i32 12; CHECK-NEXT: [[X:%.*]] = call [[OPAQUE:%.*]] @ret_opaque() 13; CHECK-NEXT: br label [[NEXT:%.*]] 14; CHECK: next: 15; CHECK-NEXT: call void @pass_opaque([[OPAQUE]] [[X]]) 16; CHECK-NEXT: ret void 17; 18 %x = call %opaque @ret_opaque() 19 br label %next 20 21next: 22 call void @pass_opaque(%opaque %x) 23 ret void 24} 25