1; RUN: llc -mtriple=riscv32 -filetype=obj < %s | llvm-readelf -h - | FileCheck %s2 3; CHECK: Flags: 0x2, single-float ABI4 5!llvm.module.flags = !{!0}6!0 = !{i32 1, !"target-abi", !"ilp32f"}7
