@@ -45,7 +45,10 @@ def testKnobOp(target):
4545 heads = tune .KnobOp (any_param , "coin" , options = [True , False ], selected = True )
4646 # CHECK: transform.tune.knob<"animal"> = "dog" from options = ["cat", "dog", unit] -> !transform.any_param
4747 tune .KnobOp (
48- any_param , name = "animal" , options = ["cat" , "dog" , ir .UnitAttr .get ()], selected = "dog"
48+ any_param ,
49+ name = "animal" ,
50+ options = ["cat" , "dog" , ir .UnitAttr .get ()],
51+ selected = "dog" ,
4952 )
5053 # CHECK: transform.tune.knob<"tile_size"> = 8 : i64 from options = [2, 4, 8, 16, 24, 32] -> !transform.any_param
5154 tune .KnobOp (any_param , "tile_size" , [2 , 4 , 8 , 16 , 24 , 32 ], selected = 8 )
@@ -71,13 +74,16 @@ def testKnobOp(target):
7174 selected = 4 ,
7275 )
7376
77+
7478# CHECK-LABEL: TEST: testAlternativesOp
7579@run
7680def testAlternativesOp (target ):
7781 any_param = transform .AnyParamType .get ()
7882
7983 # CHECK: %[[LEFT_OR_RIGHT_OUTCOME:.*]] = transform.tune.alternatives<"left_or_right"> -> !transform.any_param {
80- left_or_right = tune .AlternativesOp ([transform .AnyParamType .get ()], "left_or_right" , 2 )
84+ left_or_right = tune .AlternativesOp (
85+ [transform .AnyParamType .get ()], "left_or_right" , 2
86+ )
8187 with ir .InsertionPoint (left_or_right .alternatives [_left := 0 ].blocks [0 ]):
8288 # CHECK: %[[C0:.*]] = transform.param.constant 0
8389 i32_0 = ir .IntegerAttr .get (ir .IntegerType .get_signless (32 ), 0 )
@@ -95,7 +101,9 @@ def testAlternativesOp(target):
95101 outcome_of_left_or_right_decision = left_or_right .results [0 ]
96102
97103 # CHECK: transform.tune.alternatives<"fork_in_the_road"> selected_region = 0 -> !transform.any_param {
98- fork_in_the_road = tune .AlternativesOp ([transform .AnyParamType .get ()], "fork_in_the_road" , 2 , selected_region = 0 )
104+ fork_in_the_road = tune .AlternativesOp (
105+ [transform .AnyParamType .get ()], "fork_in_the_road" , 2 , selected_region = 0
106+ )
99107 with ir .InsertionPoint (fork_in_the_road .alternatives [_left := 0 ].blocks [0 ]):
100108 # CHECK: %[[C0:.*]] = transform.param.constant 0
101109 i32_0 = ir .IntegerAttr .get (ir .IntegerType .get_signless (32 ), 0 )
@@ -112,7 +120,12 @@ def testAlternativesOp(target):
112120 # CHECK-NEXT: }
113121
114122 # CHECK: transform.tune.alternatives<"left_or_right_as_before"> selected_region = %[[LEFT_OR_RIGHT_OUTCOME]] : !transform.any_param {
115- left_or_right_as_before = tune .AlternativesOp ([], "left_or_right_as_before" , 2 , selected_region = outcome_of_left_or_right_decision )
123+ left_or_right_as_before = tune .AlternativesOp (
124+ [],
125+ "left_or_right_as_before" ,
126+ 2 ,
127+ selected_region = outcome_of_left_or_right_decision ,
128+ )
116129 with ir .InsertionPoint (left_or_right_as_before .alternatives [_left := 0 ].blocks [0 ]):
117130 # CHECK: transform.param.constant 1337
118131 i32_1337 = ir .IntegerAttr .get (ir .IntegerType .get_signless (32 ), 1337 )
0 commit comments