hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Refactor IR structured binding tuple test

Browse Source
This commit is contained in:
Jeroen Ketema
2022-02-25 12:39:20 +01:00
parent edaabf8fdf
commit 074577b539
4 changed files with 854 additions and 848 deletions
Download Patch File Download Diff File Expand all files Collapse all files

716
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -12040,397 +12040,397 @@ ir.cpp:
# 1528| Type = [IntType] int
# 1528| ValueCategory = prvalue(load)
# 1530| getStmt(3): [ReturnStmt] return ...
# 1537| [CopyAssignmentOperator] std::tuple_size<StructuredBindingTuple>& std::tuple_size<StructuredBindingTuple>::operator=(std::tuple_size<StructuredBindingTuple> const&)
# 1537| <params>:
# 1539| [CopyAssignmentOperator] StructuredBindingTupleRefGet& StructuredBindingTupleRefGet::operator=(StructuredBindingTupleRefGet const&)
# 1539| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const tuple_size<StructuredBindingTuple> &
# 1537| [MoveAssignmentOperator] std::tuple_size<StructuredBindingTuple>& std::tuple_size<StructuredBindingTuple>::operator=(std::tuple_size<StructuredBindingTuple>&&)
# 1537| <params>:
#-----| Type = [LValueReferenceType] const StructuredBindingTupleRefGet &
# 1539| [Constructor] void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet()
# 1539| <params>:
# 1539| <initializations>:
# 1539| getInitializer(0): [ConstructorFieldInit] constructor init of field i
# 1539| Type = [IntType] int
# 1539| ValueCategory = prvalue
# 1539| getInitializer(1): [ConstructorFieldInit] constructor init of field d
# 1539| Type = [DoubleType] double
# 1539| ValueCategory = prvalue
# 1539| getInitializer(2): [ConstructorFieldInit] constructor init of field r
# 1539| Type = [LValueReferenceType] int &
# 1539| ValueCategory = prvalue
# 1539| getEntryPoint(): [BlockStmt] { ... }
# 1539| getStmt(0): [ReturnStmt] return ...
# 1539| [CopyConstructor] void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet(StructuredBindingTupleRefGet const&)
# 1539| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] tuple_size<StructuredBindingTuple> &&
# 1544| [CopyAssignmentOperator] std::tuple_element<int 0, StructuredBindingTuple>& std::tuple_element<int 0, StructuredBindingTuple>::operator=(std::tuple_element<int 0, StructuredBindingTuple> const&)
# 1544| <params>:
#-----| Type = [LValueReferenceType] const StructuredBindingTupleRefGet &
# 1539| <initializations>:
# 1539| getInitializer(0): [ConstructorFieldInit] constructor init of field i
# 1539| Type = [IntType] int
# 1539| ValueCategory = prvalue
# 1539| getExpr(): [Literal] Unknown literal
# 1539| Type = [IntType] int
# 1539| ValueCategory = prvalue
# 1539| getInitializer(1): [ConstructorFieldInit] constructor init of field d
# 1539| Type = [DoubleType] double
# 1539| ValueCategory = prvalue
# 1539| getExpr(): [Literal] Unknown literal
# 1539| Type = [DoubleType] double
# 1539| ValueCategory = prvalue
# 1539| getInitializer(2): [ConstructorFieldInit] constructor init of field r
# 1539| Type = [LValueReferenceType] int &
# 1539| ValueCategory = prvalue
# 1539| getExpr(): [Literal] Unknown literal
# 1539| Type = [LValueReferenceType] int &
# 1539| ValueCategory = prvalue
# 1539| getEntryPoint(): [BlockStmt] { ... }
# 1539| getStmt(0): [ReturnStmt] return ...
# 1539| [MoveConstructor] void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet(StructuredBindingTupleRefGet&&)
# 1539| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const tuple_element<0, StructuredBindingTuple> &
# 1544| [MoveAssignmentOperator] std::tuple_element<int 0, StructuredBindingTuple>& std::tuple_element<int 0, StructuredBindingTuple>::operator=(std::tuple_element<int 0, StructuredBindingTuple>&&)
# 1544| <params>:
#-----| Type = [RValueReferenceType] StructuredBindingTupleRefGet &&
# 1545| [MemberFunction,TemplateFunction] type& StructuredBindingTupleRefGet::get<int i>()
# 1545| <params>:
# 1549| [CopyAssignmentOperator] std::tuple_size<StructuredBindingTupleRefGet>& std::tuple_size<StructuredBindingTupleRefGet>::operator=(std::tuple_size<StructuredBindingTupleRefGet> const&)
# 1549| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] tuple_element<0, StructuredBindingTuple> &&
# 1548| [CopyAssignmentOperator] std::tuple_element<int 1, StructuredBindingTuple>& std::tuple_element<int 1, StructuredBindingTuple>::operator=(std::tuple_element<int 1, StructuredBindingTuple> const&)
# 1548| <params>:
#-----| Type = [LValueReferenceType] const tuple_size<StructuredBindingTupleRefGet> &
# 1549| [MoveAssignmentOperator] std::tuple_size<StructuredBindingTupleRefGet>& std::tuple_size<StructuredBindingTupleRefGet>::operator=(std::tuple_size<StructuredBindingTupleRefGet>&&)
# 1549| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const tuple_element<1, StructuredBindingTuple> &
# 1548| [MoveAssignmentOperator] std::tuple_element<int 1, StructuredBindingTuple>& std::tuple_element<int 1, StructuredBindingTuple>::operator=(std::tuple_element<int 1, StructuredBindingTuple>&&)
# 1548| <params>:
#-----| Type = [RValueReferenceType] tuple_size<StructuredBindingTupleRefGet> &&
# 1554| [CopyAssignmentOperator] std::tuple_element<int 0, StructuredBindingTupleRefGet>& std::tuple_element<int 0, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 0, StructuredBindingTupleRefGet> const&)
# 1554| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] tuple_element<1, StructuredBindingTuple> &&
# 1552| [CopyAssignmentOperator] std::tuple_element<int 2, StructuredBindingTuple>& std::tuple_element<int 2, StructuredBindingTuple>::operator=(std::tuple_element<int 2, StructuredBindingTuple> const&)
# 1552| <params>:
#-----| Type = [LValueReferenceType] const tuple_element<0, StructuredBindingTupleRefGet> &
# 1554| [MoveAssignmentOperator] std::tuple_element<int 0, StructuredBindingTupleRefGet>& std::tuple_element<int 0, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 0, StructuredBindingTupleRefGet>&&)
# 1554| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const tuple_element<2, StructuredBindingTuple> &
# 1552| [MoveAssignmentOperator] std::tuple_element<int 2, StructuredBindingTuple>& std::tuple_element<int 2, StructuredBindingTuple>::operator=(std::tuple_element<int 2, StructuredBindingTuple>&&)
# 1552| <params>:
#-----| Type = [RValueReferenceType] tuple_element<0, StructuredBindingTupleRefGet> &&
# 1558| [CopyAssignmentOperator] std::tuple_element<int 1, StructuredBindingTupleRefGet>& std::tuple_element<int 1, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 1, StructuredBindingTupleRefGet> const&)
# 1558| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] tuple_element<2, StructuredBindingTuple> &&
# 1557| [CopyAssignmentOperator] StructuredBindingTuple& StructuredBindingTuple::operator=(StructuredBindingTuple const&)
# 1557| <params>:
#-----| Type = [LValueReferenceType] const tuple_element<1, StructuredBindingTupleRefGet> &
# 1558| [MoveAssignmentOperator] std::tuple_element<int 1, StructuredBindingTupleRefGet>& std::tuple_element<int 1, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 1, StructuredBindingTupleRefGet>&&)
# 1558| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const StructuredBindingTuple &
# 1557| [Constructor] void StructuredBindingTuple::StructuredBindingTuple()
# 1557| <params>:
# 1557| <initializations>:
# 1557| getInitializer(0): [ConstructorFieldInit] constructor init of field i
# 1557| Type = [IntType] int
# 1557| ValueCategory = prvalue
# 1557| getInitializer(1): [ConstructorFieldInit] constructor init of field d
# 1557| Type = [DoubleType] double
# 1557| ValueCategory = prvalue
# 1557| getInitializer(2): [ConstructorFieldInit] constructor init of field r
# 1557| Type = [LValueReferenceType] int &
# 1557| ValueCategory = prvalue
# 1557| getEntryPoint(): [BlockStmt] { ... }
# 1557| getStmt(0): [ReturnStmt] return ...
# 1557| [CopyConstructor] void StructuredBindingTuple::StructuredBindingTuple(StructuredBindingTuple const&)
# 1557| <params>:
#-----| Type = [RValueReferenceType] tuple_element<1, StructuredBindingTupleRefGet> &&
# 1562| [CopyAssignmentOperator] std::tuple_element<int 2, StructuredBindingTupleRefGet>& std::tuple_element<int 2, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 2, StructuredBindingTupleRefGet> const&)
# 1562| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const StructuredBindingTuple &
# 1557| <initializations>:
# 1557| getInitializer(0): [ConstructorFieldInit] constructor init of field i
# 1557| Type = [IntType] int
# 1557| ValueCategory = prvalue
# 1557| getExpr(): [Literal] Unknown literal
# 1557| Type = [IntType] int
# 1557| ValueCategory = prvalue
# 1557| getInitializer(1): [ConstructorFieldInit] constructor init of field d
# 1557| Type = [DoubleType] double
# 1557| ValueCategory = prvalue
# 1557| getExpr(): [Literal] Unknown literal
# 1557| Type = [DoubleType] double
# 1557| ValueCategory = prvalue
# 1557| getInitializer(2): [ConstructorFieldInit] constructor init of field r
# 1557| Type = [LValueReferenceType] int &
# 1557| ValueCategory = prvalue
# 1557| getExpr(): [Literal] Unknown literal
# 1557| Type = [LValueReferenceType] int &
# 1557| ValueCategory = prvalue
# 1557| getEntryPoint(): [BlockStmt] { ... }
# 1557| getStmt(0): [ReturnStmt] return ...
# 1557| [MoveConstructor] void StructuredBindingTuple::StructuredBindingTuple(StructuredBindingTuple&&)
# 1557| <params>:
#-----| Type = [LValueReferenceType] const tuple_element<2, StructuredBindingTupleRefGet> &
# 1562| [MoveAssignmentOperator] std::tuple_element<int 2, StructuredBindingTupleRefGet>& std::tuple_element<int 2, StructuredBindingTupleRefGet>::operator=(std::tuple_element<int 2, StructuredBindingTupleRefGet>&&)
# 1562| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] StructuredBindingTuple &&
# 1563| [MemberFunction,TemplateFunction] type& StructuredBindingTuple::get<int i>()
# 1563| <params>:
# 1567| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 0, StructuredBindingTuple>::type& StructuredBindingTuple::get<int 0>()
#-----| Type = [RValueReferenceType] tuple_element<2, StructuredBindingTupleRefGet> &&
# 1567| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 0, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<int 0>()
# 1567| <params>:
# 1567| getEntryPoint(): [BlockStmt] { ... }
# 1567| getStmt(0): [ReturnStmt] return ...
# 1567| getExpr(): [PointerFieldAccess] i
# 1567| Type = [IntType] int
# 1567| ValueCategory = lvalue
# 1567| getQualifier(): [ThisExpr] this
# 1567| Type = [PointerType] StructuredBindingTuple *
# 1567| ValueCategory = prvalue(load)
# 1568| getStmt(0): [ReturnStmt] return ...
# 1568| getExpr(): [PointerFieldAccess] i
# 1568| Type = [IntType] int
# 1568| ValueCategory = lvalue
# 1568| getQualifier(): [ThisExpr] this
# 1568| Type = [PointerType] StructuredBindingTupleRefGet *
# 1568| ValueCategory = prvalue(load)
#-----| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
#-----| Type = [LValueReferenceType] int &
#-----| ValueCategory = prvalue
# 1569| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 1, StructuredBindingTuple>::type& StructuredBindingTuple::get<int 1>()
# 1569| <params>:
# 1569| getEntryPoint(): [BlockStmt] { ... }
# 1569| getStmt(0): [ReturnStmt] return ...
# 1569| getExpr(): [PointerFieldAccess] d
# 1569| Type = [DoubleType] double
# 1569| ValueCategory = lvalue
# 1569| getQualifier(): [ThisExpr] this
# 1569| Type = [PointerType] StructuredBindingTuple *
# 1569| ValueCategory = prvalue(load)
# 1571| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 1, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<int 1>()
# 1571| <params>:
# 1571| getEntryPoint(): [BlockStmt] { ... }
# 1572| getStmt(0): [ReturnStmt] return ...
# 1572| getExpr(): [PointerFieldAccess] d
# 1572| Type = [DoubleType] double
# 1572| ValueCategory = lvalue
# 1572| getQualifier(): [ThisExpr] this
# 1572| Type = [PointerType] StructuredBindingTupleRefGet *
# 1572| ValueCategory = prvalue(load)
#-----| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
#-----| Type = [LValueReferenceType] double &
#-----| ValueCategory = prvalue
# 1571| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 2, StructuredBindingTuple>::type StructuredBindingTuple::get<int 2>()
# 1571| <params>:
# 1571| getEntryPoint(): [BlockStmt] { ... }
# 1571| getStmt(0): [ReturnStmt] return ...
# 1571| getExpr(): [PointerFieldAccess] r
# 1571| Type = [LValueReferenceType] int &
# 1571| ValueCategory = prvalue(load)
# 1571| getQualifier(): [ThisExpr] this
# 1571| Type = [PointerType] StructuredBindingTuple *
# 1571| ValueCategory = prvalue(load)
# 1571| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1571| Type = [LValueReferenceType] int &
# 1571| ValueCategory = prvalue
# 1571| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1571| Type = [IntType] int
# 1571| ValueCategory = lvalue
# 1573| [TopLevelFunction] void tuple_structured_binding()
# 1573| <params>:
# 1573| getEntryPoint(): [BlockStmt] { ... }
# 1574| getStmt(0): [DeclStmt] declaration
# 1574| getDeclarationEntry(0): [VariableDeclarationEntry] definition of t
# 1574| Type = [Struct] StructuredBindingTuple
# 1574| getVariable().getInitializer(): [Initializer] initializer for t
# 1574| getExpr(): [ConstructorCall] call to StructuredBindingTuple
# 1574| Type = [VoidType] void
# 1574| ValueCategory = prvalue
# 1576| getStmt(1): [BlockStmt] { ... }
# 1577| getStmt(0): [DeclStmt] declaration
# 1577| getDeclarationEntry(0): (no string representation)
# 1577| Type = [Struct] StructuredBindingTuple
# 1577| getVariable().getInitializer(): [Initializer] initializer for (unnamed local variable)
# 1577| getExpr(): [VariableAccess] t
# 1577| Type = [Struct] StructuredBindingTuple
# 1577| ValueCategory = prvalue(load)
# 1577| getDeclarationEntry(1): [VariableDeclarationEntry] definition of i
# 1577| Type = [LValueReferenceType] type &
# 1575| [FunctionTemplateSpecialization,MemberFunction] std::tuple_element<int 2, StructuredBindingTupleRefGet>::type StructuredBindingTupleRefGet::get<int 2>()
# 1575| <params>:
# 1575| getEntryPoint(): [BlockStmt] { ... }
# 1576| getStmt(0): [ReturnStmt] return ...
# 1576| getExpr(): [PointerFieldAccess] r
# 1576| Type = [LValueReferenceType] int &
# 1576| ValueCategory = prvalue(load)
# 1576| getQualifier(): [ThisExpr] this
# 1576| Type = [PointerType] StructuredBindingTupleRefGet *
# 1576| ValueCategory = prvalue(load)
# 1576| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1576| Type = [LValueReferenceType] int &
# 1576| ValueCategory = prvalue
# 1576| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1576| Type = [IntType] int
# 1576| ValueCategory = lvalue
# 1579| [TopLevelFunction] void tuple_structured_binding_ref_get()
# 1579| <params>:
# 1579| getEntryPoint(): [BlockStmt] { ... }
# 1580| getStmt(0): [DeclStmt] declaration
# 1580| getDeclarationEntry(0): [VariableDeclarationEntry] definition of t
# 1580| Type = [Struct] StructuredBindingTupleRefGet
# 1580| getVariable().getInitializer(): [Initializer] initializer for t
# 1580| getExpr(): [ConstructorCall] call to StructuredBindingTupleRefGet
# 1580| Type = [VoidType] void
# 1580| ValueCategory = prvalue
# 1582| getStmt(1): [BlockStmt] { ... }
# 1583| getStmt(0): [DeclStmt] declaration
# 1583| getDeclarationEntry(0): (no string representation)
# 1583| Type = [Struct] StructuredBindingTupleRefGet
# 1583| getVariable().getInitializer(): [Initializer] initializer for (unnamed local variable)
# 1583| getExpr(): [VariableAccess] t
# 1583| Type = [Struct] StructuredBindingTupleRefGet
# 1583| ValueCategory = prvalue(load)
# 1583| getDeclarationEntry(1): [VariableDeclarationEntry] definition of i
# 1583| Type = [LValueReferenceType] type &
#-----| getVariable().getInitializer(): [Initializer] initializer for i
# 1577| getExpr(): [FunctionCall] call to get
# 1577| Type = [LValueReferenceType] type &
# 1577| ValueCategory = prvalue
# 1577| getQualifier(): [VariableAccess] (unnamed local variable)
# 1577| Type = [Struct] StructuredBindingTuple
# 1577| ValueCategory = xvalue
# 1577| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1577| Type = [LValueReferenceType] type &
# 1577| ValueCategory = prvalue
# 1577| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1577| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1577| ValueCategory = lvalue
# 1577| getDeclarationEntry(2): [VariableDeclarationEntry] definition of d
# 1577| Type = [LValueReferenceType] type &
# 1583| getExpr(): [FunctionCall] call to get
# 1583| Type = [LValueReferenceType] type &
# 1583| ValueCategory = prvalue
# 1583| getQualifier(): [VariableAccess] (unnamed local variable)
# 1583| Type = [Struct] StructuredBindingTupleRefGet
# 1583| ValueCategory = xvalue
# 1583| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1583| Type = [LValueReferenceType] type &
# 1583| ValueCategory = prvalue
# 1583| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1583| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1583| ValueCategory = lvalue
# 1583| getDeclarationEntry(2): [VariableDeclarationEntry] definition of d
# 1583| Type = [LValueReferenceType] type &
#-----| getVariable().getInitializer(): [Initializer] initializer for d
# 1577| getExpr(): [FunctionCall] call to get
# 1577| Type = [LValueReferenceType] type &
# 1577| ValueCategory = prvalue
# 1577| getQualifier(): [VariableAccess] (unnamed local variable)
# 1577| Type = [Struct] StructuredBindingTuple
# 1577| ValueCategory = xvalue
# 1577| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1577| Type = [LValueReferenceType] type &
# 1577| ValueCategory = prvalue
# 1577| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1577| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1577| ValueCategory = lvalue
# 1577| getDeclarationEntry(3): [VariableDeclarationEntry] definition of r
# 1577| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1583| getExpr(): [FunctionCall] call to get
# 1583| Type = [LValueReferenceType] type &
# 1583| ValueCategory = prvalue
# 1583| getQualifier(): [VariableAccess] (unnamed local variable)
# 1583| Type = [Struct] StructuredBindingTupleRefGet
# 1583| ValueCategory = xvalue
# 1583| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1583| Type = [LValueReferenceType] type &
# 1583| ValueCategory = prvalue
# 1583| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1583| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1583| ValueCategory = lvalue
# 1583| getDeclarationEntry(3): [VariableDeclarationEntry] definition of r
# 1583| Type = [NestedTypedefType,UsingAliasTypedefType] type
#-----| getVariable().getInitializer(): [Initializer] initializer for r
# 1577| getExpr(): [FunctionCall] call to get
# 1577| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1577| ValueCategory = prvalue
# 1577| getQualifier(): [VariableAccess] (unnamed local variable)
# 1577| Type = [Struct] StructuredBindingTuple
# 1577| ValueCategory = xvalue
# 1577| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1577| Type = [LValueReferenceType] int &
# 1577| ValueCategory = prvalue
# 1577| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1577| Type = [IntType] int
# 1577| ValueCategory = lvalue
# 1578| getStmt(1): [ExprStmt] ExprStmt
# 1578| getExpr(): [AssignExpr] ... = ...
# 1578| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1578| ValueCategory = lvalue
# 1578| getLValue(): [VariableAccess] d
# 1578| Type = [LValueReferenceType] type &
# 1578| ValueCategory = prvalue(load)
# 1578| getRValue(): [Literal] 4.0
# 1578| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1578| Value = [Literal] 4.0
# 1578| ValueCategory = prvalue
# 1578| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1578| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1578| ValueCategory = lvalue
# 1579| getStmt(2): [DeclStmt] declaration
# 1579| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rd
# 1579| Type = [LValueReferenceType] double &
# 1579| getVariable().getInitializer(): [Initializer] initializer for rd
# 1579| getExpr(): [VariableAccess] d
# 1579| Type = [LValueReferenceType] type &
# 1579| ValueCategory = prvalue(load)
# 1579| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1579| Type = [LValueReferenceType] type &
# 1579| ValueCategory = prvalue
# 1579| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1579| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1579| ValueCategory = lvalue
# 1580| getStmt(3): [DeclStmt] declaration
# 1580| getDeclarationEntry(0): [VariableDeclarationEntry] definition of v
# 1580| Type = [IntType] int
# 1580| getVariable().getInitializer(): [Initializer] initializer for v
# 1580| getExpr(): [VariableAccess] i
# 1580| Type = [LValueReferenceType] type &
# 1580| ValueCategory = prvalue(load)
# 1580| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1580| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1580| ValueCategory = prvalue(load)
# 1581| getStmt(4): [ExprStmt] ExprStmt
# 1581| getExpr(): [AssignExpr] ... = ...
# 1581| Type = [IntType] int
# 1581| ValueCategory = lvalue
# 1581| getLValue(): [VariableAccess] r
# 1581| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1581| ValueCategory = prvalue(load)
# 1581| getRValue(): [Literal] 5
# 1581| Type = [IntType] int
# 1581| Value = [Literal] 5
# 1581| ValueCategory = prvalue
# 1581| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1581| Type = [IntType] int
# 1581| ValueCategory = lvalue
# 1582| getStmt(5): [DeclStmt] declaration
# 1582| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rr
# 1582| Type = [LValueReferenceType] int &
# 1582| getVariable().getInitializer(): [Initializer] initializer for rr
# 1582| getExpr(): [VariableAccess] r
# 1582| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1582| ValueCategory = prvalue(load)
# 1582| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1582| Type = [LValueReferenceType] int &
# 1582| ValueCategory = prvalue
# 1582| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1582| Type = [IntType] int
# 1582| ValueCategory = lvalue
# 1583| getStmt(6): [DeclStmt] declaration
# 1583| getDeclarationEntry(0): [VariableDeclarationEntry] definition of w
# 1583| Type = [IntType] int
# 1583| getVariable().getInitializer(): [Initializer] initializer for w
# 1583| getExpr(): [VariableAccess] r
# 1583| getExpr(): [FunctionCall] call to get
# 1583| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1583| ValueCategory = prvalue(load)
# 1583| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1583| Type = [IntType] int
# 1583| ValueCategory = prvalue(load)
# 1586| getStmt(2): [BlockStmt] { ... }
# 1587| getStmt(0): [DeclStmt] declaration
# 1587| getDeclarationEntry(0): [VariableDeclarationEntry] definition of unnamed_local_variable
# 1587| Type = [Struct] StructuredBindingTuple
# 1587| getVariable().getInitializer(): [Initializer] initializer for unnamed_local_variable
# 1587| getExpr(): [VariableAccess] t
# 1587| Type = [Struct] StructuredBindingTuple
# 1587| ValueCategory = prvalue(load)
# 1588| getStmt(1): [DeclStmt] declaration
# 1588| getDeclarationEntry(0): [VariableDeclarationEntry] definition of i
# 1588| Type = [LValueReferenceType] type &
# 1588| getVariable().getInitializer(): [Initializer] initializer for i
# 1588| getExpr(): [FunctionCall] call to get
# 1588| Type = [LValueReferenceType] type &
# 1588| ValueCategory = prvalue
# 1588| getQualifier(): [VariableAccess] unnamed_local_variable
# 1588| Type = [Struct] StructuredBindingTuple
# 1588| ValueCategory = lvalue
# 1583| ValueCategory = prvalue
# 1583| getQualifier(): [VariableAccess] (unnamed local variable)
# 1583| Type = [Struct] StructuredBindingTupleRefGet
# 1583| ValueCategory = xvalue
# 1583| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1583| Type = [LValueReferenceType] int &
# 1583| ValueCategory = prvalue
# 1583| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1583| Type = [IntType] int
# 1583| ValueCategory = lvalue
# 1584| getStmt(1): [ExprStmt] ExprStmt
# 1584| getExpr(): [AssignExpr] ... = ...
# 1584| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1584| ValueCategory = lvalue
# 1584| getLValue(): [VariableAccess] d
# 1584| Type = [LValueReferenceType] type &
# 1584| ValueCategory = prvalue(load)
# 1584| getRValue(): [Literal] 4.0
# 1584| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1584| Value = [Literal] 4.0
# 1584| ValueCategory = prvalue
# 1584| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1584| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1584| ValueCategory = lvalue
# 1585| getStmt(2): [DeclStmt] declaration
# 1585| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rd
# 1585| Type = [LValueReferenceType] double &
# 1585| getVariable().getInitializer(): [Initializer] initializer for rd
# 1585| getExpr(): [VariableAccess] d
# 1585| Type = [LValueReferenceType] type &
# 1585| ValueCategory = prvalue(load)
# 1585| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1585| Type = [LValueReferenceType] type &
# 1585| ValueCategory = prvalue
# 1585| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1585| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1585| ValueCategory = lvalue
# 1586| getStmt(3): [DeclStmt] declaration
# 1586| getDeclarationEntry(0): [VariableDeclarationEntry] definition of v
# 1586| Type = [IntType] int
# 1586| getVariable().getInitializer(): [Initializer] initializer for v
# 1586| getExpr(): [VariableAccess] i
# 1586| Type = [LValueReferenceType] type &
# 1586| ValueCategory = prvalue(load)
# 1586| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1586| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1586| ValueCategory = prvalue(load)
# 1587| getStmt(4): [ExprStmt] ExprStmt
# 1587| getExpr(): [AssignExpr] ... = ...
# 1587| Type = [IntType] int
# 1587| ValueCategory = lvalue
# 1587| getLValue(): [VariableAccess] r
# 1587| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1587| ValueCategory = prvalue(load)
# 1587| getRValue(): [Literal] 5
# 1587| Type = [IntType] int
# 1587| Value = [Literal] 5
# 1587| ValueCategory = prvalue
# 1587| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1587| Type = [IntType] int
# 1587| ValueCategory = lvalue
# 1588| getStmt(5): [DeclStmt] declaration
# 1588| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rr
# 1588| Type = [LValueReferenceType] int &
# 1588| getVariable().getInitializer(): [Initializer] initializer for rr
# 1588| getExpr(): [VariableAccess] r
# 1588| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1588| ValueCategory = prvalue(load)
# 1588| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1588| Type = [LValueReferenceType] type &
# 1588| Type = [LValueReferenceType] int &
# 1588| ValueCategory = prvalue
# 1588| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1588| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1588| Type = [IntType] int
# 1588| ValueCategory = lvalue
# 1589| getStmt(2): [DeclStmt] declaration
# 1589| getDeclarationEntry(0): [VariableDeclarationEntry] definition of d
# 1589| Type = [LValueReferenceType] type &
# 1589| getVariable().getInitializer(): [Initializer] initializer for d
# 1589| getExpr(): [FunctionCall] call to get
# 1589| Type = [LValueReferenceType] type &
# 1589| ValueCategory = prvalue
# 1589| getQualifier(): [VariableAccess] unnamed_local_variable
# 1589| Type = [Struct] StructuredBindingTuple
# 1589| ValueCategory = lvalue
# 1589| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1589| Type = [LValueReferenceType] type &
# 1589| ValueCategory = prvalue
# 1589| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1589| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1589| ValueCategory = lvalue
# 1590| getStmt(3): [DeclStmt] declaration
# 1590| getDeclarationEntry(0): [VariableDeclarationEntry] definition of r
# 1590| Type = [LValueReferenceType] int &
# 1590| getVariable().getInitializer(): [Initializer] initializer for r
# 1590| getExpr(): [FunctionCall] call to get
# 1590| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1590| ValueCategory = prvalue
# 1590| getQualifier(): [VariableAccess] unnamed_local_variable
# 1590| Type = [Struct] StructuredBindingTuple
# 1590| ValueCategory = lvalue
# 1590| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1590| Type = [LValueReferenceType] int &
# 1590| ValueCategory = prvalue
# 1590| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1590| Type = [IntType] int
# 1590| ValueCategory = lvalue
# 1591| getStmt(4): [ExprStmt] ExprStmt
# 1591| getExpr(): [AssignExpr] ... = ...
# 1591| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1591| ValueCategory = lvalue
# 1591| getLValue(): [VariableAccess] d
# 1591| Type = [LValueReferenceType] type &
# 1591| ValueCategory = prvalue(load)
# 1591| getRValue(): [Literal] 4.0
# 1591| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1591| Value = [Literal] 4.0
# 1591| ValueCategory = prvalue
# 1591| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1591| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1591| ValueCategory = lvalue
# 1592| getStmt(5): [DeclStmt] declaration
# 1592| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rd
# 1592| Type = [LValueReferenceType] double &
# 1592| getVariable().getInitializer(): [Initializer] initializer for rd
# 1592| getExpr(): [VariableAccess] d
# 1592| Type = [LValueReferenceType] type &
# 1592| ValueCategory = prvalue(load)
# 1592| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1592| Type = [LValueReferenceType] type &
# 1592| ValueCategory = prvalue
# 1592| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1592| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1592| ValueCategory = lvalue
# 1593| getStmt(6): [DeclStmt] declaration
# 1593| getDeclarationEntry(0): [VariableDeclarationEntry] definition of v
# 1593| Type = [IntType] int
# 1593| getVariable().getInitializer(): [Initializer] initializer for v
# 1593| getExpr(): [VariableAccess] i
# 1593| Type = [LValueReferenceType] type &
# 1589| getStmt(6): [DeclStmt] declaration
# 1589| getDeclarationEntry(0): [VariableDeclarationEntry] definition of w
# 1589| Type = [IntType] int
# 1589| getVariable().getInitializer(): [Initializer] initializer for w
# 1589| getExpr(): [VariableAccess] r
# 1589| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1589| ValueCategory = prvalue(load)
# 1589| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1589| Type = [IntType] int
# 1589| ValueCategory = prvalue(load)
# 1592| getStmt(2): [BlockStmt] { ... }
# 1593| getStmt(0): [DeclStmt] declaration
# 1593| getDeclarationEntry(0): [VariableDeclarationEntry] definition of unnamed_local_variable
# 1593| Type = [Struct] StructuredBindingTupleRefGet
# 1593| getVariable().getInitializer(): [Initializer] initializer for unnamed_local_variable
# 1593| getExpr(): [VariableAccess] t
# 1593| Type = [Struct] StructuredBindingTupleRefGet
# 1593| ValueCategory = prvalue(load)
# 1593| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1593| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1593| ValueCategory = prvalue(load)
# 1594| getStmt(7): [ExprStmt] ExprStmt
# 1594| getExpr(): [AssignExpr] ... = ...
# 1594| Type = [IntType] int
# 1594| ValueCategory = lvalue
# 1594| getLValue(): [VariableAccess] r
# 1594| Type = [LValueReferenceType] int &
# 1594| ValueCategory = prvalue(load)
# 1594| getRValue(): [Literal] 5
# 1594| Type = [IntType] int
# 1594| Value = [Literal] 5
# 1594| ValueCategory = prvalue
# 1594| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1594| Type = [IntType] int
# 1594| ValueCategory = lvalue
# 1595| getStmt(8): [DeclStmt] declaration
# 1595| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rr
# 1595| Type = [LValueReferenceType] int &
# 1595| getVariable().getInitializer(): [Initializer] initializer for rr
# 1595| getExpr(): [VariableAccess] r
# 1595| Type = [LValueReferenceType] int &
# 1595| ValueCategory = prvalue(load)
# 1594| getStmt(1): [DeclStmt] declaration
# 1594| getDeclarationEntry(0): [VariableDeclarationEntry] definition of i
# 1594| Type = [LValueReferenceType] type &
# 1594| getVariable().getInitializer(): [Initializer] initializer for i
# 1594| getExpr(): [FunctionCall] call to get
# 1594| Type = [LValueReferenceType] type &
# 1594| ValueCategory = prvalue
# 1594| getQualifier(): [VariableAccess] unnamed_local_variable
# 1594| Type = [Struct] StructuredBindingTupleRefGet
# 1594| ValueCategory = lvalue
# 1594| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1594| Type = [LValueReferenceType] type &
# 1594| ValueCategory = prvalue
# 1594| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1594| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1594| ValueCategory = lvalue
# 1595| getStmt(2): [DeclStmt] declaration
# 1595| getDeclarationEntry(0): [VariableDeclarationEntry] definition of d
# 1595| Type = [LValueReferenceType] type &
# 1595| getVariable().getInitializer(): [Initializer] initializer for d
# 1595| getExpr(): [FunctionCall] call to get
# 1595| Type = [LValueReferenceType] type &
# 1595| ValueCategory = prvalue
# 1595| getQualifier(): [VariableAccess] unnamed_local_variable
# 1595| Type = [Struct] StructuredBindingTupleRefGet
# 1595| ValueCategory = lvalue
# 1595| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1595| Type = [LValueReferenceType] int &
# 1595| Type = [LValueReferenceType] type &
# 1595| ValueCategory = prvalue
# 1595| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1595| Type = [IntType] int
# 1595| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1595| ValueCategory = lvalue
# 1596| getStmt(9): [DeclStmt] declaration
# 1596| getDeclarationEntry(0): [VariableDeclarationEntry] definition of w
# 1596| Type = [IntType] int
# 1596| getVariable().getInitializer(): [Initializer] initializer for w
# 1596| getExpr(): [VariableAccess] r
# 1596| getStmt(3): [DeclStmt] declaration
# 1596| getDeclarationEntry(0): [VariableDeclarationEntry] definition of r
# 1596| Type = [LValueReferenceType] int &
# 1596| getVariable().getInitializer(): [Initializer] initializer for r
# 1596| getExpr(): [FunctionCall] call to get
# 1596| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1596| ValueCategory = prvalue
# 1596| getQualifier(): [VariableAccess] unnamed_local_variable
# 1596| Type = [Struct] StructuredBindingTupleRefGet
# 1596| ValueCategory = lvalue
# 1596| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1596| Type = [LValueReferenceType] int &
# 1596| ValueCategory = prvalue(load)
# 1596| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1596| Type = [IntType] int
# 1596| ValueCategory = prvalue(load)
# 1598| getStmt(3): [ReturnStmt] return ...
# 1596| ValueCategory = prvalue
# 1596| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1596| Type = [IntType] int
# 1596| ValueCategory = lvalue
# 1597| getStmt(4): [ExprStmt] ExprStmt
# 1597| getExpr(): [AssignExpr] ... = ...
# 1597| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1597| ValueCategory = lvalue
# 1597| getLValue(): [VariableAccess] d
# 1597| Type = [LValueReferenceType] type &
# 1597| ValueCategory = prvalue(load)
# 1597| getRValue(): [Literal] 4.0
# 1597| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1597| Value = [Literal] 4.0
# 1597| ValueCategory = prvalue
# 1597| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1597| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1597| ValueCategory = lvalue
# 1598| getStmt(5): [DeclStmt] declaration
# 1598| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rd
# 1598| Type = [LValueReferenceType] double &
# 1598| getVariable().getInitializer(): [Initializer] initializer for rd
# 1598| getExpr(): [VariableAccess] d
# 1598| Type = [LValueReferenceType] type &
# 1598| ValueCategory = prvalue(load)
# 1598| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1598| Type = [LValueReferenceType] type &
# 1598| ValueCategory = prvalue
# 1598| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1598| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1598| ValueCategory = lvalue
# 1599| getStmt(6): [DeclStmt] declaration
# 1599| getDeclarationEntry(0): [VariableDeclarationEntry] definition of v
# 1599| Type = [IntType] int
# 1599| getVariable().getInitializer(): [Initializer] initializer for v
# 1599| getExpr(): [VariableAccess] i
# 1599| Type = [LValueReferenceType] type &
# 1599| ValueCategory = prvalue(load)
# 1599| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1599| Type = [NestedTypedefType,UsingAliasTypedefType] type
# 1599| ValueCategory = prvalue(load)
# 1600| getStmt(7): [ExprStmt] ExprStmt
# 1600| getExpr(): [AssignExpr] ... = ...
# 1600| Type = [IntType] int
# 1600| ValueCategory = lvalue
# 1600| getLValue(): [VariableAccess] r
# 1600| Type = [LValueReferenceType] int &
# 1600| ValueCategory = prvalue(load)
# 1600| getRValue(): [Literal] 5
# 1600| Type = [IntType] int
# 1600| Value = [Literal] 5
# 1600| ValueCategory = prvalue
# 1600| getLValue().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1600| Type = [IntType] int
# 1600| ValueCategory = lvalue
# 1601| getStmt(8): [DeclStmt] declaration
# 1601| getDeclarationEntry(0): [VariableDeclarationEntry] definition of rr
# 1601| Type = [LValueReferenceType] int &
# 1601| getVariable().getInitializer(): [Initializer] initializer for rr
# 1601| getExpr(): [VariableAccess] r
# 1601| Type = [LValueReferenceType] int &
# 1601| ValueCategory = prvalue(load)
# 1601| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1601| Type = [LValueReferenceType] int &
# 1601| ValueCategory = prvalue
# 1601| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1601| Type = [IntType] int
# 1601| ValueCategory = lvalue
# 1602| getStmt(9): [DeclStmt] declaration
# 1602| getDeclarationEntry(0): [VariableDeclarationEntry] definition of w
# 1602| Type = [IntType] int
# 1602| getVariable().getInitializer(): [Initializer] initializer for w
# 1602| getExpr(): [VariableAccess] r
# 1602| Type = [LValueReferenceType] int &
# 1602| ValueCategory = prvalue(load)
# 1602| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1602| Type = [IntType] int
# 1602| ValueCategory = prvalue(load)
# 1604| getStmt(3): [ReturnStmt] return ...
perf-regression.cpp:
# 4| [CopyAssignmentOperator] Big& Big::operator=(Big const&)
# 4| <params>:

60
cpp/ql/test/library-tests/ir/ir/ir.cpp
View File

@@ -1528,50 +1528,56 @@ void data_member_structured_binding() {
int w = r;
}
}
struct StructuredBindingTuple;
namespace std {
template<typename T>
struct tuple_size;
template<>
struct tuple_size<StructuredBindingTuple> {
static const unsigned int value = 3;
};
template<int, typename T>
struct tuple_element;
template<>
struct tuple_element<0, StructuredBindingTuple> {
using type = int;
};
template<>
struct tuple_element<1, StructuredBindingTuple> {
using type = double;
};
template<>
struct tuple_element<2, StructuredBindingTuple> {
using type = int&;
};
}
struct StructuredBindingTuple {
struct StructuredBindingTupleRefGet {
int i = 1;
double d = 2.2;
int& r = i;
template<int i>
typename std::tuple_element<i, StructuredBindingTuple>::type& get();
typename std::tuple_element<i, StructuredBindingTupleRefGet>::type& get();
};
template<>
std::tuple_element<0, StructuredBindingTuple>::type& StructuredBindingTuple::get<0>() { return i; }
template<>
std::tuple_element<1, StructuredBindingTuple>::type& StructuredBindingTuple::get<1>() { return d; }
template<>
std::tuple_element<2, StructuredBindingTuple>::type& StructuredBindingTuple::get<2>() { return r; }
struct std::tuple_size<StructuredBindingTupleRefGet> {
static const unsigned int value = 3;
};
void tuple_structured_binding() {
StructuredBindingTuple t;
template<>
struct std::tuple_element<0, StructuredBindingTupleRefGet> {
using type = int;
};
template<>
struct std::tuple_element<1, StructuredBindingTupleRefGet> {
using type = double;
};
template<>
struct std::tuple_element<2, StructuredBindingTupleRefGet> {
using type = int&;
};
template<>
std::tuple_element<0, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<0>() {
return i;
}
template<>
std::tuple_element<1, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<1>() {
return d;
}
template<>
std::tuple_element<2, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<2>() {
return r;
}
void tuple_structured_binding_ref_get() {
StructuredBindingTupleRefGet t;
// structured binding use
{
auto [i, d, r] = t;

482
cpp/ql/test/library-tests/ir/ir/operand_locations.expected
View File

@@ -6938,247 +6938,247 @@
| ir.cpp:1528:17:1528:17 | Load | m1519_7 |
| ir.cpp:1528:17:1528:17 | Load | ~m1525_7 |
| ir.cpp:1528:17:1528:17 | StoreValue | r1528_4 |
| ir.cpp:1557:8:1557:8 | Address | &:r1557_5 |
| ir.cpp:1557:8:1557:8 | Address | &:r1557_5 |
| ir.cpp:1557:8:1557:8 | Address | &:r1557_7 |
| ir.cpp:1557:8:1557:8 | Address | &:r1557_7 |
| ir.cpp:1557:8:1557:8 | ChiPartial | partial:m1557_3 |
| ir.cpp:1557:8:1557:8 | ChiTotal | total:m1557_2 |
| ir.cpp:1557:8:1557:8 | Load | m1557_6 |
| ir.cpp:1557:8:1557:8 | SideEffect | m1557_3 |
| ir.cpp:1557:8:1557:8 | SideEffect | m1557_8 |
| ir.cpp:1567:54:1567:83 | Address | &:r1567_5 |
| ir.cpp:1567:54:1567:83 | Address | &:r1567_5 |
| ir.cpp:1567:54:1567:83 | Address | &:r1567_7 |
| ir.cpp:1567:54:1567:83 | Address | &:r1567_7 |
| ir.cpp:1567:54:1567:83 | Address | &:r1567_14 |
| ir.cpp:1567:54:1567:83 | ChiPartial | partial:m1567_3 |
| ir.cpp:1567:54:1567:83 | ChiTotal | total:m1567_2 |
| ir.cpp:1567:54:1567:83 | Load | m0_2 |
| ir.cpp:1567:54:1567:83 | Load | m1567_6 |
| ir.cpp:1567:54:1567:83 | SideEffect | m1567_3 |
| ir.cpp:1567:54:1567:83 | SideEffect | m1567_8 |
| ir.cpp:1567:89:1567:97 | Address | &:r1567_9 |
| ir.cpp:1567:96:1567:96 | Address | &:r1567_10 |
| ir.cpp:1567:96:1567:96 | Load | m1567_6 |
| ir.cpp:1567:96:1567:96 | Unary | r1567_11 |
| ir.cpp:1567:96:1567:96 | Unary | r1567_12 |
| ir.cpp:1569:54:1569:83 | Address | &:r1569_5 |
| ir.cpp:1569:54:1569:83 | Address | &:r1569_5 |
| ir.cpp:1569:54:1569:83 | Address | &:r1569_7 |
| ir.cpp:1569:54:1569:83 | Address | &:r1569_7 |
| ir.cpp:1569:54:1569:83 | Address | &:r1569_14 |
| ir.cpp:1569:54:1569:83 | ChiPartial | partial:m1569_3 |
| ir.cpp:1569:54:1569:83 | ChiTotal | total:m1569_2 |
| ir.cpp:1569:54:1569:83 | Load | m0_2 |
| ir.cpp:1569:54:1569:83 | Load | m1569_6 |
| ir.cpp:1569:54:1569:83 | SideEffect | m1569_3 |
| ir.cpp:1569:54:1569:83 | SideEffect | m1569_8 |
| ir.cpp:1569:89:1569:97 | Address | &:r1569_9 |
| ir.cpp:1569:96:1569:96 | Address | &:r1569_10 |
| ir.cpp:1569:96:1569:96 | Load | m1569_6 |
| ir.cpp:1569:96:1569:96 | Unary | r1569_11 |
| ir.cpp:1569:96:1569:96 | Unary | r1569_12 |
| ir.cpp:1571:54:1571:83 | Address | &:r1571_5 |
| ir.cpp:1571:54:1571:83 | Address | &:r1571_5 |
| ir.cpp:1571:54:1571:83 | Address | &:r1571_7 |
| ir.cpp:1571:54:1571:83 | Address | &:r1571_7 |
| ir.cpp:1571:54:1571:83 | Address | &:r1571_18 |
| ir.cpp:1571:54:1571:83 | ChiPartial | partial:m1571_3 |
| ir.cpp:1571:54:1571:83 | ChiTotal | total:m1571_2 |
| ir.cpp:1571:54:1571:83 | Load | m1571_6 |
| ir.cpp:1571:54:1571:83 | Load | m1571_16 |
| ir.cpp:1571:54:1571:83 | SideEffect | m1571_3 |
| ir.cpp:1571:54:1571:83 | SideEffect | m1571_8 |
| ir.cpp:1571:89:1571:97 | Address | &:r1571_9 |
| ir.cpp:1571:96:1571:96 | Address | &:r1571_10 |
| ir.cpp:1571:96:1571:96 | Address | &:r1571_12 |
| ir.cpp:1571:96:1571:96 | Load | m1571_6 |
| ir.cpp:1571:96:1571:96 | Load | ~m1571_8 |
| ir.cpp:1571:96:1571:96 | StoreValue | r1571_15 |
| ir.cpp:1571:96:1571:96 | Unary | r1571_11 |
| ir.cpp:1571:96:1571:96 | Unary | r1571_13 |
| ir.cpp:1571:96:1571:96 | Unary | r1571_14 |
| ir.cpp:1573:6:1573:29 | ChiPartial | partial:m1573_3 |
| ir.cpp:1573:6:1573:29 | ChiTotal | total:m1573_2 |
| ir.cpp:1573:6:1573:29 | SideEffect | ~m1594_6 |
| ir.cpp:1574:28:1574:28 | Address | &:r1574_1 |
| ir.cpp:1574:28:1574:28 | Address | &:r1574_1 |
| ir.cpp:1574:28:1574:28 | Arg(this) | this:r1574_1 |
| ir.cpp:1574:28:1574:28 | CallTarget | func:r1574_3 |
| ir.cpp:1574:28:1574:28 | ChiPartial | partial:m1574_5 |
| ir.cpp:1574:28:1574:28 | ChiPartial | partial:m1574_7 |
| ir.cpp:1574:28:1574:28 | ChiTotal | total:m1573_4 |
| ir.cpp:1574:28:1574:28 | ChiTotal | total:m1574_2 |
| ir.cpp:1574:28:1574:28 | SideEffect | ~m1573_4 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_1 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_6 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_6 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_18 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_18 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_30 |
| ir.cpp:1577:14:1577:14 | Address | &:r1577_30 |
| ir.cpp:1577:14:1577:14 | Arg(this) | this:r1577_6 |
| ir.cpp:1577:14:1577:14 | Arg(this) | this:r1577_18 |
| ir.cpp:1577:14:1577:14 | Arg(this) | this:r1577_30 |
| ir.cpp:1577:14:1577:14 | CallTarget | func:r1577_7 |
| ir.cpp:1577:14:1577:14 | CallTarget | func:r1577_19 |
| ir.cpp:1577:14:1577:14 | CallTarget | func:r1577_31 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_9 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_12 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_21 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_24 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_33 |
| ir.cpp:1577:14:1577:14 | ChiPartial | partial:m1577_36 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1574_6 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1577_4 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1577_10 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1577_13 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1577_22 |
| ir.cpp:1577:14:1577:14 | ChiTotal | total:m1577_25 |
| ir.cpp:1577:14:1577:14 | SideEffect | m1577_4 |
| ir.cpp:1577:14:1577:14 | SideEffect | m1577_13 |
| ir.cpp:1577:14:1577:14 | SideEffect | m1577_25 |
| ir.cpp:1577:14:1577:14 | SideEffect | ~m1574_6 |
| ir.cpp:1577:14:1577:14 | SideEffect | ~m1577_10 |
| ir.cpp:1577:14:1577:14 | SideEffect | ~m1577_22 |
| ir.cpp:1577:14:1577:14 | Unary | r1577_8 |
| ir.cpp:1577:14:1577:14 | Unary | r1577_20 |
| ir.cpp:1577:14:1577:14 | Unary | r1577_32 |
| ir.cpp:1577:14:1577:27 | StoreValue | r1577_15 |
| ir.cpp:1577:14:1577:27 | StoreValue | r1577_27 |
| ir.cpp:1577:14:1577:27 | StoreValue | r1577_39 |
| ir.cpp:1577:14:1577:27 | Unary | r1577_14 |
| ir.cpp:1577:14:1577:27 | Unary | r1577_26 |
| ir.cpp:1577:14:1577:27 | Unary | r1577_38 |
| ir.cpp:1577:15:1577:15 | Address | &:r1577_5 |
| ir.cpp:1577:18:1577:18 | Address | &:r1577_17 |
| ir.cpp:1577:21:1577:21 | Address | &:r1577_29 |
| ir.cpp:1577:26:1577:26 | Address | &:r1577_2 |
| ir.cpp:1577:26:1577:26 | Load | m1574_8 |
| ir.cpp:1577:26:1577:26 | StoreValue | r1577_3 |
| ir.cpp:1578:9:1578:9 | Address | &:r1578_2 |
| ir.cpp:1578:9:1578:9 | Address | &:r1578_4 |
| ir.cpp:1578:9:1578:9 | Load | m1577_28 |
| ir.cpp:1578:9:1578:9 | Unary | r1578_3 |
| ir.cpp:1578:9:1578:15 | ChiPartial | partial:m1578_5 |
| ir.cpp:1578:9:1578:15 | ChiTotal | total:m1577_37 |
| ir.cpp:1578:13:1578:15 | StoreValue | r1578_1 |
| ir.cpp:1579:17:1579:18 | Address | &:r1579_1 |
| ir.cpp:1579:22:1579:22 | Address | &:r1579_2 |
| ir.cpp:1579:22:1579:22 | Load | m1577_28 |
| ir.cpp:1579:22:1579:22 | StoreValue | r1579_5 |
| ir.cpp:1579:22:1579:22 | Unary | r1579_3 |
| ir.cpp:1579:22:1579:22 | Unary | r1579_4 |
| ir.cpp:1580:13:1580:13 | Address | &:r1580_1 |
| ir.cpp:1580:17:1580:17 | Address | &:r1580_2 |
| ir.cpp:1580:17:1580:17 | Address | &:r1580_3 |
| ir.cpp:1580:17:1580:17 | Load | m1577_16 |
| ir.cpp:1580:17:1580:17 | Load | ~m1577_37 |
| ir.cpp:1580:17:1580:17 | StoreValue | r1580_4 |
| ir.cpp:1581:9:1581:9 | Address | &:r1581_2 |
| ir.cpp:1581:9:1581:9 | Address | &:r1581_4 |
| ir.cpp:1581:9:1581:9 | Load | m1577_40 |
| ir.cpp:1581:9:1581:9 | Unary | r1581_3 |
| ir.cpp:1581:9:1581:13 | ChiPartial | partial:m1581_5 |
| ir.cpp:1581:9:1581:13 | ChiTotal | total:m1577_34 |
| ir.cpp:1581:13:1581:13 | StoreValue | r1581_1 |
| ir.cpp:1582:14:1582:15 | Address | &:r1582_1 |
| ir.cpp:1582:19:1582:19 | Address | &:r1582_2 |
| ir.cpp:1582:19:1582:19 | Load | m1577_40 |
| ir.cpp:1582:19:1582:19 | StoreValue | r1582_5 |
| ir.cpp:1582:19:1582:19 | Unary | r1582_3 |
| ir.cpp:1582:19:1582:19 | Unary | r1582_4 |
| ir.cpp:1583:13:1583:13 | Address | &:r1583_1 |
| ir.cpp:1583:17:1583:17 | Address | &:r1583_2 |
| ir.cpp:1583:17:1583:17 | Address | &:r1583_3 |
| ir.cpp:1583:17:1583:17 | Load | m1577_40 |
| ir.cpp:1583:17:1583:17 | Load | ~m1581_6 |
| ir.cpp:1583:17:1583:17 | StoreValue | r1583_4 |
| ir.cpp:1587:14:1587:35 | Address | &:r1587_1 |
| ir.cpp:1587:39:1587:39 | Address | &:r1587_2 |
| ir.cpp:1587:39:1587:39 | Load | m1574_8 |
| ir.cpp:1587:39:1587:39 | StoreValue | r1587_3 |
| ir.cpp:1588:15:1588:15 | Address | &:r1588_1 |
| ir.cpp:1588:19:1588:40 | Address | &:r1588_2 |
| ir.cpp:1588:19:1588:40 | Address | &:r1588_2 |
| ir.cpp:1588:19:1588:40 | Arg(this) | this:r1588_2 |
| ir.cpp:1588:19:1588:40 | ChiPartial | partial:m1588_8 |
| ir.cpp:1588:19:1588:40 | ChiTotal | total:m1587_4 |
| ir.cpp:1588:19:1588:40 | SideEffect | m1587_4 |
| ir.cpp:1588:42:1588:47 | CallTarget | func:r1588_3 |
| ir.cpp:1588:42:1588:47 | ChiPartial | partial:m1588_5 |
| ir.cpp:1588:42:1588:47 | ChiTotal | total:m1581_6 |
| ir.cpp:1588:42:1588:47 | SideEffect | ~m1581_6 |
| ir.cpp:1588:42:1588:47 | Unary | r1588_4 |
| ir.cpp:1588:42:1588:50 | StoreValue | r1588_11 |
| ir.cpp:1588:42:1588:50 | Unary | r1588_10 |
| ir.cpp:1589:15:1589:15 | Address | &:r1589_1 |
| ir.cpp:1589:19:1589:40 | Address | &:r1589_2 |
| ir.cpp:1589:19:1589:40 | Address | &:r1589_2 |
| ir.cpp:1589:19:1589:40 | Arg(this) | this:r1589_2 |
| ir.cpp:1589:19:1589:40 | ChiPartial | partial:m1589_8 |
| ir.cpp:1589:19:1589:40 | ChiTotal | total:m1588_9 |
| ir.cpp:1589:19:1589:40 | SideEffect | m1588_9 |
| ir.cpp:1589:42:1589:47 | CallTarget | func:r1589_3 |
| ir.cpp:1589:42:1589:47 | ChiPartial | partial:m1589_5 |
| ir.cpp:1589:42:1589:47 | ChiTotal | total:m1588_6 |
| ir.cpp:1589:42:1589:47 | SideEffect | ~m1588_6 |
| ir.cpp:1589:42:1589:47 | Unary | r1589_4 |
| ir.cpp:1589:42:1589:50 | StoreValue | r1589_11 |
| ir.cpp:1589:42:1589:50 | Unary | r1589_10 |
| ir.cpp:1590:15:1590:15 | Address | &:r1590_1 |
| ir.cpp:1590:19:1590:40 | Address | &:r1590_2 |
| ir.cpp:1590:19:1590:40 | Address | &:r1590_2 |
| ir.cpp:1590:19:1590:40 | Arg(this) | this:r1590_2 |
| ir.cpp:1590:19:1590:40 | ChiPartial | partial:m1590_8 |
| ir.cpp:1590:19:1590:40 | ChiTotal | total:m1589_9 |
| ir.cpp:1590:19:1590:40 | SideEffect | m1589_9 |
| ir.cpp:1590:42:1590:47 | CallTarget | func:r1590_3 |
| ir.cpp:1590:42:1590:47 | ChiPartial | partial:m1590_5 |
| ir.cpp:1590:42:1590:47 | ChiTotal | total:m1589_6 |
| ir.cpp:1590:42:1590:47 | SideEffect | ~m1589_6 |
| ir.cpp:1590:42:1590:47 | Unary | r1590_4 |
| ir.cpp:1590:42:1590:50 | StoreValue | r1590_11 |
| ir.cpp:1590:42:1590:50 | Unary | r1590_10 |
| ir.cpp:1591:9:1591:9 | Address | &:r1591_2 |
| ir.cpp:1591:9:1591:9 | Address | &:r1591_4 |
| ir.cpp:1591:9:1591:9 | Load | m1589_12 |
| ir.cpp:1591:9:1591:9 | Unary | r1591_3 |
| ir.cpp:1591:9:1591:15 | ChiPartial | partial:m1591_5 |
| ir.cpp:1591:9:1591:15 | ChiTotal | total:m1590_9 |
| ir.cpp:1591:13:1591:15 | StoreValue | r1591_1 |
| ir.cpp:1592:17:1592:18 | Address | &:r1592_1 |
| ir.cpp:1592:22:1592:22 | Address | &:r1592_2 |
| ir.cpp:1592:22:1592:22 | Load | m1589_12 |
| ir.cpp:1592:22:1592:22 | StoreValue | r1592_5 |
| ir.cpp:1592:22:1592:22 | Unary | r1592_3 |
| ir.cpp:1592:22:1592:22 | Unary | r1592_4 |
| ir.cpp:1593:13:1593:13 | Address | &:r1593_1 |
| ir.cpp:1593:17:1593:17 | Address | &:r1593_2 |
| ir.cpp:1593:17:1593:17 | Address | &:r1593_3 |
| ir.cpp:1593:17:1593:17 | Load | m1588_12 |
| ir.cpp:1593:17:1593:17 | Load | ~m1590_9 |
| ir.cpp:1593:17:1593:17 | StoreValue | r1593_4 |
| ir.cpp:1594:9:1594:9 | Address | &:r1594_2 |
| ir.cpp:1594:9:1594:9 | Address | &:r1594_4 |
| ir.cpp:1594:9:1594:9 | Load | m1590_12 |
| ir.cpp:1594:9:1594:9 | Unary | r1594_3 |
| ir.cpp:1594:9:1594:13 | ChiPartial | partial:m1594_5 |
| ir.cpp:1594:9:1594:13 | ChiTotal | total:m1590_6 |
| ir.cpp:1594:13:1594:13 | StoreValue | r1594_1 |
| ir.cpp:1595:14:1595:15 | Address | &:r1595_1 |
| ir.cpp:1595:19:1595:19 | Address | &:r1595_2 |
| ir.cpp:1595:19:1595:19 | Load | m1590_12 |
| ir.cpp:1595:19:1595:19 | StoreValue | r1595_5 |
| ir.cpp:1595:19:1595:19 | Unary | r1595_3 |
| ir.cpp:1595:19:1595:19 | Unary | r1595_4 |
| ir.cpp:1596:13:1596:13 | Address | &:r1596_1 |
| ir.cpp:1596:17:1596:17 | Address | &:r1596_2 |
| ir.cpp:1596:17:1596:17 | Address | &:r1596_3 |
| ir.cpp:1596:17:1596:17 | Load | m1590_12 |
| ir.cpp:1596:17:1596:17 | Load | ~m1594_6 |
| ir.cpp:1596:17:1596:17 | StoreValue | r1596_4 |
| ir.cpp:1539:8:1539:8 | Address | &:r1539_5 |
| ir.cpp:1539:8:1539:8 | Address | &:r1539_5 |
| ir.cpp:1539:8:1539:8 | Address | &:r1539_7 |
| ir.cpp:1539:8:1539:8 | Address | &:r1539_7 |
| ir.cpp:1539:8:1539:8 | ChiPartial | partial:m1539_3 |
| ir.cpp:1539:8:1539:8 | ChiTotal | total:m1539_2 |
| ir.cpp:1539:8:1539:8 | Load | m1539_6 |
| ir.cpp:1539:8:1539:8 | SideEffect | m1539_3 |
| ir.cpp:1539:8:1539:8 | SideEffect | m1539_8 |
| ir.cpp:1567:60:1567:95 | Address | &:r1567_5 |
| ir.cpp:1567:60:1567:95 | Address | &:r1567_5 |
| ir.cpp:1567:60:1567:95 | Address | &:r1567_7 |
| ir.cpp:1567:60:1567:95 | Address | &:r1567_7 |
| ir.cpp:1567:60:1567:95 | Address | &:r1567_10 |
| ir.cpp:1567:60:1567:95 | ChiPartial | partial:m1567_3 |
| ir.cpp:1567:60:1567:95 | ChiTotal | total:m1567_2 |
| ir.cpp:1567:60:1567:95 | Load | m0_2 |
| ir.cpp:1567:60:1567:95 | Load | m1567_6 |
| ir.cpp:1567:60:1567:95 | SideEffect | m1567_3 |
| ir.cpp:1567:60:1567:95 | SideEffect | m1567_8 |
| ir.cpp:1568:5:1568:13 | Address | &:r1568_1 |
| ir.cpp:1568:12:1568:12 | Address | &:r1568_2 |
| ir.cpp:1568:12:1568:12 | Load | m1567_6 |
| ir.cpp:1568:12:1568:12 | Unary | r1568_3 |
| ir.cpp:1568:12:1568:12 | Unary | r1568_4 |
| ir.cpp:1571:60:1571:95 | Address | &:r1571_5 |
| ir.cpp:1571:60:1571:95 | Address | &:r1571_5 |
| ir.cpp:1571:60:1571:95 | Address | &:r1571_7 |
| ir.cpp:1571:60:1571:95 | Address | &:r1571_7 |
| ir.cpp:1571:60:1571:95 | Address | &:r1571_10 |
| ir.cpp:1571:60:1571:95 | ChiPartial | partial:m1571_3 |
| ir.cpp:1571:60:1571:95 | ChiTotal | total:m1571_2 |
| ir.cpp:1571:60:1571:95 | Load | m0_2 |
| ir.cpp:1571:60:1571:95 | Load | m1571_6 |
| ir.cpp:1571:60:1571:95 | SideEffect | m1571_3 |
| ir.cpp:1571:60:1571:95 | SideEffect | m1571_8 |
| ir.cpp:1572:5:1572:13 | Address | &:r1572_1 |
| ir.cpp:1572:12:1572:12 | Address | &:r1572_2 |
| ir.cpp:1572:12:1572:12 | Load | m1571_6 |
| ir.cpp:1572:12:1572:12 | Unary | r1572_3 |
| ir.cpp:1572:12:1572:12 | Unary | r1572_4 |
| ir.cpp:1575:60:1575:95 | Address | &:r1575_5 |
| ir.cpp:1575:60:1575:95 | Address | &:r1575_5 |
| ir.cpp:1575:60:1575:95 | Address | &:r1575_7 |
| ir.cpp:1575:60:1575:95 | Address | &:r1575_7 |
| ir.cpp:1575:60:1575:95 | Address | &:r1575_10 |
| ir.cpp:1575:60:1575:95 | ChiPartial | partial:m1575_3 |
| ir.cpp:1575:60:1575:95 | ChiTotal | total:m1575_2 |
| ir.cpp:1575:60:1575:95 | Load | m1575_6 |
| ir.cpp:1575:60:1575:95 | Load | m1576_8 |
| ir.cpp:1575:60:1575:95 | SideEffect | m1575_3 |
| ir.cpp:1575:60:1575:95 | SideEffect | m1575_8 |
| ir.cpp:1576:5:1576:13 | Address | &:r1576_1 |
| ir.cpp:1576:12:1576:12 | Address | &:r1576_2 |
| ir.cpp:1576:12:1576:12 | Address | &:r1576_4 |
| ir.cpp:1576:12:1576:12 | Load | m1575_6 |
| ir.cpp:1576:12:1576:12 | Load | ~m1575_8 |
| ir.cpp:1576:12:1576:12 | StoreValue | r1576_7 |
| ir.cpp:1576:12:1576:12 | Unary | r1576_3 |
| ir.cpp:1576:12:1576:12 | Unary | r1576_5 |
| ir.cpp:1576:12:1576:12 | Unary | r1576_6 |
| ir.cpp:1579:6:1579:37 | ChiPartial | partial:m1579_3 |
| ir.cpp:1579:6:1579:37 | ChiTotal | total:m1579_2 |
| ir.cpp:1579:6:1579:37 | SideEffect | ~m1600_6 |
| ir.cpp:1580:34:1580:34 | Address | &:r1580_1 |
| ir.cpp:1580:34:1580:34 | Address | &:r1580_1 |
| ir.cpp:1580:34:1580:34 | Arg(this) | this:r1580_1 |
| ir.cpp:1580:34:1580:34 | CallTarget | func:r1580_3 |
| ir.cpp:1580:34:1580:34 | ChiPartial | partial:m1580_5 |
| ir.cpp:1580:34:1580:34 | ChiPartial | partial:m1580_7 |
| ir.cpp:1580:34:1580:34 | ChiTotal | total:m1579_4 |
| ir.cpp:1580:34:1580:34 | ChiTotal | total:m1580_2 |
| ir.cpp:1580:34:1580:34 | SideEffect | ~m1579_4 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_1 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_6 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_6 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_18 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_18 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_30 |
| ir.cpp:1583:14:1583:14 | Address | &:r1583_30 |
| ir.cpp:1583:14:1583:14 | Arg(this) | this:r1583_6 |
| ir.cpp:1583:14:1583:14 | Arg(this) | this:r1583_18 |
| ir.cpp:1583:14:1583:14 | Arg(this) | this:r1583_30 |
| ir.cpp:1583:14:1583:14 | CallTarget | func:r1583_7 |
| ir.cpp:1583:14:1583:14 | CallTarget | func:r1583_19 |
| ir.cpp:1583:14:1583:14 | CallTarget | func:r1583_31 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_9 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_12 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_21 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_24 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_33 |
| ir.cpp:1583:14:1583:14 | ChiPartial | partial:m1583_36 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1580_6 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1583_4 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1583_10 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1583_13 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1583_22 |
| ir.cpp:1583:14:1583:14 | ChiTotal | total:m1583_25 |
| ir.cpp:1583:14:1583:14 | SideEffect | m1583_4 |
| ir.cpp:1583:14:1583:14 | SideEffect | m1583_13 |
| ir.cpp:1583:14:1583:14 | SideEffect | m1583_25 |
| ir.cpp:1583:14:1583:14 | SideEffect | ~m1580_6 |
| ir.cpp:1583:14:1583:14 | SideEffect | ~m1583_10 |
| ir.cpp:1583:14:1583:14 | SideEffect | ~m1583_22 |
| ir.cpp:1583:14:1583:14 | Unary | r1583_8 |
| ir.cpp:1583:14:1583:14 | Unary | r1583_20 |
| ir.cpp:1583:14:1583:14 | Unary | r1583_32 |
| ir.cpp:1583:14:1583:27 | StoreValue | r1583_15 |
| ir.cpp:1583:14:1583:27 | StoreValue | r1583_27 |
| ir.cpp:1583:14:1583:27 | StoreValue | r1583_39 |
| ir.cpp:1583:14:1583:27 | Unary | r1583_14 |
| ir.cpp:1583:14:1583:27 | Unary | r1583_26 |
| ir.cpp:1583:14:1583:27 | Unary | r1583_38 |
| ir.cpp:1583:15:1583:15 | Address | &:r1583_5 |
| ir.cpp:1583:18:1583:18 | Address | &:r1583_17 |
| ir.cpp:1583:21:1583:21 | Address | &:r1583_29 |
| ir.cpp:1583:26:1583:26 | Address | &:r1583_2 |
| ir.cpp:1583:26:1583:26 | Load | m1580_8 |
| ir.cpp:1583:26:1583:26 | StoreValue | r1583_3 |
| ir.cpp:1584:9:1584:9 | Address | &:r1584_2 |
| ir.cpp:1584:9:1584:9 | Address | &:r1584_4 |
| ir.cpp:1584:9:1584:9 | Load | m1583_28 |
| ir.cpp:1584:9:1584:9 | Unary | r1584_3 |
| ir.cpp:1584:9:1584:15 | ChiPartial | partial:m1584_5 |
| ir.cpp:1584:9:1584:15 | ChiTotal | total:m1583_37 |
| ir.cpp:1584:13:1584:15 | StoreValue | r1584_1 |
| ir.cpp:1585:17:1585:18 | Address | &:r1585_1 |
| ir.cpp:1585:22:1585:22 | Address | &:r1585_2 |
| ir.cpp:1585:22:1585:22 | Load | m1583_28 |
| ir.cpp:1585:22:1585:22 | StoreValue | r1585_5 |
| ir.cpp:1585:22:1585:22 | Unary | r1585_3 |
| ir.cpp:1585:22:1585:22 | Unary | r1585_4 |
| ir.cpp:1586:13:1586:13 | Address | &:r1586_1 |
| ir.cpp:1586:17:1586:17 | Address | &:r1586_2 |
| ir.cpp:1586:17:1586:17 | Address | &:r1586_3 |
| ir.cpp:1586:17:1586:17 | Load | m1583_16 |
| ir.cpp:1586:17:1586:17 | Load | ~m1583_37 |
| ir.cpp:1586:17:1586:17 | StoreValue | r1586_4 |
| ir.cpp:1587:9:1587:9 | Address | &:r1587_2 |
| ir.cpp:1587:9:1587:9 | Address | &:r1587_4 |
| ir.cpp:1587:9:1587:9 | Load | m1583_40 |
| ir.cpp:1587:9:1587:9 | Unary | r1587_3 |
| ir.cpp:1587:9:1587:13 | ChiPartial | partial:m1587_5 |
| ir.cpp:1587:9:1587:13 | ChiTotal | total:m1583_34 |
| ir.cpp:1587:13:1587:13 | StoreValue | r1587_1 |
| ir.cpp:1588:14:1588:15 | Address | &:r1588_1 |
| ir.cpp:1588:19:1588:19 | Address | &:r1588_2 |
| ir.cpp:1588:19:1588:19 | Load | m1583_40 |
| ir.cpp:1588:19:1588:19 | StoreValue | r1588_5 |
| ir.cpp:1588:19:1588:19 | Unary | r1588_3 |
| ir.cpp:1588:19:1588:19 | Unary | r1588_4 |
| ir.cpp:1589:13:1589:13 | Address | &:r1589_1 |
| ir.cpp:1589:17:1589:17 | Address | &:r1589_2 |
| ir.cpp:1589:17:1589:17 | Address | &:r1589_3 |
| ir.cpp:1589:17:1589:17 | Load | m1583_40 |
| ir.cpp:1589:17:1589:17 | Load | ~m1587_6 |
| ir.cpp:1589:17:1589:17 | StoreValue | r1589_4 |
| ir.cpp:1593:14:1593:35 | Address | &:r1593_1 |
| ir.cpp:1593:39:1593:39 | Address | &:r1593_2 |
| ir.cpp:1593:39:1593:39 | Load | m1580_8 |
| ir.cpp:1593:39:1593:39 | StoreValue | r1593_3 |
| ir.cpp:1594:15:1594:15 | Address | &:r1594_1 |
| ir.cpp:1594:19:1594:40 | Address | &:r1594_2 |
| ir.cpp:1594:19:1594:40 | Address | &:r1594_2 |
| ir.cpp:1594:19:1594:40 | Arg(this) | this:r1594_2 |
| ir.cpp:1594:19:1594:40 | ChiPartial | partial:m1594_8 |
| ir.cpp:1594:19:1594:40 | ChiTotal | total:m1593_4 |
| ir.cpp:1594:19:1594:40 | SideEffect | m1593_4 |
| ir.cpp:1594:42:1594:47 | CallTarget | func:r1594_3 |
| ir.cpp:1594:42:1594:47 | ChiPartial | partial:m1594_5 |
| ir.cpp:1594:42:1594:47 | ChiTotal | total:m1587_6 |
| ir.cpp:1594:42:1594:47 | SideEffect | ~m1587_6 |
| ir.cpp:1594:42:1594:47 | Unary | r1594_4 |
| ir.cpp:1594:42:1594:50 | StoreValue | r1594_11 |
| ir.cpp:1594:42:1594:50 | Unary | r1594_10 |
| ir.cpp:1595:15:1595:15 | Address | &:r1595_1 |
| ir.cpp:1595:19:1595:40 | Address | &:r1595_2 |
| ir.cpp:1595:19:1595:40 | Address | &:r1595_2 |
| ir.cpp:1595:19:1595:40 | Arg(this) | this:r1595_2 |
| ir.cpp:1595:19:1595:40 | ChiPartial | partial:m1595_8 |
| ir.cpp:1595:19:1595:40 | ChiTotal | total:m1594_9 |
| ir.cpp:1595:19:1595:40 | SideEffect | m1594_9 |
| ir.cpp:1595:42:1595:47 | CallTarget | func:r1595_3 |
| ir.cpp:1595:42:1595:47 | ChiPartial | partial:m1595_5 |
| ir.cpp:1595:42:1595:47 | ChiTotal | total:m1594_6 |
| ir.cpp:1595:42:1595:47 | SideEffect | ~m1594_6 |
| ir.cpp:1595:42:1595:47 | Unary | r1595_4 |
| ir.cpp:1595:42:1595:50 | StoreValue | r1595_11 |
| ir.cpp:1595:42:1595:50 | Unary | r1595_10 |
| ir.cpp:1596:15:1596:15 | Address | &:r1596_1 |
| ir.cpp:1596:19:1596:40 | Address | &:r1596_2 |
| ir.cpp:1596:19:1596:40 | Address | &:r1596_2 |
| ir.cpp:1596:19:1596:40 | Arg(this) | this:r1596_2 |
| ir.cpp:1596:19:1596:40 | ChiPartial | partial:m1596_8 |
| ir.cpp:1596:19:1596:40 | ChiTotal | total:m1595_9 |
| ir.cpp:1596:19:1596:40 | SideEffect | m1595_9 |
| ir.cpp:1596:42:1596:47 | CallTarget | func:r1596_3 |
| ir.cpp:1596:42:1596:47 | ChiPartial | partial:m1596_5 |
| ir.cpp:1596:42:1596:47 | ChiTotal | total:m1595_6 |
| ir.cpp:1596:42:1596:47 | SideEffect | ~m1595_6 |
| ir.cpp:1596:42:1596:47 | Unary | r1596_4 |
| ir.cpp:1596:42:1596:50 | StoreValue | r1596_11 |
| ir.cpp:1596:42:1596:50 | Unary | r1596_10 |
| ir.cpp:1597:9:1597:9 | Address | &:r1597_2 |
| ir.cpp:1597:9:1597:9 | Address | &:r1597_4 |
| ir.cpp:1597:9:1597:9 | Load | m1595_12 |
| ir.cpp:1597:9:1597:9 | Unary | r1597_3 |
| ir.cpp:1597:9:1597:15 | ChiPartial | partial:m1597_5 |
| ir.cpp:1597:9:1597:15 | ChiTotal | total:m1596_9 |
| ir.cpp:1597:13:1597:15 | StoreValue | r1597_1 |
| ir.cpp:1598:17:1598:18 | Address | &:r1598_1 |
| ir.cpp:1598:22:1598:22 | Address | &:r1598_2 |
| ir.cpp:1598:22:1598:22 | Load | m1595_12 |
| ir.cpp:1598:22:1598:22 | StoreValue | r1598_5 |
| ir.cpp:1598:22:1598:22 | Unary | r1598_3 |
| ir.cpp:1598:22:1598:22 | Unary | r1598_4 |
| ir.cpp:1599:13:1599:13 | Address | &:r1599_1 |
| ir.cpp:1599:17:1599:17 | Address | &:r1599_2 |
| ir.cpp:1599:17:1599:17 | Address | &:r1599_3 |
| ir.cpp:1599:17:1599:17 | Load | m1594_12 |
| ir.cpp:1599:17:1599:17 | Load | ~m1596_9 |
| ir.cpp:1599:17:1599:17 | StoreValue | r1599_4 |
| ir.cpp:1600:9:1600:9 | Address | &:r1600_2 |
| ir.cpp:1600:9:1600:9 | Address | &:r1600_4 |
| ir.cpp:1600:9:1600:9 | Load | m1596_12 |
| ir.cpp:1600:9:1600:9 | Unary | r1600_3 |
| ir.cpp:1600:9:1600:13 | ChiPartial | partial:m1600_5 |
| ir.cpp:1600:9:1600:13 | ChiTotal | total:m1596_6 |
| ir.cpp:1600:13:1600:13 | StoreValue | r1600_1 |
| ir.cpp:1601:14:1601:15 | Address | &:r1601_1 |
| ir.cpp:1601:19:1601:19 | Address | &:r1601_2 |
| ir.cpp:1601:19:1601:19 | Load | m1596_12 |
| ir.cpp:1601:19:1601:19 | StoreValue | r1601_5 |
| ir.cpp:1601:19:1601:19 | Unary | r1601_3 |
| ir.cpp:1601:19:1601:19 | Unary | r1601_4 |
| ir.cpp:1602:13:1602:13 | Address | &:r1602_1 |
| ir.cpp:1602:17:1602:17 | Address | &:r1602_2 |
| ir.cpp:1602:17:1602:17 | Address | &:r1602_3 |
| ir.cpp:1602:17:1602:17 | Load | m1596_12 |
| ir.cpp:1602:17:1602:17 | Load | ~m1600_6 |
| ir.cpp:1602:17:1602:17 | StoreValue | r1602_4 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_5 |
| perf-regression.cpp:6:3:6:5 | Address | &:r6_7 |

444
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -8194,233 +8194,233 @@ ir.cpp:
# 1499| v1499_5(void) = AliasedUse : ~m?
# 1499| v1499_6(void) = ExitFunction :
# 1557| void StructuredBindingTuple::StructuredBindingTuple()
# 1557| Block 0
# 1557| v1557_1(void) = EnterFunction :
# 1557| mu1557_2(unknown) = AliasedDefinition :
# 1557| mu1557_3(unknown) = InitializeNonLocal :
# 1557| r1557_4(glval<unknown>) = VariableAddress[#this] :
# 1557| mu1557_5(glval<StructuredBindingTuple>) = InitializeParameter[#this] : &:r1557_4
# 1557| r1557_6(glval<StructuredBindingTuple>) = Load[#this] : &:r1557_4, ~m?
# 1557| mu1557_7(StructuredBindingTuple) = InitializeIndirection[#this] : &:r1557_6
# 1557| v1557_8(void) = NoOp :
# 1557| v1557_9(void) = ReturnIndirection[#this] : &:r1557_6, ~m?
# 1557| v1557_10(void) = ReturnVoid :
# 1557| v1557_11(void) = AliasedUse : ~m?
# 1557| v1557_12(void) = ExitFunction :
# 1539| void StructuredBindingTupleRefGet::StructuredBindingTupleRefGet()
# 1539| Block 0
# 1539| v1539_1(void) = EnterFunction :
# 1539| mu1539_2(unknown) = AliasedDefinition :
# 1539| mu1539_3(unknown) = InitializeNonLocal :
# 1539| r1539_4(glval<unknown>) = VariableAddress[#this] :
# 1539| mu1539_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1539_4
# 1539| r1539_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1539_4, ~m?
# 1539| mu1539_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1539_6
# 1539| v1539_8(void) = NoOp :
# 1539| v1539_9(void) = ReturnIndirection[#this] : &:r1539_6, ~m?
# 1539| v1539_10(void) = ReturnVoid :
# 1539| v1539_11(void) = AliasedUse : ~m?
# 1539| v1539_12(void) = ExitFunction :
# 1567| std::tuple_element<int 0, StructuredBindingTuple>::type& StructuredBindingTuple::get<int 0>()
# 1567| std::tuple_element<int 0, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<int 0>()
# 1567| Block 0
# 1567| v1567_1(void) = EnterFunction :
# 1567| mu1567_2(unknown) = AliasedDefinition :
# 1567| mu1567_3(unknown) = InitializeNonLocal :
# 1567| r1567_4(glval<unknown>) = VariableAddress[#this] :
# 1567| mu1567_5(glval<StructuredBindingTuple>) = InitializeParameter[#this] : &:r1567_4
# 1567| r1567_6(glval<StructuredBindingTuple>) = Load[#this] : &:r1567_4, ~m?
# 1567| mu1567_7(StructuredBindingTuple) = InitializeIndirection[#this] : &:r1567_6
# 1567| r1567_8(glval<int &>) = VariableAddress[#return] :
# 1567| r1567_9(glval<unknown>) = VariableAddress[#this] :
# 1567| r1567_10(StructuredBindingTuple *) = Load[#this] : &:r1567_9, ~m?
# 1567| r1567_11(glval<int>) = FieldAddress[i] : r1567_10
#-----| r0_1(int &) = CopyValue : r1567_11
#-----| mu0_2(int &) = Store[#return] : &:r1567_8, r0_1
# 1567| v1567_12(void) = ReturnIndirection[#this] : &:r1567_6, ~m?
# 1567| r1567_13(glval<int &>) = VariableAddress[#return] :
# 1567| v1567_14(void) = ReturnValue : &:r1567_13, ~m?
# 1567| v1567_15(void) = AliasedUse : ~m?
# 1567| v1567_16(void) = ExitFunction :
# 1567| v1567_1(void) = EnterFunction :
# 1567| mu1567_2(unknown) = AliasedDefinition :
# 1567| mu1567_3(unknown) = InitializeNonLocal :
# 1567| r1567_4(glval<unknown>) = VariableAddress[#this] :
# 1567| mu1567_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1567_4
# 1567| r1567_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1567_4, ~m?
# 1567| mu1567_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1567_6
# 1568| r1568_1(glval<int &>) = VariableAddress[#return] :
# 1568| r1568_2(glval<unknown>) = VariableAddress[#this] :
# 1568| r1568_3(StructuredBindingTupleRefGet *) = Load[#this] : &:r1568_2, ~m?
# 1568| r1568_4(glval<int>) = FieldAddress[i] : r1568_3
#-----| r0_1(int &) = CopyValue : r1568_4
#-----| mu0_2(int &) = Store[#return] : &:r1568_1, r0_1
# 1567| v1567_8(void) = ReturnIndirection[#this] : &:r1567_6, ~m?
# 1567| r1567_9(glval<int &>) = VariableAddress[#return] :
# 1567| v1567_10(void) = ReturnValue : &:r1567_9, ~m?
# 1567| v1567_11(void) = AliasedUse : ~m?
# 1567| v1567_12(void) = ExitFunction :
# 1569| std::tuple_element<int 1, StructuredBindingTuple>::type& StructuredBindingTuple::get<int 1>()
# 1569| Block 0
# 1569| v1569_1(void) = EnterFunction :
# 1569| mu1569_2(unknown) = AliasedDefinition :
# 1569| mu1569_3(unknown) = InitializeNonLocal :
# 1569| r1569_4(glval<unknown>) = VariableAddress[#this] :
# 1569| mu1569_5(glval<StructuredBindingTuple>) = InitializeParameter[#this] : &:r1569_4
# 1569| r1569_6(glval<StructuredBindingTuple>) = Load[#this] : &:r1569_4, ~m?
# 1569| mu1569_7(StructuredBindingTuple) = InitializeIndirection[#this] : &:r1569_6
# 1569| r1569_8(glval<double &>) = VariableAddress[#return] :
# 1569| r1569_9(glval<unknown>) = VariableAddress[#this] :
# 1569| r1569_10(StructuredBindingTuple *) = Load[#this] : &:r1569_9, ~m?
# 1569| r1569_11(glval<double>) = FieldAddress[d] : r1569_10
#-----| r0_1(double &) = CopyValue : r1569_11
#-----| mu0_2(double &) = Store[#return] : &:r1569_8, r0_1
# 1569| v1569_12(void) = ReturnIndirection[#this] : &:r1569_6, ~m?
# 1569| r1569_13(glval<double &>) = VariableAddress[#return] :
# 1569| v1569_14(void) = ReturnValue : &:r1569_13, ~m?
# 1569| v1569_15(void) = AliasedUse : ~m?
# 1569| v1569_16(void) = ExitFunction :
# 1571| std::tuple_element<int 2, StructuredBindingTuple>::type StructuredBindingTuple::get<int 2>()
# 1571| std::tuple_element<int 1, StructuredBindingTupleRefGet>::type& StructuredBindingTupleRefGet::get<int 1>()
# 1571| Block 0
# 1571| v1571_1(void) = EnterFunction :
# 1571| mu1571_2(unknown) = AliasedDefinition :
# 1571| mu1571_3(unknown) = InitializeNonLocal :
# 1571| r1571_4(glval<unknown>) = VariableAddress[#this] :
# 1571| mu1571_5(glval<StructuredBindingTuple>) = InitializeParameter[#this] : &:r1571_4
# 1571| r1571_6(glval<StructuredBindingTuple>) = Load[#this] : &:r1571_4, ~m?
# 1571| mu1571_7(StructuredBindingTuple) = InitializeIndirection[#this] : &:r1571_6
# 1571| r1571_8(glval<int &>) = VariableAddress[#return] :
# 1571| r1571_9(glval<unknown>) = VariableAddress[#this] :
# 1571| r1571_10(StructuredBindingTuple *) = Load[#this] : &:r1571_9, ~m?
# 1571| r1571_11(glval<int &>) = FieldAddress[r] : r1571_10
# 1571| r1571_12(int &) = Load[?] : &:r1571_11, ~m?
# 1571| r1571_13(glval<int>) = CopyValue : r1571_12
# 1571| r1571_14(int &) = CopyValue : r1571_13
# 1571| mu1571_15(int &) = Store[#return] : &:r1571_8, r1571_14
# 1571| v1571_16(void) = ReturnIndirection[#this] : &:r1571_6, ~m?
# 1571| r1571_17(glval<int &>) = VariableAddress[#return] :
# 1571| v1571_18(void) = ReturnValue : &:r1571_17, ~m?
# 1571| v1571_19(void) = AliasedUse : ~m?
# 1571| v1571_20(void) = ExitFunction :
# 1571| v1571_1(void) = EnterFunction :
# 1571| mu1571_2(unknown) = AliasedDefinition :
# 1571| mu1571_3(unknown) = InitializeNonLocal :
# 1571| r1571_4(glval<unknown>) = VariableAddress[#this] :
# 1571| mu1571_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1571_4
# 1571| r1571_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1571_4, ~m?
# 1571| mu1571_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1571_6
# 1572| r1572_1(glval<double &>) = VariableAddress[#return] :
# 1572| r1572_2(glval<unknown>) = VariableAddress[#this] :
# 1572| r1572_3(StructuredBindingTupleRefGet *) = Load[#this] : &:r1572_2, ~m?
# 1572| r1572_4(glval<double>) = FieldAddress[d] : r1572_3
#-----| r0_1(double &) = CopyValue : r1572_4
#-----| mu0_2(double &) = Store[#return] : &:r1572_1, r0_1
# 1571| v1571_8(void) = ReturnIndirection[#this] : &:r1571_6, ~m?
# 1571| r1571_9(glval<double &>) = VariableAddress[#return] :
# 1571| v1571_10(void) = ReturnValue : &:r1571_9, ~m?
# 1571| v1571_11(void) = AliasedUse : ~m?
# 1571| v1571_12(void) = ExitFunction :
# 1573| void tuple_structured_binding()
# 1573| Block 0
# 1573| v1573_1(void) = EnterFunction :
# 1573| mu1573_2(unknown) = AliasedDefinition :
# 1573| mu1573_3(unknown) = InitializeNonLocal :
# 1574| r1574_1(glval<StructuredBindingTuple>) = VariableAddress[t] :
# 1574| mu1574_2(StructuredBindingTuple) = Uninitialized[t] : &:r1574_1
# 1574| r1574_3(glval<unknown>) = FunctionAddress[StructuredBindingTuple] :
# 1574| v1574_4(void) = Call[StructuredBindingTuple] : func:r1574_3, this:r1574_1
# 1574| mu1574_5(unknown) = ^CallSideEffect : ~m?
# 1574| mu1574_6(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1574_1
# 1577| r1577_1(glval<StructuredBindingTuple>) = VariableAddress[(unnamed local variable)] :
# 1577| r1577_2(glval<StructuredBindingTuple>) = VariableAddress[t] :
# 1577| r1577_3(StructuredBindingTuple) = Load[t] : &:r1577_2, ~m?
# 1577| mu1577_4(StructuredBindingTuple) = Store[(unnamed local variable)] : &:r1577_1, r1577_3
# 1577| r1577_5(glval<int &>) = VariableAddress[i] :
# 1577| r1577_6(glval<StructuredBindingTuple>) = VariableAddress[(unnamed local variable)] :
# 1577| r1577_7(glval<unknown>) = FunctionAddress[get] :
# 1577| r1577_8(int &) = Call[get] : func:r1577_7, this:r1577_6
# 1577| mu1577_9(unknown) = ^CallSideEffect : ~m?
# 1577| v1577_10(void) = ^IndirectReadSideEffect[-1] : &:r1577_6, ~m?
# 1577| mu1577_11(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1577_6
# 1577| r1577_12(glval<int>) = CopyValue : r1577_8
# 1577| r1577_13(int &) = CopyValue : r1577_12
# 1577| mu1577_14(int &) = Store[i] : &:r1577_5, r1577_13
# 1577| r1577_15(glval<double &>) = VariableAddress[d] :
# 1577| r1577_16(glval<StructuredBindingTuple>) = VariableAddress[(unnamed local variable)] :
# 1577| r1577_17(glval<unknown>) = FunctionAddress[get] :
# 1577| r1577_18(double &) = Call[get] : func:r1577_17, this:r1577_16
# 1577| mu1577_19(unknown) = ^CallSideEffect : ~m?
# 1577| v1577_20(void) = ^IndirectReadSideEffect[-1] : &:r1577_16, ~m?
# 1577| mu1577_21(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1577_16
# 1577| r1577_22(glval<double>) = CopyValue : r1577_18
# 1577| r1577_23(double &) = CopyValue : r1577_22
# 1577| mu1577_24(double &) = Store[d] : &:r1577_15, r1577_23
# 1577| r1577_25(glval<int &>) = VariableAddress[r] :
# 1577| r1577_26(glval<StructuredBindingTuple>) = VariableAddress[(unnamed local variable)] :
# 1577| r1577_27(glval<unknown>) = FunctionAddress[get] :
# 1577| r1577_28(int &) = Call[get] : func:r1577_27, this:r1577_26
# 1577| mu1577_29(unknown) = ^CallSideEffect : ~m?
# 1577| v1577_30(void) = ^IndirectReadSideEffect[-1] : &:r1577_26, ~m?
# 1577| mu1577_31(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1577_26
# 1577| r1577_32(glval<int>) = CopyValue : r1577_28
# 1577| r1577_33(int &) = CopyValue : r1577_32
# 1577| mu1577_34(int &) = Store[r] : &:r1577_25, r1577_33
# 1578| r1578_1(double) = Constant[4.0] :
# 1578| r1578_2(glval<double &>) = VariableAddress[d] :
# 1578| r1578_3(double &) = Load[d] : &:r1578_2, ~m?
# 1578| r1578_4(glval<double>) = CopyValue : r1578_3
# 1578| mu1578_5(double) = Store[?] : &:r1578_4, r1578_1
# 1579| r1579_1(glval<double &>) = VariableAddress[rd] :
# 1579| r1579_2(glval<double &>) = VariableAddress[d] :
# 1579| r1579_3(double &) = Load[d] : &:r1579_2, ~m?
# 1579| r1579_4(glval<double>) = CopyValue : r1579_3
# 1579| r1579_5(double &) = CopyValue : r1579_4
# 1579| mu1579_6(double &) = Store[rd] : &:r1579_1, r1579_5
# 1580| r1580_1(glval<int>) = VariableAddress[v] :
# 1580| r1580_2(glval<int &>) = VariableAddress[i] :
# 1580| r1580_3(int &) = Load[i] : &:r1580_2, ~m?
# 1580| r1580_4(int) = Load[?] : &:r1580_3, ~m?
# 1580| mu1580_5(int) = Store[v] : &:r1580_1, r1580_4
# 1581| r1581_1(int) = Constant[5] :
# 1581| r1581_2(glval<int &>) = VariableAddress[r] :
# 1581| r1581_3(int &) = Load[r] : &:r1581_2, ~m?
# 1581| r1581_4(glval<int>) = CopyValue : r1581_3
# 1581| mu1581_5(int) = Store[?] : &:r1581_4, r1581_1
# 1582| r1582_1(glval<int &>) = VariableAddress[rr] :
# 1582| r1582_2(glval<int &>) = VariableAddress[r] :
# 1582| r1582_3(int &) = Load[r] : &:r1582_2, ~m?
# 1582| r1582_4(glval<int>) = CopyValue : r1582_3
# 1582| r1582_5(int &) = CopyValue : r1582_4
# 1582| mu1582_6(int &) = Store[rr] : &:r1582_1, r1582_5
# 1583| r1583_1(glval<int>) = VariableAddress[w] :
# 1583| r1583_2(glval<int &>) = VariableAddress[r] :
# 1583| r1583_3(int &) = Load[r] : &:r1583_2, ~m?
# 1583| r1583_4(int) = Load[?] : &:r1583_3, ~m?
# 1583| mu1583_5(int) = Store[w] : &:r1583_1, r1583_4
# 1587| r1587_1(glval<StructuredBindingTuple>) = VariableAddress[unnamed_local_variable] :
# 1587| r1587_2(glval<StructuredBindingTuple>) = VariableAddress[t] :
# 1587| r1587_3(StructuredBindingTuple) = Load[t] : &:r1587_2, ~m?
# 1587| mu1587_4(StructuredBindingTuple) = Store[unnamed_local_variable] : &:r1587_1, r1587_3
# 1588| r1588_1(glval<int &>) = VariableAddress[i] :
# 1588| r1588_2(glval<StructuredBindingTuple>) = VariableAddress[unnamed_local_variable] :
# 1588| r1588_3(glval<unknown>) = FunctionAddress[get] :
# 1588| r1588_4(int &) = Call[get] : func:r1588_3, this:r1588_2
# 1588| mu1588_5(unknown) = ^CallSideEffect : ~m?
# 1588| v1588_6(void) = ^IndirectReadSideEffect[-1] : &:r1588_2, ~m?
# 1588| mu1588_7(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1588_2
# 1588| r1588_8(glval<int>) = CopyValue : r1588_4
# 1588| r1588_9(int &) = CopyValue : r1588_8
# 1588| mu1588_10(int &) = Store[i] : &:r1588_1, r1588_9
# 1589| r1589_1(glval<double &>) = VariableAddress[d] :
# 1589| r1589_2(glval<StructuredBindingTuple>) = VariableAddress[unnamed_local_variable] :
# 1589| r1589_3(glval<unknown>) = FunctionAddress[get] :
# 1589| r1589_4(double &) = Call[get] : func:r1589_3, this:r1589_2
# 1589| mu1589_5(unknown) = ^CallSideEffect : ~m?
# 1589| v1589_6(void) = ^IndirectReadSideEffect[-1] : &:r1589_2, ~m?
# 1589| mu1589_7(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1589_2
# 1589| r1589_8(glval<double>) = CopyValue : r1589_4
# 1589| r1589_9(double &) = CopyValue : r1589_8
# 1589| mu1589_10(double &) = Store[d] : &:r1589_1, r1589_9
# 1590| r1590_1(glval<int &>) = VariableAddress[r] :
# 1590| r1590_2(glval<StructuredBindingTuple>) = VariableAddress[unnamed_local_variable] :
# 1590| r1590_3(glval<unknown>) = FunctionAddress[get] :
# 1590| r1590_4(int &) = Call[get] : func:r1590_3, this:r1590_2
# 1590| mu1590_5(unknown) = ^CallSideEffect : ~m?
# 1590| v1590_6(void) = ^IndirectReadSideEffect[-1] : &:r1590_2, ~m?
# 1590| mu1590_7(StructuredBindingTuple) = ^IndirectMayWriteSideEffect[-1] : &:r1590_2
# 1590| r1590_8(glval<int>) = CopyValue : r1590_4
# 1590| r1590_9(int &) = CopyValue : r1590_8
# 1590| mu1590_10(int &) = Store[r] : &:r1590_1, r1590_9
# 1591| r1591_1(double) = Constant[4.0] :
# 1591| r1591_2(glval<double &>) = VariableAddress[d] :
# 1591| r1591_3(double &) = Load[d] : &:r1591_2, ~m?
# 1591| r1591_4(glval<double>) = CopyValue : r1591_3
# 1591| mu1591_5(double) = Store[?] : &:r1591_4, r1591_1
# 1592| r1592_1(glval<double &>) = VariableAddress[rd] :
# 1592| r1592_2(glval<double &>) = VariableAddress[d] :
# 1592| r1592_3(double &) = Load[d] : &:r1592_2, ~m?
# 1592| r1592_4(glval<double>) = CopyValue : r1592_3
# 1592| r1592_5(double &) = CopyValue : r1592_4
# 1592| mu1592_6(double &) = Store[rd] : &:r1592_1, r1592_5
# 1593| r1593_1(glval<int>) = VariableAddress[v] :
# 1593| r1593_2(glval<int &>) = VariableAddress[i] :
# 1593| r1593_3(int &) = Load[i] : &:r1593_2, ~m?
# 1593| r1593_4(int) = Load[?] : &:r1593_3, ~m?
# 1593| mu1593_5(int) = Store[v] : &:r1593_1, r1593_4
# 1594| r1594_1(int) = Constant[5] :
# 1594| r1594_2(glval<int &>) = VariableAddress[r] :
# 1594| r1594_3(int &) = Load[r] : &:r1594_2, ~m?
# 1594| r1594_4(glval<int>) = CopyValue : r1594_3
# 1594| mu1594_5(int) = Store[?] : &:r1594_4, r1594_1
# 1595| r1595_1(glval<int &>) = VariableAddress[rr] :
# 1595| r1595_2(glval<int &>) = VariableAddress[r] :
# 1595| r1595_3(int &) = Load[r] : &:r1595_2, ~m?
# 1595| r1595_4(glval<int>) = CopyValue : r1595_3
# 1595| r1595_5(int &) = CopyValue : r1595_4
# 1595| mu1595_6(int &) = Store[rr] : &:r1595_1, r1595_5
# 1596| r1596_1(glval<int>) = VariableAddress[w] :
# 1596| r1596_2(glval<int &>) = VariableAddress[r] :
# 1596| r1596_3(int &) = Load[r] : &:r1596_2, ~m?
# 1596| r1596_4(int) = Load[?] : &:r1596_3, ~m?
# 1596| mu1596_5(int) = Store[w] : &:r1596_1, r1596_4
# 1598| v1598_1(void) = NoOp :
# 1573| v1573_4(void) = ReturnVoid :
# 1573| v1573_5(void) = AliasedUse : ~m?
# 1573| v1573_6(void) = ExitFunction :
# 1575| std::tuple_element<int 2, StructuredBindingTupleRefGet>::type StructuredBindingTupleRefGet::get<int 2>()
# 1575| Block 0
# 1575| v1575_1(void) = EnterFunction :
# 1575| mu1575_2(unknown) = AliasedDefinition :
# 1575| mu1575_3(unknown) = InitializeNonLocal :
# 1575| r1575_4(glval<unknown>) = VariableAddress[#this] :
# 1575| mu1575_5(glval<StructuredBindingTupleRefGet>) = InitializeParameter[#this] : &:r1575_4
# 1575| r1575_6(glval<StructuredBindingTupleRefGet>) = Load[#this] : &:r1575_4, ~m?
# 1575| mu1575_7(StructuredBindingTupleRefGet) = InitializeIndirection[#this] : &:r1575_6
# 1576| r1576_1(glval<int &>) = VariableAddress[#return] :
# 1576| r1576_2(glval<unknown>) = VariableAddress[#this] :
# 1576| r1576_3(StructuredBindingTupleRefGet *) = Load[#this] : &:r1576_2, ~m?
# 1576| r1576_4(glval<int &>) = FieldAddress[r] : r1576_3
# 1576| r1576_5(int &) = Load[?] : &:r1576_4, ~m?
# 1576| r1576_6(glval<int>) = CopyValue : r1576_5
# 1576| r1576_7(int &) = CopyValue : r1576_6
# 1576| mu1576_8(int &) = Store[#return] : &:r1576_1, r1576_7
# 1575| v1575_8(void) = ReturnIndirection[#this] : &:r1575_6, ~m?
# 1575| r1575_9(glval<int &>) = VariableAddress[#return] :
# 1575| v1575_10(void) = ReturnValue : &:r1575_9, ~m?
# 1575| v1575_11(void) = AliasedUse : ~m?
# 1575| v1575_12(void) = ExitFunction :
# 1579| void tuple_structured_binding_ref_get()
# 1579| Block 0
# 1579| v1579_1(void) = EnterFunction :
# 1579| mu1579_2(unknown) = AliasedDefinition :
# 1579| mu1579_3(unknown) = InitializeNonLocal :
# 1580| r1580_1(glval<StructuredBindingTupleRefGet>) = VariableAddress[t] :
# 1580| mu1580_2(StructuredBindingTupleRefGet) = Uninitialized[t] : &:r1580_1
# 1580| r1580_3(glval<unknown>) = FunctionAddress[StructuredBindingTupleRefGet] :
# 1580| v1580_4(void) = Call[StructuredBindingTupleRefGet] : func:r1580_3, this:r1580_1
# 1580| mu1580_5(unknown) = ^CallSideEffect : ~m?
# 1580| mu1580_6(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1580_1
# 1583| r1583_1(glval<StructuredBindingTupleRefGet>) = VariableAddress[(unnamed local variable)] :
# 1583| r1583_2(glval<StructuredBindingTupleRefGet>) = VariableAddress[t] :
# 1583| r1583_3(StructuredBindingTupleRefGet) = Load[t] : &:r1583_2, ~m?
# 1583| mu1583_4(StructuredBindingTupleRefGet) = Store[(unnamed local variable)] : &:r1583_1, r1583_3
# 1583| r1583_5(glval<int &>) = VariableAddress[i] :
# 1583| r1583_6(glval<StructuredBindingTupleRefGet>) = VariableAddress[(unnamed local variable)] :
# 1583| r1583_7(glval<unknown>) = FunctionAddress[get] :
# 1583| r1583_8(int &) = Call[get] : func:r1583_7, this:r1583_6
# 1583| mu1583_9(unknown) = ^CallSideEffect : ~m?
# 1583| v1583_10(void) = ^IndirectReadSideEffect[-1] : &:r1583_6, ~m?
# 1583| mu1583_11(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1583_6
# 1583| r1583_12(glval<int>) = CopyValue : r1583_8
# 1583| r1583_13(int &) = CopyValue : r1583_12
# 1583| mu1583_14(int &) = Store[i] : &:r1583_5, r1583_13
# 1583| r1583_15(glval<double &>) = VariableAddress[d] :
# 1583| r1583_16(glval<StructuredBindingTupleRefGet>) = VariableAddress[(unnamed local variable)] :
# 1583| r1583_17(glval<unknown>) = FunctionAddress[get] :
# 1583| r1583_18(double &) = Call[get] : func:r1583_17, this:r1583_16
# 1583| mu1583_19(unknown) = ^CallSideEffect : ~m?
# 1583| v1583_20(void) = ^IndirectReadSideEffect[-1] : &:r1583_16, ~m?
# 1583| mu1583_21(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1583_16
# 1583| r1583_22(glval<double>) = CopyValue : r1583_18
# 1583| r1583_23(double &) = CopyValue : r1583_22
# 1583| mu1583_24(double &) = Store[d] : &:r1583_15, r1583_23
# 1583| r1583_25(glval<int &>) = VariableAddress[r] :
# 1583| r1583_26(glval<StructuredBindingTupleRefGet>) = VariableAddress[(unnamed local variable)] :
# 1583| r1583_27(glval<unknown>) = FunctionAddress[get] :
# 1583| r1583_28(int &) = Call[get] : func:r1583_27, this:r1583_26
# 1583| mu1583_29(unknown) = ^CallSideEffect : ~m?
# 1583| v1583_30(void) = ^IndirectReadSideEffect[-1] : &:r1583_26, ~m?
# 1583| mu1583_31(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1583_26
# 1583| r1583_32(glval<int>) = CopyValue : r1583_28
# 1583| r1583_33(int &) = CopyValue : r1583_32
# 1583| mu1583_34(int &) = Store[r] : &:r1583_25, r1583_33
# 1584| r1584_1(double) = Constant[4.0] :
# 1584| r1584_2(glval<double &>) = VariableAddress[d] :
# 1584| r1584_3(double &) = Load[d] : &:r1584_2, ~m?
# 1584| r1584_4(glval<double>) = CopyValue : r1584_3
# 1584| mu1584_5(double) = Store[?] : &:r1584_4, r1584_1
# 1585| r1585_1(glval<double &>) = VariableAddress[rd] :
# 1585| r1585_2(glval<double &>) = VariableAddress[d] :
# 1585| r1585_3(double &) = Load[d] : &:r1585_2, ~m?
# 1585| r1585_4(glval<double>) = CopyValue : r1585_3
# 1585| r1585_5(double &) = CopyValue : r1585_4
# 1585| mu1585_6(double &) = Store[rd] : &:r1585_1, r1585_5
# 1586| r1586_1(glval<int>) = VariableAddress[v] :
# 1586| r1586_2(glval<int &>) = VariableAddress[i] :
# 1586| r1586_3(int &) = Load[i] : &:r1586_2, ~m?
# 1586| r1586_4(int) = Load[?] : &:r1586_3, ~m?
# 1586| mu1586_5(int) = Store[v] : &:r1586_1, r1586_4
# 1587| r1587_1(int) = Constant[5] :
# 1587| r1587_2(glval<int &>) = VariableAddress[r] :
# 1587| r1587_3(int &) = Load[r] : &:r1587_2, ~m?
# 1587| r1587_4(glval<int>) = CopyValue : r1587_3
# 1587| mu1587_5(int) = Store[?] : &:r1587_4, r1587_1
# 1588| r1588_1(glval<int &>) = VariableAddress[rr] :
# 1588| r1588_2(glval<int &>) = VariableAddress[r] :
# 1588| r1588_3(int &) = Load[r] : &:r1588_2, ~m?
# 1588| r1588_4(glval<int>) = CopyValue : r1588_3
# 1588| r1588_5(int &) = CopyValue : r1588_4
# 1588| mu1588_6(int &) = Store[rr] : &:r1588_1, r1588_5
# 1589| r1589_1(glval<int>) = VariableAddress[w] :
# 1589| r1589_2(glval<int &>) = VariableAddress[r] :
# 1589| r1589_3(int &) = Load[r] : &:r1589_2, ~m?
# 1589| r1589_4(int) = Load[?] : &:r1589_3, ~m?
# 1589| mu1589_5(int) = Store[w] : &:r1589_1, r1589_4
# 1593| r1593_1(glval<StructuredBindingTupleRefGet>) = VariableAddress[unnamed_local_variable] :
# 1593| r1593_2(glval<StructuredBindingTupleRefGet>) = VariableAddress[t] :
# 1593| r1593_3(StructuredBindingTupleRefGet) = Load[t] : &:r1593_2, ~m?
# 1593| mu1593_4(StructuredBindingTupleRefGet) = Store[unnamed_local_variable] : &:r1593_1, r1593_3
# 1594| r1594_1(glval<int &>) = VariableAddress[i] :
# 1594| r1594_2(glval<StructuredBindingTupleRefGet>) = VariableAddress[unnamed_local_variable] :
# 1594| r1594_3(glval<unknown>) = FunctionAddress[get] :
# 1594| r1594_4(int &) = Call[get] : func:r1594_3, this:r1594_2
# 1594| mu1594_5(unknown) = ^CallSideEffect : ~m?
# 1594| v1594_6(void) = ^IndirectReadSideEffect[-1] : &:r1594_2, ~m?
# 1594| mu1594_7(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1594_2
# 1594| r1594_8(glval<int>) = CopyValue : r1594_4
# 1594| r1594_9(int &) = CopyValue : r1594_8
# 1594| mu1594_10(int &) = Store[i] : &:r1594_1, r1594_9
# 1595| r1595_1(glval<double &>) = VariableAddress[d] :
# 1595| r1595_2(glval<StructuredBindingTupleRefGet>) = VariableAddress[unnamed_local_variable] :
# 1595| r1595_3(glval<unknown>) = FunctionAddress[get] :
# 1595| r1595_4(double &) = Call[get] : func:r1595_3, this:r1595_2
# 1595| mu1595_5(unknown) = ^CallSideEffect : ~m?
# 1595| v1595_6(void) = ^IndirectReadSideEffect[-1] : &:r1595_2, ~m?
# 1595| mu1595_7(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1595_2
# 1595| r1595_8(glval<double>) = CopyValue : r1595_4
# 1595| r1595_9(double &) = CopyValue : r1595_8
# 1595| mu1595_10(double &) = Store[d] : &:r1595_1, r1595_9
# 1596| r1596_1(glval<int &>) = VariableAddress[r] :
# 1596| r1596_2(glval<StructuredBindingTupleRefGet>) = VariableAddress[unnamed_local_variable] :
# 1596| r1596_3(glval<unknown>) = FunctionAddress[get] :
# 1596| r1596_4(int &) = Call[get] : func:r1596_3, this:r1596_2
# 1596| mu1596_5(unknown) = ^CallSideEffect : ~m?
# 1596| v1596_6(void) = ^IndirectReadSideEffect[-1] : &:r1596_2, ~m?
# 1596| mu1596_7(StructuredBindingTupleRefGet) = ^IndirectMayWriteSideEffect[-1] : &:r1596_2
# 1596| r1596_8(glval<int>) = CopyValue : r1596_4
# 1596| r1596_9(int &) = CopyValue : r1596_8
# 1596| mu1596_10(int &) = Store[r] : &:r1596_1, r1596_9
# 1597| r1597_1(double) = Constant[4.0] :
# 1597| r1597_2(glval<double &>) = VariableAddress[d] :
# 1597| r1597_3(double &) = Load[d] : &:r1597_2, ~m?
# 1597| r1597_4(glval<double>) = CopyValue : r1597_3
# 1597| mu1597_5(double) = Store[?] : &:r1597_4, r1597_1
# 1598| r1598_1(glval<double &>) = VariableAddress[rd] :
# 1598| r1598_2(glval<double &>) = VariableAddress[d] :
# 1598| r1598_3(double &) = Load[d] : &:r1598_2, ~m?
# 1598| r1598_4(glval<double>) = CopyValue : r1598_3
# 1598| r1598_5(double &) = CopyValue : r1598_4
# 1598| mu1598_6(double &) = Store[rd] : &:r1598_1, r1598_5
# 1599| r1599_1(glval<int>) = VariableAddress[v] :
# 1599| r1599_2(glval<int &>) = VariableAddress[i] :
# 1599| r1599_3(int &) = Load[i] : &:r1599_2, ~m?
# 1599| r1599_4(int) = Load[?] : &:r1599_3, ~m?
# 1599| mu1599_5(int) = Store[v] : &:r1599_1, r1599_4
# 1600| r1600_1(int) = Constant[5] :
# 1600| r1600_2(glval<int &>) = VariableAddress[r] :
# 1600| r1600_3(int &) = Load[r] : &:r1600_2, ~m?
# 1600| r1600_4(glval<int>) = CopyValue : r1600_3
# 1600| mu1600_5(int) = Store[?] : &:r1600_4, r1600_1
# 1601| r1601_1(glval<int &>) = VariableAddress[rr] :
# 1601| r1601_2(glval<int &>) = VariableAddress[r] :
# 1601| r1601_3(int &) = Load[r] : &:r1601_2, ~m?
# 1601| r1601_4(glval<int>) = CopyValue : r1601_3
# 1601| r1601_5(int &) = CopyValue : r1601_4
# 1601| mu1601_6(int &) = Store[rr] : &:r1601_1, r1601_5
# 1602| r1602_1(glval<int>) = VariableAddress[w] :
# 1602| r1602_2(glval<int &>) = VariableAddress[r] :
# 1602| r1602_3(int &) = Load[r] : &:r1602_2, ~m?
# 1602| r1602_4(int) = Load[?] : &:r1602_3, ~m?
# 1602| mu1602_5(int) = Store[w] : &:r1602_1, r1602_4
# 1604| v1604_1(void) = NoOp :
# 1579| v1579_4(void) = ReturnVoid :
# 1579| v1579_5(void) = AliasedUse : ~m?
# 1579| v1579_6(void) = ExitFunction :
perf-regression.cpp:
# 6| void Big::Big()