[experimental] Run selected unknown builtins through llvmint

chrysn · chrysn · commit 3c2e8a786418 · 2022-01-17T12:06:24.000+01:00
See-Also: immunant#345
diff --git a/c2rust-transpile/src/translator/builtins.rs b/c2rust-transpile/src/translator/builtins.rs
@@ -618,6 +618,19 @@ impl<'c> Translation<'c> {
                 ))
             }
 
+            "__builtin_arm_get_fpscr" => Ok(WithStmts::new_val(mk().path_expr(vec![
+                "",
+                "llvmint",
+                "arm",
+                "get_fpscr",
+            ]))),
+            "__builtin_arm_set_fpscr" => Ok(WithStmts::new_val(mk().path_expr(vec![
+                "",
+                "llvmint",
+                "arm",
+                "set_fpscr",
+            ]))),
+
             _ => Err(format_translation_err!(self.ast_context.display_loc(src_loc), "Unimplemented builtin {}", builtin_name)),
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -618,6 +618,19 @@ impl<'c> Translation<'c> {`
`618`	`618`	`))`
`619`	`619`	`}`
`620`	`620`
	`621`	`+ "__builtin_arm_get_fpscr" => Ok(WithStmts::new_val(mk().path_expr(vec![`
	`622`	`+ "",`
	`623`	`+ "llvmint",`
	`624`	`+ "arm",`
	`625`	`+ "get_fpscr",`
	`626`	`+ ]))),`
	`627`	`+ "__builtin_arm_set_fpscr" => Ok(WithStmts::new_val(mk().path_expr(vec![`
	`628`	`+ "",`
	`629`	`+ "llvmint",`
	`630`	`+ "arm",`
	`631`	`+ "set_fpscr",`
	`632`	`+ ]))),`
	`633`	`+`
`621`	`634`	`_ => Err(format_translation_err!(self.ast_context.display_loc(src_loc), "Unimplemented builtin {}", builtin_name)),`
`622`	`635`	`}`
`623`	`636`	`}`