llvm/test/Transforms/InstCombine/cast-set.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   5
   6 define i1 @test1(i32 %X) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[X:%.*]], 12
   9 ; CHECK-NEXT:    ret i1 [[C]]
  10 ;
  11   %A = bitcast i32 %X to i32
  12   ; Convert to setne int %X, 12
  13   %c = icmp ne i32 %A, 12
  14   ret i1 %c
  15 }
  16
  17 define i1 @test2(i32 %X, i32 %Y) {
  18 ; CHECK-LABEL: @test2(
  19 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[X:%.*]], [[Y:%.*]]
  20 ; CHECK-NEXT:    ret i1 [[C]]
  21 ;
  22   %A = bitcast i32 %X to i32
  23   %B = bitcast i32 %Y to i32
  24   ; Convert to setne int %X, %Y
  25   %c = icmp ne i32 %A, %B
  26   ret i1 %c
  27 }
  28
  29 define i32 @test4(i32 %A) {
  30 ; CHECK-LABEL: @test4(
  31 ; CHECK-NEXT:    [[C:%.*]] = shl i32 [[A:%.*]], 2
  32 ; CHECK-NEXT:    ret i32 [[C]]
  33 ;
  34   %B = bitcast i32 %A to i32
  35   %C = shl i32 %B, 2
  36   %D = bitcast i32 %C to i32
  37   ret i32 %D
  38 }
  39
  40 define i16 @test5(i16 %A) {
  41 ; CHECK-LABEL: @test5(
  42 ; CHECK-NEXT:    [[TMP1:%.*]] = and i16 [[A:%.*]], 15
  43 ; CHECK-NEXT:    ret i16 [[TMP1]]
  44 ;
  45   %B = sext i16 %A to i32
  46   %C = and i32 %B, 15
  47   %D = trunc i32 %C to i16
  48   ret i16 %D
  49 }
  50
  51 define i1 @test6(i1 %A) {
  52 ; CHECK-LABEL: @test6(
  53 ; CHECK-NEXT:    ret i1 [[A:%.*]]
  54 ;
  55   %B = zext i1 %A to i32
  56   %C = icmp ne i32 %B, 0
  57   ret i1 %C
  58 }
  59
  60 define i1 @test6a(i1 %A) {
  61 ; CHECK-LABEL: @test6a(
  62 ; CHECK-NEXT:    ret i1 true
  63 ;
  64   %B = zext i1 %A to i32
  65   %C = icmp ne i32 %B, -1
  66   ret i1 %C
  67 }
  68
  69 define i1 @test7(ptr %A) {
  70 ; CHECK-LABEL: @test7(
  71 ; CHECK-NEXT:    [[C:%.*]] = icmp eq ptr [[A:%.*]], null
  72 ; CHECK-NEXT:    ret i1 [[C]]
  73 ;
  74   %C = icmp eq ptr %A, null
  75   ret i1 %C
  76 }