@@ -394,7 +394,7 @@ func.func @WaitDelay(%arg0: !moore.time) {
394394
395395// CHECK-LABEL: func.func @FormatStrings
396396// CHECK-SAME: %arg0: !moore.format_string
397- func.func @FormatStrings (%arg0: !moore.format_string , %arg1: !moore.i42 ) {
397+ func.func @FormatStrings (%arg0: !moore.format_string , %arg1: !moore.i42 , %arg2: !moore.f32 , %arg3: !moore.f64 ) {
398398 // CHECK: moore.fmt.literal "hello"
399399 moore.fmt.literal " hello"
400400 // CHECK: moore.fmt.concat ()
@@ -421,6 +421,17 @@ func.func @FormatStrings(%arg0: !moore.format_string, %arg1: !moore.i42) {
421421 moore.fmt.int hex_lower %arg1 , align left , pad zero width 42 : i42
422422 // CHECK: moore.fmt.int hex_upper %arg1, align left, pad zero width 42 : i42
423423 moore.fmt.int hex_upper %arg1 , align left , pad zero width 42 : i42
424+
425+ // CHECK: moore.fmt.real float %arg2, align left : f32
426+ moore.fmt.real float %arg2 , align left : f32
427+ // CHECK: moore.fmt.real exponential %arg3, align left : f64
428+ moore.fmt.real exponential %arg3 , align left : f64
429+ // CHECK: moore.fmt.real general %arg3, align right {fieldWidth = 9 : i32, fracDigits = 8 : i32} : f64
430+ moore.fmt.real general %arg3 , align right {fieldWidth = 9 : i32 , fracDigits = 8 : i32 } : f64
431+ // CHECK: moore.fmt.real float %arg2, align right {fieldWidth = 12 : i32} : f32
432+ moore.fmt.real float %arg2 , align right {fieldWidth = 12 : i32 } : f32
433+ // CHECK: moore.fmt.real exponential %arg3, align right {fracDigits = 5 : i32} : f64
434+ moore.fmt.real exponential %arg3 , align right {fracDigits = 5 : i32 } : f64
424435 return
425436}
426437
0 commit comments