llvm/test/Transforms/InstCombine/fold-bin-operand.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   4
   5 define i1 @f(i1 %x) {
   6 ; CHECK-LABEL: @f(
   7 ; CHECK-NEXT:    ret i1 false
   8 ;
   9   %b = and i1 %x, icmp eq (i8* inttoptr (i32 1 to i8*), i8* inttoptr (i32 2 to i8*))
  10   ret i1 %b
  11 }
  12
  13 define i1 @f_logical(i1 %x) {
  14 ; CHECK-LABEL: @f_logical(
  15 ; CHECK-NEXT:    ret i1 false
  16 ;
  17   %b = select i1 %x, i1 icmp eq (i8* inttoptr (i32 1 to i8*), i8* inttoptr (i32 2 to i8*)), i1 false
  18   ret i1 %b
  19 }
  20
  21 define i32 @g(i32 %x) {
  22 ; CHECK-LABEL: @g(
  23 ; CHECK-NEXT:    ret i32 [[X:%.*]]
  24 ;
  25   %b = add i32 %x, zext (i1 icmp eq (i8* inttoptr (i32 1000000 to i8*), i8* inttoptr (i32 2000000 to i8*)) to i32)
  26   ret i32 %b
  27 }
  28
  29 define i32 @h(i1 %A, i32 %B) {
  30 ; CHECK-LABEL: @h(
  31 ; CHECK-NEXT:  EntryBlock:
  32 ; CHECK-NEXT:    [[B_OP:%.*]] = add i32 [[B:%.*]], 2
  33 ; CHECK-NEXT:    [[OP:%.*]] = select i1 [[A:%.*]], i32 3, i32 [[B_OP]]
  34 ; CHECK-NEXT:    ret i32 [[OP]]
  35 ;
  36 EntryBlock:
  37   %cf = select i1 %A, i32 1, i32 %B
  38   %op = add i32 2, %cf
  39   ret i32 %op
  40 }
  41
  42 define <4 x float> @h1(i1 %A, <4 x i32> %B) {
  43 ; CHECK-LABEL: @h1(
  44 ; CHECK-NEXT:  EntryBlock:
  45 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast <4 x i32> [[B:%.*]] to <4 x float>
  46 ; CHECK-NEXT:    [[BC:%.*]] = select i1 [[A:%.*]], <4 x float> <float 0x36A0000000000000, float 0x36A0000000000000, float 0x36A0000000000000, float 0x36A0000000000000>, <4 x float> [[TMP0]]
  47 ; CHECK-NEXT:    ret <4 x float> [[BC]]
  48 ;
  49 EntryBlock:
  50   %cf = select i1 %A, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %B
  51   %bc = bitcast <4 x i32> %cf to <4 x float>
  52   ret <4 x float> %bc
  53 }
  54
  55 define <vscale x 4 x float> @h2(i1 %A, <vscale x 4 x i32> %B) {
  56 ; CHECK-LABEL: @h2(
  57 ; CHECK-NEXT:  EntryBlock:
  58 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast <vscale x 4 x i32> [[B:%.*]] to <vscale x 4 x float>
  59 ; CHECK-NEXT:    [[BC:%.*]] = select i1 [[A:%.*]], <vscale x 4 x float> zeroinitializer, <vscale x 4 x float> [[TMP0]]
  60 ; CHECK-NEXT:    ret <vscale x 4 x float> [[BC]]
  61 ;
  62 EntryBlock:
  63   %cf = select i1 %A, <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> %B
  64   %bc = bitcast <vscale x 4 x i32> %cf to <vscale x 4 x float>
  65   ret <vscale x 4 x float> %bc
  66 }
  67
  68 define <vscale x 2 x i64> @h3(i1 %A, <vscale x 4 x i32> %B) {
  69 ; CHECK-LABEL: @h3(
  70 ; CHECK-NEXT:  EntryBlock:
  71 ; CHECK-NEXT:    [[CF:%.*]] = select i1 [[A:%.*]], <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> [[B:%.*]]
  72 ; CHECK-NEXT:    [[BC:%.*]] = bitcast <vscale x 4 x i32> [[CF]] to <vscale x 2 x i64>
  73 ; CHECK-NEXT:    ret <vscale x 2 x i64> [[BC]]
  74 ;
  75 EntryBlock:
  76   %cf = select i1 %A, <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> %B
  77   %bc = bitcast <vscale x 4 x i32> %cf to <vscale x 2 x i64>
  78   ret <vscale x 2 x i64> %bc
  79
  80 }
  81