kumi 0.0.18 → 0.0.19

data/golden/hash_value/schema.kumi

@@ -0,0 +1,19 @@
+schema do
+  input do
+    array :users do
+      hash :user do
+        string :name
+        string :state
+      end
+    end
+  end
+
+  value :users, {
+    name: input.users.user.name,
+    state: input.users.user.state
+  }
+
+  trait :is_john, input.users.user.name == "John"
+
+  value :john_user, select(is_john, users, "NOT_JOHN")
+end

data/golden/hierarchical_complex/expected/ast.txt

@@ -0,0 +1,85 @@
+(Root
+  inputs: [
+    (InputDeclaration :regions :array
+      [
+        (InputDeclaration :region :hash
+          [
+            (InputDeclaration :offices :array
+              [
+                (InputDeclaration :office :hash
+                  [
+                    (InputDeclaration :teams :array
+                      [
+                        (InputDeclaration :team :hash
+                          [
+                            (InputDeclaration :performance_score :float)
+                            (InputDeclaration :employees :array
+                              [
+                                (InputDeclaration :employee :hash
+                                  [
+                                    (InputDeclaration :salary :float)
+                                    (InputDeclaration :rating :float)
+                                    (InputDeclaration :level :string)
+                                  ]
+                                )
+                              ]
+                            )
+                          ]
+                        )
+                      ]
+                    )
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :employee_bonus
+      (CascadeExpression
+        ((CallExpression :cascade_and
+        (DeclarationReference :high_performer)
+        (DeclarationReference :senior_level)
+        (DeclarationReference :top_team)
+      ) (CallExpression :multiply
+        (InputElementReference regions.region.offices.office.teams.team.employees.employee.salary)
+        (Literal 0.3)
+      ))
+        ((CallExpression :cascade_and
+        (DeclarationReference :high_performer)
+        (DeclarationReference :top_team)
+      ) (CallExpression :multiply
+        (InputElementReference regions.region.offices.office.teams.team.employees.employee.salary)
+        (Literal 0.2)
+      ))
+        ((Literal true) (CallExpression :multiply
+        (InputElementReference regions.region.offices.office.teams.team.employees.employee.salary)
+        (Literal 0.05)
+      ))
+      )
+    )
+  ]
+  traits: [
+    (TraitDeclaration :high_performer
+      (CallExpression :>=
+        (InputElementReference regions.region.offices.office.teams.team.employees.employee.rating)
+        (Literal 4.5)
+      )
+    )
+    (TraitDeclaration :senior_level
+      (CallExpression :==
+        (InputElementReference regions.region.offices.office.teams.team.employees.employee.level)
+        (Literal "senior")
+      )
+    )
+    (TraitDeclaration :top_team
+      (CallExpression :>=
+        (InputElementReference regions.region.offices.office.teams.team.performance_score)
+        (Literal 0.9)
+      )
+    )
+  ]
+)

data/golden/hierarchical_complex/expected/input_plan.txt

@@ -0,0 +1,23 @@
+regions: array (array) access_mode=element
+  └─> region: element_access
+  region: hash (hash)
+    └─> offices: property_access → array_loop
+    offices: array (array) access_mode=element
+      └─> office: element_access
+      office: hash (hash)
+        └─> teams: property_access → array_loop
+        teams: array (array) access_mode=element
+          └─> team: element_access
+          team: hash (hash)
+            └─> performance_score: property_access
+            └─> employees: property_access → array_loop
+            performance_score: float
+            employees: array (array) access_mode=element
+              └─> employee: element_access
+              employee: hash (hash)
+                └─> salary: property_access
+                └─> rating: property_access
+                └─> level: property_access
+                salary: float
+                rating: float
+                level: string

data/golden/hierarchical_complex/expected/lir_00_unoptimized.txt

@@ -0,0 +1,87 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t14 = const 4.5 :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t29 = const "senior" :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t41 = const 0.9 :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t55 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
+            %t56 = load_decl senior_level axes=[regions, offices, teams, employees] :: boolean
+            %t57 = load_decl top_team axes=[regions, offices, teams] :: boolean
+            %t58 = call core.and(%t56, %t57) :: boolean
+            %t59 = call core.and(%t55, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t61 = const 0.3 :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t63 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
+            %t64 = load_decl top_team axes=[regions, offices, teams] :: boolean
+            %t65 = call core.and(%t63, %t64) :: boolean
+            %t66 = load_field employees_el_53["salary"] :: float
+            %t67 = const 0.2 :: float
+            %t68 = call core.mul(%t66, %t67) :: float
+            %t69 = load_field employees_el_53["salary"] :: float
+            %t70 = const 0.05 :: float
+            %t71 = call core.mul(%t69, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,87 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t14 = const 4.5 :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t29 = const "senior" :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t41 = const 0.9 :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t55 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
+            %t56 = load_decl senior_level axes=[regions, offices, teams, employees] :: boolean
+            %t57 = load_decl top_team axes=[regions, offices, teams] :: boolean
+            %t58 = call core.and(%t56, %t57) :: boolean
+            %t59 = call core.and(%t55, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t61 = const 0.3 :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t63 = load_decl high_performer axes=[regions, offices, teams, employees] :: boolean
+            %t64 = load_decl top_team axes=[regions, offices, teams] :: boolean
+            %t65 = call core.and(%t63, %t64) :: boolean
+            %t66 = load_field employees_el_53["salary"] :: float
+            %t67 = const 0.2 :: float
+            %t68 = call core.mul(%t66, %t67) :: float
+            %t69 = load_field employees_el_53["salary"] :: float
+            %t70 = const 0.05 :: float
+            %t71 = call core.mul(%t69, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/lir_02_inlined.txt

@@ -0,0 +1,115 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t14 = const 4.5 :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t29 = const "senior" :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t41 = const 0.9 :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          %t88 = load_input "regions" :: array
+          %t89 = load_field regions_el_44["offices"] :: any
+          %t90 = load_field offices_el_47["teams"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t92 = const 0.9 :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          %t88 = load_input "regions" :: array
+          %t89 = load_field regions_el_44["offices"] :: any
+          %t90 = load_field offices_el_47["teams"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t92 = const 0.9 :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t74 = load_input "regions" :: array
+            %t75 = load_field regions_el_44["offices"] :: any
+            %t76 = load_field offices_el_47["teams"] :: any
+            %t77 = load_field teams_el_50["employees"] :: any
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t79 = const 4.5 :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t81 = load_input "regions" :: array
+            %t82 = load_field regions_el_44["offices"] :: any
+            %t83 = load_field offices_el_47["teams"] :: any
+            %t84 = load_field teams_el_50["employees"] :: any
+            %t85 = load_field employees_el_53["level"] :: string
+            %t86 = const "senior" :: string
+            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t58 = call core.and(%t87, %t93) :: boolean
+            %t59 = call core.and(%t80, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t61 = const 0.3 :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t74 = load_input "regions" :: array
+            %t75 = load_field regions_el_44["offices"] :: any
+            %t76 = load_field offices_el_47["teams"] :: any
+            %t77 = load_field teams_el_50["employees"] :: any
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t79 = const 4.5 :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t65 = call core.and(%t80, %t93) :: boolean
+            %t66 = load_field employees_el_53["salary"] :: float
+            %t67 = const 0.2 :: float
+            %t68 = call core.mul(%t66, %t67) :: float
+            %t69 = load_field employees_el_53["salary"] :: float
+            %t70 = const 0.05 :: float
+            %t71 = call core.mul(%t69, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/lir_03_cse.txt

@@ -0,0 +1,89 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t14 = const 4.5 :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t29 = const "senior" :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t41 = const 0.9 :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t92 = const 0.9 :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t79 = const 4.5 :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t85 = load_field employees_el_53["level"] :: string
+            %t86 = const "senior" :: string
+            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t58 = call core.and(%t87, %t93) :: boolean
+            %t59 = call core.and(%t80, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t61 = const 0.3 :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t65 = call core.and(%t80, %t93) :: boolean
+            %t67 = const 0.2 :: float
+            %t68 = call core.mul(%t60, %t67) :: float
+            %t70 = const 0.05 :: float
+            %t71 = call core.mul(%t60, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)

data/golden/hierarchical_complex/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,89 @@
+(LIR
+  (Declaration high_performer
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %t4 = load_field regions_el_2["offices"] :: any
+      loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
+        %t7 = load_field offices_el_5["teams"] :: any
+        loop teams id=L3 in %t7 as el=%teams_el_8, idx=%teams_i_9
+          %t10 = load_field teams_el_8["employees"] :: any
+          loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
+            %t13 = load_field employees_el_11["rating"] :: float
+            %t14 = const 4.5 :: float
+            %t15 = call core.gte(%t13, %t14) :: boolean
+            yield %t15
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration senior_level
+    %t16 = load_input "regions" :: array
+    loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
+      %t19 = load_field regions_el_17["offices"] :: any
+      loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
+        %t22 = load_field offices_el_20["teams"] :: any
+        loop teams id=L7 in %t22 as el=%teams_el_23, idx=%teams_i_24
+          %t25 = load_field teams_el_23["employees"] :: any
+          loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
+            %t28 = load_field employees_el_26["level"] :: string
+            %t29 = const "senior" :: string
+            %t30 = call core.eq(%t28, %t29) :: boolean
+            yield %t30
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration top_team
+    %t31 = load_input "regions" :: array
+    loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
+      %t34 = load_field regions_el_32["offices"] :: any
+      loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
+        %t37 = load_field offices_el_35["teams"] :: any
+        loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
+          %t40 = load_field teams_el_38["performance_score"] :: float
+          %t41 = const 0.9 :: float
+          %t42 = call core.gte(%t40, %t41) :: boolean
+          yield %t42
+        end_loop
+      end_loop
+    end_loop
+  )
+  (Declaration employee_bonus
+    %t43 = load_input "regions" :: array
+    loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
+      %t46 = load_field regions_el_44["offices"] :: any
+      loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
+        %t49 = load_field offices_el_47["teams"] :: any
+        loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
+          %t52 = load_field teams_el_50["employees"] :: any
+          %t91 = load_field teams_el_50["performance_score"] :: float
+          %t92 = const 0.9 :: float
+          %t93 = call core.gte(%t91, %t92) :: boolean
+          loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
+            %t78 = load_field employees_el_53["rating"] :: float
+            %t79 = const 4.5 :: float
+            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t85 = load_field employees_el_53["level"] :: string
+            %t86 = const "senior" :: string
+            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t58 = call core.and(%t87, %t93) :: boolean
+            %t59 = call core.and(%t80, %t58) :: boolean
+            %t60 = load_field employees_el_53["salary"] :: float
+            %t61 = const 0.3 :: float
+            %t62 = call core.mul(%t60, %t61) :: float
+            %t65 = call core.and(%t80, %t93) :: boolean
+            %t67 = const 0.2 :: float
+            %t68 = call core.mul(%t60, %t67) :: float
+            %t70 = const 0.05 :: float
+            %t71 = call core.mul(%t60, %t70) :: float
+            %t72 = select %t65, %t68, %t71 :: float
+            %t73 = select %t59, %t62, %t72 :: float
+            yield %t73
+          end_loop
+        end_loop
+      end_loop
+    end_loop
+  )
+)