1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -passes=reg2mem -S < %s | FileCheck %s
6 declare %opaque @ret_opaque()
7 declare void @pass_opaque(%opaque)
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:%.*]]
15 ; CHECK-NEXT: call void @pass_opaque([[OPAQUE]] [[X]])
16 ; CHECK-NEXT: ret void
18 %x = call %opaque @ret_opaque()
22 call void @pass_opaque(%opaque %x)