test/Transforms/InstSimplify/2011-09-05-InsertExtractValue.ll

   1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   2
   3 declare void @bar()
   4
   5 define void @test1() personality i32 (i32, i64, i8*, i8*)* @__gxx_personality_v0 {
   6 entry:
   7   invoke void @bar() to label %cont unwind label %lpad
   8 cont:
   9   ret void
  10 lpad:
  11   %ex = landingpad { i8*, i32 } cleanup
  12   %exc_ptr = extractvalue { i8*, i32 } %ex, 0
  13   %filter = extractvalue { i8*, i32 } %ex, 1
  14   %exc_ptr2 = insertvalue { i8*, i32 } undef, i8* %exc_ptr, 0
  15   %filter2 = insertvalue { i8*, i32 } %exc_ptr2, i32 %filter, 1
  16   resume { i8*, i32 } %filter2
  17 ; CHECK-LABEL: @test1(
  18 ; CHECK-NOT: extractvalue
  19 ; CHECK-NOT: insertvalue
  20 }
  21
  22 declare i32 @__gxx_personality_v0(i32, i64, i8*, i8*)
  23
  24 define { i8, i32 } @test2({ i8*, i32 } %x) {
  25   %ex = extractvalue { i8*, i32 } %x, 1
  26   %ins = insertvalue { i8, i32 } undef, i32 %ex, 1
  27   ret { i8, i32 } %ins
  28 ; CHECK-LABEL: @test2(
  29 }
  30
  31 define i32 @test3(i32 %a, float %b) {
  32   %agg1 = insertvalue {i32, float} undef, i32 %a, 0
  33   %agg2 = insertvalue {i32, float} %agg1, float %b, 1
  34   %ev = extractvalue {i32, float} %agg2, 0
  35   ret i32 %ev
  36 ; CHECK-LABEL: @test3(
  37 ; CHECK: ret i32 %a
  38 }
  39
  40 define i8 @test4(<8 x i8> %V) {
  41   %add     = add <8 x i8> %V, bitcast (double 0x319BEB8FD172E36 to <8 x i8>)
  42   %extract = extractelement <8 x i8> %add, i32 6
  43   ret i8 %extract
  44 ; CHECK-LABEL: @test4(
  45 ; CHECK: %[[add:.*]] = add <8 x i8> %V, bitcast (<1 x double> <double 0x319BEB8FD172E36> to <8 x i8>)
  46 ; CHECK-NEXT: %[[extract:.*]] = extractelement <8 x i8> %[[add]], i32 6
  47 ; CHECK-NEXT: ret i8 %[[extract]]
  48 }
  49
  50 define i32 @test5(<4 x i32> %V) {
  51   %extract = extractelement <4 x i32> %V, i32 undef
  52   ret i32 %extract
  53 }
  54 ; CHECK-LABEL: @test5(
  55 ; CHECK: ret i32 undef