@@ -589,7 +589,24 @@ TEST_F (representation_test, expansion_to_rtl)
(insn 10 6 11 2 (set (reg/i:SI 0 ax)
(reg:SI 88 [ <retval> ])) -1 (nil))
(insn 11 10 0 2 (use (reg/i:SI 0 ax)) -1 (nil))
- */
+
+ On cr16-elf I get this:
+ (note 4 1 2 2 [bb 2] NOTE_INSN_BASIC_BLOCK)
+ (insn 2 4 3 2 (set (reg:SI 24)
+ (reg/f:SI 16 virtual-incoming-args)) -1
+ (nil))
+ (note 3 2 6 2 NOTE_INSN_FUNCTION_BEG)
+ (insn 6 3 7 2 (set (reg:HI 22 [ _1 ])
+ (const_int 42 [0x2a])) -1
+ (nil))
+ (insn 7 6 11 2 (set (reg:HI 23 [ <retval> ])
+ (reg:HI 22 [ _1 ])) -1
+ (nil))
+ (insn 11 7 12 2 (set (reg/i:HI 0 r0)
+ (reg:HI 23 [ <retval> ])) -1
+ (nil))
+ (insn 12 11 0 2 (use (reg/i:HI 0 r0)) -1
+ (nil)). */
verify_three_block_rtl_cfg (fun);
/* Verify as much of the RTL as we can whilst avoiding
@@ -603,23 +620,6 @@ TEST_F (representation_test, expansion_to_rtl)
EXPECT_EQ (NOTE_INSN_BASIC_BLOCK, NOTE_KIND (insn));
EXPECT_EQ (bb2, NOTE_BASIC_BLOCK (insn));
- /* ...followed by a NOTE_INSN_FUNCTION_BEG... */
- insn = NEXT_INSN (insn);
- ASSERT_TRUE (insn != NULL);
- EXPECT_EQ (NOTE, insn->code);
- EXPECT_EQ (NOTE_INSN_FUNCTION_BEG, NOTE_KIND (insn));
-
- /* ...followed by a SET of a reg to the const value. */
- insn = NEXT_INSN (insn);
- ASSERT_TRUE (insn != NULL);
- EXPECT_EQ (INSN, insn->code);
- rtx pat = PATTERN (insn);
- ASSERT_TRUE (pat != NULL);
- EXPECT_EQ (SET, pat->code);
- EXPECT_EQ (REG, SET_DEST (pat)->code);
- EXPECT_EQ (CONST_INT, SET_SRC (pat)->code);
- EXPECT_EQ (42, INTVAL (SET_SRC (pat)));
-
/* ...etc; any further checks are likely to over-specify things
and run us into target dependencies. */
}