@@ -1162,71 +1162,73 @@ func.func @intflags_func(%arg0: i64, %arg1: i64) {
11621162 return
11631163}
11641164
1165- // CHECK-LABEL: check_denorm_modes
1165+ // CHECK-LABEL: check_denorm_modes(
1166+ // CHECK-SAME: %[[ARG0:.+]]: f32, %[[ARG1:.+]]: f32, %[[ARG2:.+]]: f32)
11661167func.func @check_denorm_modes (%arg0: f32 , %arg1: f32 , %arg2: f32 ) {
1168+ // CHECK: %[[CST:.+]] = arith.constant 1.401300e-45 : f32
11671169 %c_denorm = arith.constant 1.4e-45 : f32
11681170 // CHECK: %{{.+}} = arith.subf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
11691171 %sub_preserve_sign = arith.subf %arg0 , %c_denorm denormal <preserve_sign > : f32
11701172 // CHECK: %{{.+}} = arith.subf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
11711173 %sub_positive_zero = arith.subf %arg1 , %c_denorm denormal <positive_zero > : f32
1172- // CHECK: %{{.+}} = arith.subf %{{.+}} , %{{.+}} : f32
1174+ // CHECK: %{{.+}} = arith.subf %[[ARG2]] , %[[CST]] : f32
11731175 %sub_ieee = arith.subf %arg2 , %c_denorm denormal <ieee > : f32
11741176
11751177 // CHECK: %{{.+}} = arith.addf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
11761178 %add_preserve_sign = arith.addf %arg0 , %c_denorm denormal <preserve_sign > : f32
11771179 // CHECK: %{{.+}} = arith.addf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
11781180 %add_positive_zero = arith.addf %arg1 , %c_denorm denormal <positive_zero > : f32
1179- // CHECK: %{{.+}} = arith.addf %{{.+}} , %{{.+}} : f32
1181+ // CHECK: %{{.+}} = arith.addf %[[ARG2]] , %[[CST]] : f32
11801182 %add_ieee = arith.addf %arg2 , %c_denorm denormal <ieee > : f32
11811183
11821184 // CHECK: %{{.+}} = arith.mulf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
11831185 %mul_preserve_sign = arith.mulf %arg0 , %c_denorm denormal <preserve_sign > : f32
11841186 // CHECK: %{{.+}} = arith.mulf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
11851187 %mul_positive_zero = arith.mulf %arg1 , %c_denorm denormal <positive_zero > : f32
1186- // CHECK: %{{.+}} = arith.mulf %{{.+}} , %{{.+}} : f32
1188+ // CHECK: %{{.+}} = arith.mulf %[[ARG2]] , %[[CST]] : f32
11871189 %mul_ieee = arith.mulf %arg2 , %c_denorm denormal <ieee > : f32
11881190
11891191 // CHECK: %{{.+}} = arith.divf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
11901192 %div_preserve_sign = arith.divf %arg0 , %c_denorm denormal <preserve_sign > : f32
11911193 // CHECK: %{{.+}} = arith.divf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
11921194 %div_positive_zero = arith.divf %arg1 , %c_denorm denormal <positive_zero > : f32
1193- // CHECK: %{{.+}} = arith.divf %{{.+}} , %{{.+}} : f32
1195+ // CHECK: %{{.+}} = arith.divf %[[ARG2]] , %[[CST]] : f32
11941196 %div_ieee = arith.divf %arg2 , %c_denorm denormal <ieee > : f32
11951197
11961198 // CHECK: %{{.+}} = arith.maximumf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
11971199 %maximumf_preserve_sign = arith.maximumf %arg0 , %c_denorm denormal <preserve_sign > : f32
11981200 // CHECK: %{{.+}} = arith.maximumf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
11991201 %maximumf_positive_zero = arith.maximumf %arg1 , %c_denorm denormal <positive_zero > : f32
1200- // CHECK: %{{.+}} = arith.maximumf %{{.+}} , %{{.+}} : f32
1202+ // CHECK: %{{.+}} = arith.maximumf %[[ARG2]] , %[[CST]] : f32
12011203 %maximumf_ieee = arith.maximumf %arg2 , %c_denorm denormal <ieee > : f32
12021204
12031205 // CHECK: %{{.+}} = arith.maxnumf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
12041206 %maxnumf_preserve_sign = arith.maxnumf %arg0 , %c_denorm denormal <preserve_sign > : f32
12051207 // CHECK: %{{.+}} = arith.maxnumf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
12061208 %maxnumf_positive_zero = arith.maxnumf %arg1 , %c_denorm denormal <positive_zero > : f32
1207- // CHECK: %{{.+}} = arith.maxnumf %{{.+}} , %{{.+}} : f32
1209+ // CHECK: %{{.+}} = arith.maxnumf %[[ARG2]] , %[[CST]] : f32
12081210 %maxnumf_ieee = arith.maxnumf %arg2 , %c_denorm denormal <ieee > : f32
12091211
12101212 // CHECK: %{{.+}} = arith.minimumf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
12111213 %minimumf_preserve_sign = arith.minimumf %arg0 , %c_denorm denormal <preserve_sign > : f32
12121214 // CHECK: %{{.+}} = arith.minimumf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
12131215 %minimumf_positive_zero = arith.minimumf %arg1 , %c_denorm denormal <positive_zero > : f32
1214- // CHECK: %{{.+}} = arith.minimumf %{{.+}} , %{{.+}} : f32
1216+ // CHECK: %{{.+}} = arith.minimumf %[[ARG2]] , %[[CST]] : f32
12151217 %minimumf_ieee = arith.minimumf %arg2 , %c_denorm denormal <ieee > : f32
12161218
12171219 // CHECK: %{{.+}} = arith.minnumf %{{.+}}, %{{.+}} denormal<preserve_sign> : f32
12181220 %minnumf_preserve_sign = arith.minnumf %arg0 , %c_denorm denormal <preserve_sign > : f32
12191221 // CHECK: %{{.+}} = arith.minnumf %{{.+}}, %{{.+}} denormal<positive_zero> : f32
12201222 %minnumf_positive_zero = arith.minnumf %arg1 , %c_denorm denormal <positive_zero > : f32
1221- // CHECK: %{{.+}} = arith.minnumf %{{.+}} , %{{.+}} : f32
1223+ // CHECK: %{{.+}} = arith.minnumf %[[ARG2]] , %[[CST]] : f32
12221224 %minnumf_ieee = arith.minnumf %arg2 , %c_denorm denormal <ieee > : f32
12231225
12241226
12251227 // CHECK: %{{.+}} = arith.negf %{{.+}} denormal<preserve_sign> : f32
12261228 %negf_preserve_sign = arith.negf %arg0 denormal <preserve_sign > : f32
12271229 // CHECK: %{{.+}} = arith.negf %{{.+}} denormal<positive_zero> : f32
12281230 %negf_positive_sign = arith.negf %arg0 denormal <positive_zero > : f32
1229- // CHECK: %{{.+}} = arith.negf %{{.+}} : f32
1231+ // CHECK: %{{.+}} = arith.negf %[[ARG0]] : f32
12301232 %negf_ieee = arith.negf %arg0 denormal <ieee > : f32
12311233
12321234 return
0 commit comments