run_dump_test "x86-64-property-4"
run_dump_test "x86-64-property-5"
run_dump_test "x86-64-property-6"
+ run_dump_test "x86-64-property-7"
+ run_dump_test "x86-64-property-8"
+ run_dump_test "x86-64-property-9"
if {[istarget "*-*-linux*"]} then {
run_dump_test "x86-64-align-branch-3"