test/Transforms/InstCombine/cast_ptr.ll

   1 ; Tests to make sure elimination of casts is working correctly
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 target datalayout = "p:32:32"
   5
   6 ; This shouldn't convert to getelementptr because the relationship
   7 ; between the arithmetic and the layout of allocated memory is
   8 ; entirely unknown.
   9 ; CHECK-LABEL: @test1(
  10 ; CHECK: ptrtoint
  11 ; CHECK: add
  12 ; CHECK: inttoptr
  13 define i8* @test1(i8* %t) {
  14         %tmpc = ptrtoint i8* %t to i32          ; <i32> [#uses=1]
  15         %tmpa = add i32 %tmpc, 32               ; <i32> [#uses=1]
  16         %tv = inttoptr i32 %tmpa to i8*         ; <i8*> [#uses=1]
  17         ret i8* %tv
  18 }
  19
  20 ; These casts should be folded away.
  21 ; CHECK-LABEL: @test2(
  22 ; CHECK: icmp eq i8* %a, %b
  23 define i1 @test2(i8* %a, i8* %b) {
  24         %tmpa = ptrtoint i8* %a to i32          ; <i32> [#uses=1]
  25         %tmpb = ptrtoint i8* %b to i32          ; <i32> [#uses=1]
  26         %r = icmp eq i32 %tmpa, %tmpb           ; <i1> [#uses=1]
  27         ret i1 %r
  28 }
  29
  30 ; These casts should also be folded away.
  31 ; CHECK-LABEL: @test3(
  32 ; CHECK: icmp eq i8* %a, @global
  33 @global = global i8 0
  34 define i1 @test3(i8* %a) {
  35         %tmpa = ptrtoint i8* %a to i32
  36         %r = icmp eq i32 %tmpa, ptrtoint (i8* @global to i32)
  37         ret i1 %r
  38 }
  39
  40 define i1 @test4(i32 %A) {
  41   %B = inttoptr i32 %A to i8*
  42   %C = icmp eq i8* %B, null
  43   ret i1 %C
  44 ; CHECK-LABEL: @test4(
  45 ; CHECK-NEXT: %C = icmp eq i32 %A, 0
  46 ; CHECK-NEXT: ret i1 %C
  47 }
  48
  49
  50 ; Pulling the cast out of the load allows us to eliminate the load, and then
  51 ; the whole array.
  52
  53         %op = type { float }
  54         %unop = type { i32 }
  55 @Array = internal constant [1 x %op* (%op*)*] [ %op* (%op*)* @foo ]             ; <[1 x %op* (%op*)*]*> [#uses=1]
  56
  57 declare %op* @foo(%op* %X)
  58
  59 define %unop* @test5(%op* %O) {
  60         %tmp = load %unop* (%op*)** bitcast ([1 x %op* (%op*)*]* @Array to %unop* (%op*)**); <%unop* (%op*)*> [#uses=1]
  61         %tmp.2 = call %unop* %tmp( %op* %O )            ; <%unop*> [#uses=1]
  62         ret %unop* %tmp.2
  63 ; CHECK-LABEL: @test5(
  64 ; CHECK: call %op* @foo(%op* %O)
  65 }
  66
  67
  68
  69 ; InstCombine can not 'load (cast P)' -> cast (load P)' if the cast changes
  70 ; the address space.
  71
  72 define i8 @test6(i8 addrspace(1)* %source) {
  73 entry:
  74   %arrayidx223 = bitcast i8 addrspace(1)* %source to i8*
  75   %tmp4 = load i8* %arrayidx223
  76   ret i8 %tmp4
  77 ; CHECK-LABEL: @test6(
  78 ; CHECK: load i8* %arrayidx223
  79 }