TLS instruction sequences are always with fixed format, there is no need to use operand modifier, we can hardcode the relocation modifiers into instruction pattern, all those redundant checks in aarch64_print_operand can be removed.
OK for trunk? 2015-09-10 Jiong Wang <jiong.w...@arm.com> gcc/ * config/aarch64/aarch64.md (ldr_got_tiny): Hardcode relocation modifers. (tlsgd_small): Likewise. (tlsgd_tiny): Likewise. (tlsie_small_<mode>): Likewise. (tlsie_small_sidi): Likewise. (tlsie_tiny_<mode>): Likewise. (tlsie_tiny_sidi): Likewise. (tlsle12_<mode>): Likewise. (tlsle24_<mode>): Likewise. (tlsdesc_small_<mode>): Likewise. (tlsdesc_small_pseudo_<mode>): Likewise. (tlsdesc_tiny_<mode>): Likewise. (tlsdesc_tiny_pseudo_<mode>): Likewise. * config/aarch64/aarch64.c (aarch64_print_operand): Delete useless check on 'A', 'L', 'G'. -- Regards, Jiong
diff --git a/gcc/config/aarch64/aarch64.c b/gcc/config/aarch64/aarch64.c index 5ba0215..5945d9c 100644 --- a/gcc/config/aarch64/aarch64.c +++ b/gcc/config/aarch64/aarch64.c @@ -4640,23 +4640,6 @@ aarch64_print_operand (FILE *f, rtx x, char code) asm_fprintf (asm_out_file, ":tlsgd:"); break; - case SYMBOL_TINY_TLSDESC: - case SYMBOL_SMALL_TLSDESC: - asm_fprintf (asm_out_file, ":tlsdesc:"); - break; - - case SYMBOL_SMALL_TLSIE: - asm_fprintf (asm_out_file, ":gottprel:"); - break; - - case SYMBOL_TLSLE24: - asm_fprintf (asm_out_file, ":tprel:"); - break; - - case SYMBOL_TINY_GOT: - gcc_unreachable (); - break; - default: break; } @@ -4666,38 +4649,9 @@ aarch64_print_operand (FILE *f, rtx x, char code) case 'L': switch (aarch64_classify_symbolic_expression (x)) { - case SYMBOL_SMALL_GOT_4G: - asm_fprintf (asm_out_file, ":lo12:"); - break; - case SYMBOL_SMALL_TLSGD: asm_fprintf (asm_out_file, ":tlsgd_lo12:"); break; - - case SYMBOL_SMALL_TLSDESC: - asm_fprintf (asm_out_file, ":tlsdesc_lo12:"); - break; - - case SYMBOL_SMALL_TLSIE: - asm_fprintf (asm_out_file, ":gottprel_lo12:"); - break; - - case SYMBOL_TLSLE12: - asm_fprintf (asm_out_file, ":tprel_lo12:"); - break; - - case SYMBOL_TLSLE24: - asm_fprintf (asm_out_file, ":tprel_lo12_nc:"); - break; - - case SYMBOL_TINY_GOT: - asm_fprintf (asm_out_file, ":got:"); - break; - - case SYMBOL_TINY_TLSIE: - asm_fprintf (asm_out_file, ":gottprel:"); - break; - default: break; } @@ -4705,15 +4659,6 @@ aarch64_print_operand (FILE *f, rtx x, char code) break; case 'G': - - switch (aarch64_classify_symbolic_expression (x)) - { - case SYMBOL_TLSLE24: - asm_fprintf (asm_out_file, ":tprel_hi12:"); - break; - default: - break; - } output_addr_const (asm_out_file, x); break; diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index 4a6bf2d..b808f84 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -4529,7 +4529,7 @@ (unspec:DI [(match_operand:DI 1 "aarch64_valid_symref" "S")] UNSPEC_GOTTINYPIC))] "" - "ldr\\t%0, %L1" + "ldr\\t%0, :got:%1" [(set_attr "type" "load1")] ) @@ -4571,7 +4571,7 @@ (unspec:PTR [(match_operand 1 "aarch64_tls_ie_symref" "S")] UNSPEC_GOTSMALLTLS))] "" - "adrp\\t%0, %A1\;ldr\\t%<w>0, [%0, #%L1]" + "adrp\\t%0, :gottprel:%1\;ldr\\t%<w>0, [%0, #:gottprel_lo12:%1]" [(set_attr "type" "load1") (set_attr "length" "8")] ) @@ -4582,7 +4582,7 @@ (unspec:SI [(match_operand 1 "aarch64_tls_ie_symref" "S")] UNSPEC_GOTSMALLTLS)))] "" - "adrp\\t%0, %A1\;ldr\\t%w0, [%0, #%L1]" + "adrp\\t%0, :gottprel:%1\;ldr\\t%w0, [%0, #:gottprel_lo12:%1]" [(set_attr "type" "load1") (set_attr "length" "8")] ) @@ -4593,7 +4593,7 @@ (match_operand:PTR 2 "register_operand" "r")] UNSPEC_GOTTINYTLS))] "" - "ldr\\t%<w>0, %L1\;add\\t%<w>0, %<w>0, %<w>2" + "ldr\\t%<w>0, :gottprel:%1\;add\\t%<w>0, %<w>0, %<w>2" [(set_attr "type" "multiple") (set_attr "length" "8")] ) @@ -4606,7 +4606,7 @@ ] UNSPEC_GOTTINYTLS)))] "" - "ldr\\t%w0, %L1\;add\\t%<w>0, %<w>0, %<w>2" + "ldr\\t%w0, :gottprel:%1\;add\\t%<w>0, %<w>0, %<w>2" [(set_attr "type" "multiple") (set_attr "length" "8")] ) @@ -4617,7 +4617,7 @@ (match_operand 2 "aarch64_tls_le_symref" "S")] UNSPEC_TLSLE12))] "" - "add\\t%<w>0, %<w>1, #%L2"; + "add\\t%<w>0, %<w>1, #:tprel_lo12:%2"; [(set_attr "type" "alu_sreg") (set_attr "length" "4")] ) @@ -4628,7 +4628,7 @@ (match_operand 2 "aarch64_tls_le_symref" "S")] UNSPEC_TLSLE24))] "" - "add\\t%<w>0, %<w>1, #%G2, lsl #12\;add\\t%<w>0, %<w>0, #%L2" + "add\\t%<w>0, %<w>1, #:tprel_hi12:%2, lsl #12\;add\\t%<w>0, %<w>0, #:tprel_lo12_nc:%2" [(set_attr "type" "multiple") (set_attr "length" "8")] ) @@ -4661,7 +4661,7 @@ (clobber (reg:CC CC_REGNUM)) (clobber (match_scratch:DI 1 "=r"))] "TARGET_TLS_DESC" - "adrp\\tx0, %A0\;ldr\\t%<w>1, [x0, #%L0]\;add\\t<w>0, <w>0, %L0\;.tlsdesccall\\t%0\;blr\\t%1" + "adrp\\tx0, :tlsdesc:%0\;ldr\\t%<w>1, [x0, #:tlsdesc_lo12:%0]\;add\\t<w>0, <w>0, :tlsdesc_lo12:%0\;.tlsdesccall\\t%0\;blr\\t%1" [(set_attr "type" "call") (set_attr "length" "16")]) @@ -4680,7 +4680,7 @@ (clobber (reg:CC CC_REGNUM)) (clobber (match_scratch:DI 2 "=r"))] "TARGET_TLS_DESC" - "adrp\\t<w>0, %A1\;ldr\\t%<w>2, [%<w>0, #%L1]\;add\\t%<w>0, %<w>0, %L1\;.tlsdesccall\\t%1\;blr\\t%2" + "adrp\\t<w>0, :tlsdesc:%1\;ldr\\t%<w>2, [%<w>0, #:tlsdesc_lo12:%1]\;add\\t%<w>0, %<w>0, :tlsdesc_lo12:%1\;.tlsdesccall\\t%1\;blr\\t%2" [(set_attr "type" "call") (set_attr "length" "16")]) @@ -4692,7 +4692,7 @@ (clobber (reg:CC CC_REGNUM)) (clobber (match_scratch:DI 1 "=r"))] "TARGET_TLS_DESC" - "ldr\t%<w>1, #%A0;adr\t<w>0, %A0;.tlsdesccall\t%0;blr\t%1" + "ldr\t%<w>1, #:tlsdesc:%0;adr\t<w>0, :tlsdesc:%0;.tlsdesccall\t%0;blr\t%1" [(set_attr "type" "multiple") (set_attr "length" "12")]) @@ -4704,7 +4704,7 @@ (clobber (reg:CC CC_REGNUM)) (clobber (match_scratch:DI 2 "=r"))] "TARGET_TLS_DESC" - "ldr\t%<w>2, #%A1;adr\t%<w>0, %A1;.tlsdesccall\t%1;blr\t%2" + "ldr\t%<w>2, #:tlsdesc:%1;adr\t%<w>0, :tlsdesc:%1;.tlsdesccall\t%1;blr\t%2" [(set_attr "type" "multiple") (set_attr "length" "16")])