test/CodeGen/X86/twoaddr-remat.ll

   1 ; RUN: llc < %s -march=x86 | grep 59796 | count 3
   2
   3         %Args = type %Value*
   4         %Exec = type opaque*
   5         %Identifier = type opaque*
   6         %JSFunction = type %Value (%Exec, %Scope, %Value, %Args)
   7         %PropertyNameArray = type opaque*
   8         %Scope = type opaque*
   9         %Value = type opaque*
  10
  11 declare i1 @X1(%Exec) readonly
  12
  13 declare %Value @X2(%Exec)
  14
  15 declare i32 @X3(%Exec, %Value)
  16
  17 declare %Value @X4(i32) readnone
  18
  19 define internal %Value @fast3bitlookup(%Exec %exec, %Scope %scope, %Value %this, %Args %args) nounwind {
  20 prologue:
  21         %eh_check = tail call i1 @X1( %Exec %exec ) readonly            ; <i1> [#uses=1]
  22         br i1 %eh_check, label %exception, label %no_exception
  23
  24 exception:              ; preds = %no_exception, %prologue
  25         %rethrow_result = tail call %Value @X2( %Exec %exec )           ; <%Value> [#uses=1]
  26         ret %Value %rethrow_result
  27
  28 no_exception:           ; preds = %prologue
  29         %args_intptr = bitcast %Args %args to i32*              ; <i32*> [#uses=1]
  30         %argc_val = load i32* %args_intptr              ; <i32> [#uses=1]
  31         %cmpParamArgc = icmp sgt i32 %argc_val, 0               ; <i1> [#uses=1]
  32         %arg_ptr = getelementptr %Args %args, i32 1             ; <%Args> [#uses=1]
  33         %arg_val = load %Args %arg_ptr          ; <%Value> [#uses=1]
  34         %ext_arg_val = select i1 %cmpParamArgc, %Value %arg_val, %Value inttoptr (i32 5 to %Value)              ; <%Value> [#uses=1]
  35         %toInt325 = tail call i32 @X3( %Exec %exec, %Value %ext_arg_val )               ; <i32> [#uses=3]
  36         %eh_check6 = tail call i1 @X1( %Exec %exec ) readonly           ; <i1> [#uses=1]
  37         br i1 %eh_check6, label %exception, label %no_exception7
  38
  39 no_exception7:          ; preds = %no_exception
  40         %shl_tmp_result = shl i32 %toInt325, 1          ; <i32> [#uses=1]
  41         %rhs_masked13 = and i32 %shl_tmp_result, 14             ; <i32> [#uses=1]
  42         %ashr_tmp_result = lshr i32 59796, %rhs_masked13                ; <i32> [#uses=1]
  43         %and_tmp_result15 = and i32 %ashr_tmp_result, 3         ; <i32> [#uses=1]
  44         %ashr_tmp_result3283 = lshr i32 %toInt325, 2            ; <i32> [#uses=1]
  45         %rhs_masked38 = and i32 %ashr_tmp_result3283, 14                ; <i32> [#uses=1]
  46         %ashr_tmp_result39 = lshr i32 59796, %rhs_masked38              ; <i32> [#uses=1]
  47         %and_tmp_result41 = and i32 %ashr_tmp_result39, 3               ; <i32> [#uses=1]
  48         %addconv = add i32 %and_tmp_result15, %and_tmp_result41         ; <i32> [#uses=1]
  49         %ashr_tmp_result6181 = lshr i32 %toInt325, 5            ; <i32> [#uses=1]
  50         %rhs_masked67 = and i32 %ashr_tmp_result6181, 6         ; <i32> [#uses=1]
  51         %ashr_tmp_result68 = lshr i32 59796, %rhs_masked67              ; <i32> [#uses=1]
  52         %and_tmp_result70 = and i32 %ashr_tmp_result68, 3               ; <i32> [#uses=1]
  53         %addconv82 = add i32 %addconv, %and_tmp_result70                ; <i32> [#uses=3]
  54         %rangetmp = add i32 %addconv82, 536870912               ; <i32> [#uses=1]
  55         %rangecmp = icmp ult i32 %rangetmp, 1073741824          ; <i1> [#uses=1]
  56         br i1 %rangecmp, label %NumberLiteralIntFast, label %NumberLiteralIntSlow
  57
  58 NumberLiteralIntFast:           ; preds = %no_exception7
  59         %imm_shift = shl i32 %addconv82, 2              ; <i32> [#uses=1]
  60         %imm_or = or i32 %imm_shift, 3          ; <i32> [#uses=1]
  61         %imm_val = inttoptr i32 %imm_or to %Value               ; <%Value> [#uses=1]
  62         ret %Value %imm_val
  63
  64 NumberLiteralIntSlow:           ; preds = %no_exception7
  65         %toVal = call %Value @X4( i32 %addconv82 )              ; <%Value> [#uses=1]
  66         ret %Value %toVal
  67 }