1typedef  __INT16_TYPE__ s16;
2typedef  __INT32_TYPE__ s32;
3typedef  __INT64_TYPE__ s64;
4typedef __UINT16_TYPE__ u16;
5typedef __UINT32_TYPE__ u32;
6typedef __UINT64_TYPE__ u64;
7
8s64 s64s16(s64 a, s16 b) { a >>= b; return a; }
9s64 s64s32(s64 a, s32 b) { a >>= b; return a; }
10u64 u64s16(u64 a, s16 b) { a >>= b; return a; }
11u64 u64s32(u64 a, s32 b) { a >>= b; return a; }
12
13/*
14 * check-name: shift-assign2
15 * check-command: test-linearize -Wno-decl $file
16 *
17 * check-output-start
18s64s16:
19.L0:
20	<entry-point>
21	sext.32     %r2 <- (16) %arg2
22	zext.64     %r3 <- (32) %r2
23	asr.64      %r5 <- %arg1, %r3
24	ret.64      %r5
25
26
27s64s32:
28.L2:
29	<entry-point>
30	zext.64     %r9 <- (32) %arg2
31	asr.64      %r11 <- %arg1, %r9
32	ret.64      %r11
33
34
35u64s16:
36.L4:
37	<entry-point>
38	sext.32     %r15 <- (16) %arg2
39	zext.64     %r16 <- (32) %r15
40	lsr.64      %r18 <- %arg1, %r16
41	ret.64      %r18
42
43
44u64s32:
45.L6:
46	<entry-point>
47	zext.64     %r22 <- (32) %arg2
48	lsr.64      %r24 <- %arg1, %r22
49	ret.64      %r24
50
51
52 * check-output-end
53 */
54