blob: 31bcee6bc811f7a093af3ca65abd26935a31f21f [file] [log] [blame]
Dan Gohmanfce288f2009-09-09 00:09:15 +00001; RUN: llc < %s -march=ppc32 | not grep {extsh\\|rlwinm}
Chris Lattnerc7307062005-08-31 18:19:50 +00002
Reid Spencer9445e9a2007-07-19 23:13:04 +00003declare i16 @foo() signext
Chris Lattnerc7d855e2006-02-28 06:54:19 +00004
Reid Spencer9445e9a2007-07-19 23:13:04 +00005define i32 @test1(i16 signext %X) {
Reid Spencerbf895532007-01-05 18:34:20 +00006 %Y = sext i16 %X to i32 ;; dead
7 ret i32 %Y
Chris Lattnerc7307062005-08-31 18:19:50 +00008}
9
Reid Spencer9445e9a2007-07-19 23:13:04 +000010define i32 @test2(i16 zeroext %X) {
Reid Spencerbf895532007-01-05 18:34:20 +000011 %Y = sext i16 %X to i32
12 %Z = and i32 %Y, 65535 ;; dead
13 ret i32 %Z
Chris Lattnerc7307062005-08-31 18:19:50 +000014}
Chris Lattner9832ce02005-09-01 23:43:58 +000015
Reid Spencere3ff5ad2007-01-26 08:25:06 +000016define void @test3() {
Reid Spencer9445e9a2007-07-19 23:13:04 +000017 %tmp.0 = call i16 @foo() signext ;; no extsh!
Reid Spencerbf895532007-01-05 18:34:20 +000018 %tmp.1 = icmp slt i16 %tmp.0, 1234
Reid Spencer737ec512007-01-13 05:06:52 +000019 br i1 %tmp.1, label %then, label %UnifiedReturnBlock
Chris Lattner9832ce02005-09-01 23:43:58 +000020
21then:
Reid Spencer9445e9a2007-07-19 23:13:04 +000022 call i32 @test1(i16 0 signext)
Chris Lattner9832ce02005-09-01 23:43:58 +000023 ret void
24UnifiedReturnBlock:
25 ret void
26}
27
Reid Spencere3ff5ad2007-01-26 08:25:06 +000028define i32 @test4(i16* %P) {
Reid Spencerbf895532007-01-05 18:34:20 +000029 %tmp.1 = load i16* %P
30 %tmp.2 = zext i16 %tmp.1 to i32
31 %tmp.3 = and i32 %tmp.2, 255
32 ret i32 %tmp.3
Chris Lattnerc7d855e2006-02-28 06:54:19 +000033}
34
Reid Spencere3ff5ad2007-01-26 08:25:06 +000035define i32 @test5(i16* %P) {
Reid Spencerbf895532007-01-05 18:34:20 +000036 %tmp.1 = load i16* %P
37 %tmp.2 = bitcast i16 %tmp.1 to i16
38 %tmp.3 = zext i16 %tmp.2 to i32
39 %tmp.4 = and i32 %tmp.3, 255
40 ret i32 %tmp.4
Chris Lattnerc7d855e2006-02-28 06:54:19 +000041}
42
Reid Spencere3ff5ad2007-01-26 08:25:06 +000043define i32 @test6(i32* %P) {
Reid Spencerbf895532007-01-05 18:34:20 +000044 %tmp.1 = load i32* %P
45 %tmp.2 = and i32 %tmp.1, 255
46 ret i32 %tmp.2
Chris Lattnerc7d855e2006-02-28 06:54:19 +000047}
48
Reid Spencer9445e9a2007-07-19 23:13:04 +000049define i16 @test7(float %a) zeroext {
Reid Spencerbf895532007-01-05 18:34:20 +000050 %tmp.1 = fptoui float %a to i16
51 ret i16 %tmp.1
Chris Lattnerc7d855e2006-02-28 06:54:19 +000052}