test/Transforms/InstCombine/cast-set.ll

   1 ; This tests for various complex cast elimination cases instcombine should
   2 ; handle.
   3
   4 ; RUN: opt < %s -instcombine -S | FileCheck %s
   5
   6 define i1 @test1(i32 %X) {
   7         %A = bitcast i32 %X to i32              ; <i32> [#uses=1]
   8         ; Convert to setne int %X, 12
   9         %c = icmp ne i32 %A, 12         ; <i1> [#uses=1]
  10         ret i1 %c
  11 ; CHECK: %c = icmp ne i32 %X, 12
  12 ; CHECK: ret i1 %c
  13 }
  14
  15 define i1 @test2(i32 %X, i32 %Y) {
  16         %A = bitcast i32 %X to i32              ; <i32> [#uses=1]
  17         %B = bitcast i32 %Y to i32              ; <i32> [#uses=1]
  18         ; Convert to setne int %X, %Y
  19         %c = icmp ne i32 %A, %B         ; <i1> [#uses=1]
  20         ret i1 %c
  21 ; CHECK: %c = icmp ne i32 %X, %Y
  22 ; CHECK: ret i1 %c
  23 }
  24
  25 define i32 @test4(i32 %A) {
  26         %B = bitcast i32 %A to i32              ; <i32> [#uses=1]
  27         %C = shl i32 %B, 2              ; <i32> [#uses=1]
  28         %D = bitcast i32 %C to i32              ; <i32> [#uses=1]
  29         ret i32 %D
  30 ; CHECK: %C = shl i32 %A, 2
  31 ; CHECK: ret i32 %C
  32 }
  33
  34 define i16 @test5(i16 %A) {
  35         %B = sext i16 %A to i32         ; <i32> [#uses=1]
  36         %C = and i32 %B, 15             ; <i32> [#uses=1]
  37         %D = trunc i32 %C to i16                ; <i16> [#uses=1]
  38         ret i16 %D
  39 ; CHECK: %C = and i16 %A, 15
  40 ; CHECK: ret i16 %C
  41 }
  42
  43 define i1 @test6(i1 %A) {
  44         %B = zext i1 %A to i32          ; <i32> [#uses=1]
  45         %C = icmp ne i32 %B, 0          ; <i1> [#uses=1]
  46         ret i1 %C
  47 ; CHECK: ret i1 %A
  48 }
  49
  50 define i1 @test6a(i1 %A) {
  51         %B = zext i1 %A to i32          ; <i32> [#uses=1]
  52         %C = icmp ne i32 %B, -1         ; <i1> [#uses=1]
  53         ret i1 %C
  54 ; CHECK: ret i1 true
  55 }
  56
  57 define i1 @test7(i8* %A) {
  58         %B = bitcast i8* %A to i32*             ; <i32*> [#uses=1]
  59         %C = icmp eq i32* %B, null              ; <i1> [#uses=1]
  60         ret i1 %C
  61 ; CHECK: %C = icmp eq i8* %A, null
  62 ; CHECK: ret i1 %C
  63 }